VAR {
	font-style: normal;
	font-weight: bold;
}

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

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

H2 {
	border-style: solid;
	border-color: #52A959;
	border-width: 0px 0px 2px 9px;
	padding-left: 0.5em;
	margin: 1em 0.5em 0.5em 0.5em;
	font: normal bold 130%/130%;
}
H3 {
	margin: 1em 0.5em 0.5em 0.5em;
	font: normal bold 110%/110%;
}

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

DT {
	margin-top: 0.5em;
}

BODY {
	font: normal normal 100% "Times New Roman";
}