BODY 		{ background-color : #FFFFCC; color : #000000 }
A:link     	{ color : #0000EE }
A:visited  	{ color : #0000EE }
A:active	{ color : #0000EE }
div.header 	{ font-size: 18pt; font-weight:bold; margin-top:10px }
div.light 	{ margin-top: 8px; margin-bottom: 10px; font-size: 14pt; font-weight: bold }
div.text	{ text-align:justify; alignment: justify }
H1, H2		{ text-align : center }
kbd          	{ font-family : Courier, monospace }
pre		{ font-family : Courier, monospace }
DT           	{ font-weight : bold }
TD		{ }

.listing	{ margin-left: 5em }