.codeSample {
	background-color: #CCCCCC;
	padding: 4px;
	margin-left: 10px;
	margin-right: 10px;
	border: 1px solid #000000;
	overflow: auto;
}
.hilite {
	background-color: #FFFF99;
}
.caption {
	font-size: 80%;
	font-weight: bold;
	margin-top: 4px;
	margin-left: 10px;
}
.figure {
	margin-left: 10px;
}
h3 {
	background-color: #ececec;
	border-bottom: 1px solid #bdbdbd;
	padding: 0.3em 8px 0.2em;
}
body,td,th,input {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
}
