body 
{
	margin : 0;
	padding : 0;
	background-color : #B2E5B2;
	color : #000000;
}
p, li 
{
	font : 100% "Times New Roman", serif;
}
ul
{
	font : 100% "Times New Roman", serif;
	margin-bottom: 1.5em;
}
ol
{
	font : 100% "Times New Roman", serif;
	list-style-type: decimal;
	margin-bottom: 1.5em;
}
ol ol
{
	list-style-type: lower-alpha;
}
h1 
{
	font : 1.5em/1.1 "Albertus MT Std", "Times New Roman", serif;
	font-weight: bold;
	text-align: center;
}
h3 
{
	font: 125% "Times New Roman", serif;
	font-weight: bold;
	font-style: italic;
	font-size: 110%;
	margin-top: 0.2em
}
img
{
	float: right;
	padding: 1px 1px;
}
#header 
{
	position : fixed;
	width : 100%;
	height : 64px;
	top : 0;
	right : 0;
	bottom : auto;
	left : 0;
	border-bottom : 2px solid #cccccc;
}
#leftnavigation 
{
	position : fixed;
	height : auto;
	top : 64px;
	left : 2px;
	width : 150px;
	margin : 2px 2px 10px 10px;
	color : #000000;
	padding : 3px;
	overflow : auto;
}
div.hr
{
	text-align: left;
	width: 150px;
	margin-bottom: 0.2em;
}
#content 
{
	position : fixed;
	top : 64px;
	bottom : 1px;
	margin : 0px 0px 0px 165px;
	width : auto;
	height : auto;
	padding-left : 5px;
	padding-right : 12px;
	color : #000000;
	border-left : 2px solid #cccccc;
	overflow : auto;
}
#footer
{
	margin: 0px 0px 0px 165px;
	width: auto;
	height: auto;
	padding-left: 5px;
	padding-right: 12px;
	color: #000000;
}
p.indent
{
	margin-left: 40px;
}
#content h1, #content h3 
{
	color : #cc0000;
}
a:hover
{
	background-color: #e3b0e4;
}
table
{
	border-spacing: 1;
	empty-cells: show;
	table-layout: fixed;
	border: thin solid #000;
}
td
{
	vertical-align: top;
	border-spacing: 1;
	border: thin solid #666;
}
th
{
	vertical-align: center;
	font-size: 110%;
}
span.comment
{
	color: orange;
}
span.event
{
	color: #084C7E;
}
span.library
{
	color: #810923;
}
span.type
{
	color: #184B1B;
}
span.string
{
	color: #003207;
}
span.flow
{
	color: #0011CA;
}
span.integer
{
	color: #101B7D;
}
span.float
{
	color: #4A1C7D;
}