body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: black;
	background-color: #F0F0F0;
	margin: 0;
    font-size: 11pt;
}

a:link, a:active {
	color: blue;
	text-decoration: none;
}

a:visited {
	color: darkblue;
	text-decoration: none;
}

a:hover {
	color: blue;
	text-decoration: underline;
}

div.body {
    min-width: 500px;
    max-width: 1000px;
    width: 80%;
    margin: auto;
    padding: 0;
    background-color: white;
}

div.topbar {
    background-color: darkgreen;
    font-size: x-large;
    font-weight: bold;
    color: white;
    padding: 1em;
    margin: 0;
    text-align: center;
}

div.banner {
	float: left;
	text-align: left;
}

div.search_box {
    text-align: right;
}

div.banner a {
    color: white;
    text-decoration: none;
}

span.title {
    color: lightgrey;
}
    
div.clear {
    clear: both;
}

div.menu {
	float: left;
	width: 10em;
    padding: 1em;
    font-size: small;
}

div.content {
    margin-left: 10em;
    padding: 0.5em 1em;
    text-align: left;
    clear: right;
}

div.menu ul, div.menu li, div.menu .menu-current li {
	margin: 0;
	padding: 0;
	list-style: none;
	margin-bottom: 5px;
    font-weight: normal;
}

div.menu ul ul {
	padding-left: 12px;
}

div.menu a:link, div.menu a:visited, div.menu a:active, div.menu a:hover {
	display: block;
    text-decoration: none;
    padding: 2px 2px 2px 3px;
    border-bottom: 1px dotted #999999;
}

div.menu a:hover, div.menu .menu-current li a:hover {
    padding: 2px 0px 2px 1px;
    border-left: 2px solid green;
    border-right: 2px solid green;
}

div.menu .menu-current {
    font-weight: bold;
}

div.menu .menu-current a:hover {
    padding: 2px 2px 2px 3px;
    border-left: none;
    border-right: none;
    border-bottom: 1px dotted #999999;
    color: darkblue;
}

.powered_by {
    background-color: #F0F0F0;
    text-align: center;
    padding: 0.5em;
    font-size: x-small;
    color: #666666;
}

hr {
    margin: 5px 0px 5px 0px;
    color: #660033;
    border: 0;
    border-top: 1px solid #660033;
    height: 1px;
    width: 580px;
}

form {
    margin: 0;
}

dt {
    margin-top: 1em;
}

table {
    margin: 0.5em;
}

th, td { 
    padding-left: 0.5em;
    text-align: left;
}

ol li {
    margin-bottom: 0.2em;
    }

pre {
    background-color: #FBEDBB;
    font: small monospace;
}

.cpp-comment,.cs-comment,.vb-comment    { color: green; font-style: italic; }
.cpp-keyword,.cs-keyword, .vb-function  { color: blue; }
.cpp-preprocessor, .cs-preprocessor     { color: navy; }
.cpp-string,.cs-string,.vb-string       { color: purple; }
.cpp-literal,.cs-literal,.vb-literal    { color: midnightblue }