body {
	font-family: arial,sans-serif;
	font-size: 10pt;
	color: black;
	}

table {
	font-size: 100%
	}

h1 {
	font-family: verdana;
	font-size: 20pt;
	font-weight: bold;
	color: black;
	margin-bottom: 0.2em;
	}

h2 {
	font-family: verdana;
	font-size: 12pt;
	font-weight: bold;
	color: black;
	margin-bottom: 0.2em;
	}

h3 {
	font-family: verdana;
	font-size: 10pt;
	font-weight: bold;
	color: black;
	margin-bottom: 0.2em;
	}

h4 {
	font-family: verdana;
	font-size: 8pt;
	font-weight: bold;
	color: #408040;
	margin-bottom: 0.2em;
	}

a:link    { color: blue; text-decoration: underline}
a:visited { color: blue; text-decoration: underline}
a:active  { color: blue; text-decoration: underline}
a:hover   { background:#6699cc; color: white; text-decoration: none}

a.nav:link    { font-family: verdana; color: black; text-decoration: none}
a.nav:visited { font-family: verdana; color: black; text-decoration: none}
a.nav:active  { font-family: verdana; color: black; text-decoration: none}
a.nav:hover   { font-family: verdana; background:#a3bae1; color: black; text-decoration: none}

ul { margin-top: 0.2em }

ol { margin-top: 0.2em }

.heading1 {
	font-family: verdana;
	font-size: 20pt;
	font-weight: bold;
	color: black;
	}

.heading2 {
	font-family: verdana;
	font-size: 12pt;
	font-weight: bold;
	color: black;
	background: #a3bae1
	}

.heading3 {
	font-family: verdana;
	font-size: 10pt;
	font-weight: bold;
	color: black;
	background: #d4d0c8;
	}

.heading4 {
	font-family: verdana;
	font-size: 9pt;
	color: black;
	font-weight: bold;
	}

.heading5 {
	font-family: verdana;
	font-size: 9pt;
	color: #4040C0;
	font-weight: bold;
	}

.heading6 {
	font-family: verdana;
	font-size: 9pt;
	color: #404040;
	font-weight: bold;
	}

.codelisting {
	background: #ddffdd;
	font-family: monospace;
	font-size: 9pt;
	}

.left-float {
	float: left;
	}