p, li {font-family:Tahoma, Arial, Helvetica, sans-serif; font-size:0.8em;}
label, legend {font-family:Tahoma, Arial, Helvetica, sans-serif; font-size:0.7em;}
p label, li li {font-size:100%;}
h1 {font-size:1.3em; font-family:Georgia, serif; border-bottom:1px solid #CCC;}
h2 {font-size:1em; font-family:Georgia, serif; margin-top:0; border-bottom:1px solid #EEE;}
h3 {font-size:0.75em; font-family:Arial, sans-serif;}
a, a:link, a:hover, a:active, a:visited {color:#286BB5;}
code {color:#009; background:#f6f6f6;}
#mainNav {
	margin:0;
	padding:0;
	list-style:none;
	font-family:Tahoma, Arial, Helvetica, sans-serif;
	font-size:0.9em;
	font-weight:bold;
}
#mainNav li {float:left; margin-bottom:15px;}
#mainNav a {
	display:block;
	background-color:#f3f3f9;
	padding:5px 10px;
	border:1px solid #CCC;
	margin-right:1px;
	text-decoration:none;
}
#mainNav a.parentLink {background-color:#e9e9f5;}
#mainNav a:hover {background-color:#286BB5; color:#FFF; border-color:#000;}
#mainContent {clear:both;}
#demo {clear:both; margin-bottom:15px; padding:10px; border:1px solid #CCC; background-color:#F9F9F9;}
#source {clear:both; margin-bottom:15px;}
.small {font-size:80%;}
.tight {margin:0; padding:0;}
.alert {background-color:#C00; color:#FFF;}
p.alert {padding:3px 5px;}
code {font-family:"Courier New", monospace;}

div.dp-highlighter div.tools a {font-size:115%; font-weight:bold; color:#286BB5;}
div.dp-highlighter li {font-size:90%;}