PRE {
	margin: 1em 2em 1em 2em;
	padding: 0.5em;
	font: normal normal 90%/110% "Courier New";
}

DIV.index {
	border: 2px dotted #888888;
	margin: 0.5em;
	padding: 0.3em;
}

.syntax {
	background-color: #e9f5ff;
	border: 2px solid #9999ff;
}

.example{
	border: 2px dotted #9999ff;
}

.code {
	border: 2px dotted #888888;
}

.comment {
	font-style: italic;
	color: #339933;
}

BODY {
	font: normal normal 100% ;
}
H3 {
	border-style: solid;
	border-color: #3489F1;
	border-width: 0px 0px 2px 9px;
	padding-left: 0.5em;
	margin: 1em 0.5em 0.5em 0.5em;
	font: normal bold 120%/120%;
}
VAR {
	color : #444455;
	font-style: normal;
	font-family: "Courier New Bold";
	font-weight: bold;
}

EM {
	font-style: normal;
	font-family: "Arial";
}

P, DL {
	margin-left: 0.5em;
}

DT {
	margin-top: 0.5em;
}