html, body, div, p, table, pre, td, tr, th, ul, ol, li, h1, h2, h3, h4, h5, h6, form, fieldset, img, blockquote, iframe {
margin: 0;
padding: 0;
border: 0;
}
body {
	margin: 0;
	padding: 0;
	font-family: Arial, Helvetica, sans-serif;
	color: #000;
	background: #f0f3ff url(img/background.gif) top left repeat-y;
}
h1 {
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 8px;
	vertical-align: middle;
	line-height: 35px;
	font-family: Impact, Tahoma, Arial;
	font-size: 24px;
	color: #fff;
	background: #bdb8e6 url(img/titlebar.gif) top left repeat-y;
}
h2 {
	margin: 13px 10px 10px 10px;
	font-size: 1.3em;
	color: #10579a;
}
h3 {
	margin: 10px;
	color: #10579a;
	font-size: 1.1em;
	font-weight: bold;
	font-style: italic;
}
hr {
	clear: both;
	margin: 20px 10px 20px 10px;
	height: 4px;
	color: #bdb8e6;
	background-color: #bdb8e6;
	border-color: #bdb8e6;
}
pre {
	margin: 10px 10px 10px 10px;
	padding: 4px 8px 4px 8px;
	font-family: "Courier New", Courier, mono;
	font-size: 1em;
	background: #fefeff;
	border: 1px solid #b8c1e6;
}
dl {
	margin: 0px 10px 0px 10px;
	padding: 0px 10px 0px 10px;
}
dt {
	font-size: 1em;
	color: #10579a;
	font-weight: bold;
	margin-top: 8px;
}
dd {
	margin-left: 24px;
	margin-bottom: 4px;
}
table {
	margin: 10px 10px 10px 35px;
}
th {
	width: 120px;
	vertical-align: top;
	text-align: left;
}
td {
	vertical-align: top;
}

span.keyword {
	color: blue;
	font-weight: bold;
}
span.preprocessor {
	color: green;
	font-weight: bold;
}
span.comment {
	color: green;
}
span.string {
	color: maroon;
}


.dedication {
	font-weight: bold;
	text-align: right;
	font-size: 1.3em;
	color: #10579a;
}


.header {
	height: 97px;
	background: url(img/headermain.gif) top left no-repeat;
}
.header a {
	position: absolute;
	top: 0;
	left: 190px;
	width: 340px;
	height: 77px;
}
.header a span {
	position: absolute;
	top: -200px;
}
.header ul{
	position: absolute;
	top: 15px;
	left: 600px;
	list-style-position: inside;
	margin: 0;
	padding: 0;
	font-size: 13px;
	font-weight: bold;
	color: #10579a;
}
.headercontainer {
	position: relative;
	height: 97px;
	background: url(img/header.gif) top left repeat-x;
}


.contentbox {
	margin: 14px 14px 14px 184px;
	margin-bottom: 10px;
	font-size: .8em;
	background-color: #fff;
	border: 1px solid #b8c1e6;
}
.contentbox ul, ol {
	margin: 0px 14px 0px 24px;
	padding: 0px 0px 4px 14px;
}
.contentbox a {
	color: #043F77;
}
.contentbox a:hover {
	color: blue;
}
.contentbox img {
	border: none;
}
.contentbox p {
	margin: 10px;
	line-height: 1.3em;
}
.contentbox blockquote {
	margin: 4px 30px 4px 40px;
	line-height: 1.3em;
}


.msgbox {
	margin: 10px 10px 10px 10px;
	padding: 4px 8px 4px 50px;
	border: 1px solid #b8c1e6;
	color: #500000;
	background: #ffffe0 url(img/note.gif) no-repeat 4px 1px;
}


.info {
	margin: 10px;
	padding: 3px 0 3px 0;
	font-weight: bold;
	border-top: 4px solid #10579a;
	border-bottom: 2px solid #10579a;
}
.info img {
	margin: 5px 0 0 0;
}
.info span {
	font-size: .7em;
	font-weight: normal;
}


.navmain,
.navmain ul {
	position: relative;
	list-style: none;
	margin: 0;
	padding: 0;
}
.navmain li {
	display: inline;
	font-size: 14px;
	font-weight: bold;
}
.navmain li a {
	display: block;
	padding-left: 7px;
	height: 23px;
	line-height: 23px;
	text-decoration: none;
	color: #f5b61e;
	background: url(img/navmain.gif) top left repeat-x;
}
.navmain li a:hover {
	color: #fff;
}
.navmain li ul {
	margin: 0;
}
.navmain li ul li {
	font-size: 11px;
}
.navmain li ul li a {
	padding-left: 32px;
	color: #fff;
	background: url(img/navbutton.gif);
}
.navmain li ul li a:hover {
	color: #f5b61e;
}
.navmaincontainer {
	position: absolute;
	top: 112px;
	left: 0;
	margin-top: -35px;
	width: 170px;
}
.navmaincontainer div {
	border-top: 1px solid #3347a2;
	border-bottom: 1px solid #8090de;
}


.navmisc {
	position: absolute;
	top: 77px;
	left: 187px;
	list-style: none;
	margin: 0;
	padding: 0;
	height: 18px;
}
.navmisc li {
	display: inline;
	padding-top: 3px;
	padding-right: 10px;
	line-height: 19px;
	font-size: .7em;
	font-weight: bold;
}
.navmisc li a {
	text-decoration: none;
	color: #0c2d83;
}
.navmisc li a:hover {
	color: #000;
}


.sitemap p {
	margin: 0px 0px 0px 24px;
	padding: 0px 0px 0px 8px;
}
.sitemap h3 {
	margin: 8px 0px 4px 24px;
	padding: 0px 0px 0px 8px;
}