BODY	{ color: #d0ffd0; background: #333333;
	  font-family: Bitstream Charter, sans-serif;
	  font-size: 14pt; margin: 5%; }
H1	{ color: #d0ffd0; }
TABLE.index	{ margin-left: auto; margin-right: auto; background: #d0ffd0; }
TD.index	{ color: #d0ffd0; background: #333333; padding: 1em; }
A:link	{ color: #ff6600; font-size: 12pt; }
A:active	{ color: #ff6600; font-size: 12pt; }
A:visited	{ color: #ff6600; font-size: 12pt; }

PRE.code1	{ color: #8080f0; font-family: Courier, sans-serif;
		  font-size: 12pt; }