body,p,ul{
font-size:12px;
font-family:Arial, Helvetica, sans-serif;
}
#Body div, .MainMenu{
	background-color: #EEEEFF;
	margin: 5px;
	padding:15px;
	border: 2px solid #CCCCCC;
}
h3 {
	font-size: 20px;
	color: #0066CC;
}
.Menu{
}
.Menu li{
	list-style-type: circle;
	color:#666666;
}
a{
	color: #003399;
	text-decoration: none;
}
a:hover{
	color: #0066CC;
	text-decoration: underline;
}
a:visited{
	color: #0066CC;
	text-decoration: none;
}
span.code{
	font-family: "Courier New", Courier, monospace;
	background-color: #FFFFFF;
	border: 2px solid #CCCCCC;
	padding:3px;
}
#Body div.bar{
	display:none;
}
#Body div.dp-highlighter{
	padding: 0px;
}