body {  font-family: arial, helvetica ;
	font-size: 10pt ;
	background-color: #eeeeee }

table {	font-size: 10pt; align: center }
h1 { text-align: center; font-size: 14pt; color: #8888ff }
h2 { color: #5555ff }
h3 { color: #5555ff }
th { font-size: 10pt; background-color: #cccccc; color: #5555ff }
td.em { font-weight: bold ; background-color: #ffffff; text-align: center }
td.greyed_out { background-color: #aaaaaa; color: #cccccc; text-align: left }
tr.header { background-color: #993300; font-size: 12pt; color: #ddddaa ; font-weight: bold; text-align: center }
tr.even { background-color: #cccccc;}
tr.odd { background-color: #dddddd;}
pre.MOBYcode { background-color: #cccccc; font-size: 8pt; }
deprecated { color: #ff5555 ; font-weight: bold }
notimplemented { color: #55aa55; font-weight: bold }
developernote { color: #aaaa44 }