body {
	font-size: 90%;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	padding: 0;
	margin: 0;
	color: #000000;
	background-color: #f0f0f0;
	}

.header {
	width: 99.9%;
	float: left;
	clear: both;
	padding: 0;
	margin: 0;
	background-color: #000080;
	background-image: url(images/logo.jpg);
	background-repeat: no-repeat;
	}

.header h1.headline {
	font-size: 28px;
	line-height: 32px;
	padding: 0;
	margin: 14px;
	color: #ffffff;
	}

ul.navigation {
	display: block;
	width: 99.9%;
	float: left;
	clear: both;
	border-bottom: 1px #8080ff solid;
	padding-top: 0;
	padding-left: 0;
	padding-bottom: 0;
	padding-right: 0;
	margin-top: 2px;
	margin-left: 0;
	margin-bottom: 0;
	margin-right: 0;
	background-color: #f0f0f0;
	}

ul.navigation li {
	float: left;
	list-style-type: none;
	}

ul.navigation a {
	display: block;
	float: left;
	padding-top: 0.15em;
	padding-left: 0.5em;
	padding-bottom: 0.15em;
	padding-right: 0.5em;
	text-decoration: none;
	margin-top: 0;
	margin-left: 0;
	margin-bottom: 0;
	margin-right: 1px;
	color: #ffffff;
	background-color: #000080;
	}

ul.navigation a:hover, ul.navigation a.current {
	color: #ffffff;
	background-color: #8080ff;
	}

.maintext {
	width: 99%;
	display: block;
	float: left;
	clear: both;
	padding-top: 0.5em;
	padding-left: 0;
	padding-bottom: 0.5em;
	padding-right: 0;
	margin: 0;
	}

.maintext p, .maintext table, .maintext h1, .maintext h2 {
	margin-left: 0.5em;
	margin-right: 0.5em;
	}

.maintext h2.small {
	font-size: 100%;
	}

.maintext a:link, .maintext a:visited {
	color: #303030;
	}

.maintext a img, .maintext img {
	border: none;
	padding: 0;
	margin: 3px;
	}

.maintext table tr td, .maintext table tr th {
	padding-top: 0.15em;
	padding-left: 1em;
	padding-bottom: 0.15em;
	padding-right: 1em;
	margin-top: 1px;
	margin-left: 1px;
	margin-bottom: 0;
	margin-right: 0;
	text-align: left;
	color: #000000;
	}

.maintext table tr th {
	font-weight: bolder;
	background: #c0c0c0;
	}

.maintext table tr td {
	background: #d0d0d0;
	}

.maintext table tr th.tbl_odd {
	background: #d0d0d0;
	}

.maintext table tr th.tbl_even {
	background: #c0c0c0;
	}

.maintext table tr td.tbl_odd {
	background: #e0e0e0;
	}

.maintext table tr td.tbl_even {
	background: #d0d0d0;
	}

.maintext.trademarks {
	font-size: 60%;
	}

.figure {
	display: block;
	border: thin #000000 solid;
	padding: 0.5em;
	margin-top: 0.5em;
	margin-left: 0.5em;
	margin-bottom: 0.5em;
	margin-right: 0.5em;
	text-align: center;
	background-color: #ffffff;
	}

.figure_prev {
	width: 280px;
	display: block;
	float: left;
	clear: both;
	border: thin #000000 solid;
	padding: 0.5em;
	margin-top: 0.5em;
	margin-left: 0.5em;
	margin-bottom: 0.5em;
	margin-right: 0.5em;
	text-align: center;
	color: #000000;
	background-color: #ffffff;
	}

.figure_prev p {
	padding-top: 0.15em;
	margin-top: 1px;
	font-weight: bolder;
	}

.w3c_validator_bottom {
	width: 99.9%;
	float: left;
	clear: both;
	border-top: 1px #8080ff solid;
	padding-top: 0.5em;
	padding-left: 0;
	padding-bottom: 0.5em;
	padding-right: 0;
	margin-top: 1em;
	margin-left: 0;
	margin-bottom: 0;
	margin-right: 0;
	}

.w3c_validator_bottom p {
	margin-left: 0.5em;
	margin-right: 0.5em;
	}

.w3c_validator_bottom a img, .w3c_validator_bottom img {
	border: none;
	padding: 0;
	margin: 3px;
	}