body {
	width:100%;
	margin:0px;
	padding:0px;
	background-color: #fff;
	/*background-image: url(s_topleft.png);
	background-repeat: no-repeat;*/

}
a:link,a:visited,a:hover {text-decoration:none; color: #515a5a;}

dd {
	padding:0px;
	margin:0px;
	padding-left:10px;
	padding-top:2px;
	padding-bottom:2px;
}

dt {
	font-weight: bold;
}



#title {

	padding-left: 30px;
}

#overview {

	font: 11px sans-serif;
	text-align: justify;
	border: 1px solid #bfbfbf;
	padding-left:5px;
	padding-right:5px;
}

.floatleft {

	float: left;
	padding-right:30px;
}

.floatright {
	float:right;
}

#header {
	background-color: #515a5a;
	padding-left:30px;
	padding-right:15px;
	padding-top:15px;
	padding-bottom:5px;

	color: #efefef;


}

#header h1 {

padding:0px;
margin:0px;

}

#content {
	font: 14px sans-serif;
	background-color: #f7f7fb;
	border-top: 5px solid #dfdfdf;
}

pre {
    font: 13px monospace;
}

#navbar {
	float:left;
	width: 130px;
	padding-top: 5px;
	padding-left: 10px;
	padding-right: 10px;
	padding-bottom:5px;
	font: 12px sans-serif;
	background-color: #f7f7fb;
	color: #515a5a;
}

.box {
	margin-top:15px;
}

.title {

	background-color: #fff;
	color:#efefef;

}

#page {
	background-color: #fff;
	width:auto;
	margin-left: 150px;
	padding: 15px;

}

.mono {
	font: 14px monospace;
}

#footer {
	border-top: 5px solid #afafaf;
	padding: 10px;
	background-color: #515a5a;
	text-align: center;
	font: 10px sans-serif;
	color: #efefef;
	clear:both;

}

.alignright {

text-align:right;

}