body {
	background: #FFFFFF;
	font-family: serif;
	font-size: medium;
	color: #000000;
}

i { font-style: oblique; }

a:link { color: #0036FF; }
a:visited { color: #65003D; }
a:active { color: #FF0000; }

pre {
	font-family: monospace;
	font-size: medium;
	padding: 8px;
	border: 1px solid #9B9B9B;
	background: #F4F4F4;
}

dt { padding-left: 25px; }
dd { padding-left: 10px; }
dt.idx { padding-top: 7px; }

ul { padding-left: 25px; }
ul.indented { padding-left: 50px; }

code {
	font-family: monospace;
	font-size: medium;
	font-weight: bold;
	color: #3E5A8E;
}

p.author, p.last-update {
	font-weight: oblique;
	text-align: right;
}

p.indented { padding-left: 25px; }

span.Statement { color: #B00000; }
span.Identifier {
	color: #038700;
	font-weight: bold;
}
span.Special { color: #B70000; }
span.Constant { color: #0048B3; }
span.PreProc { color: #A5B333; }
span.Comment {
	color: #7EAAC4;
	font-style: oblique;
}
span.Type { font-weight: bold;  }