body { background-color: #fff; margin: 0px; } dd { margin: 1em; } h1 { font-size: 
1.5em; margin-top: 1.5em; } h2 { font-size: 1.3em; margin-top: 1.3em; } pre { 
background-color: #cc9; border: dotted 1px #000; color: #936; margin-right: 1.7em; 
margin-left: 1.7em; padding: 0.5em; } table, tr, th, td { border: 1px dotted #fc0; 
padding: 5px; } /* headers hilight */ th, .highlight { background: #fc3; } .throbber 
{ background: #fc3; background-image: url("images/bkgrnd.gif"); padding: 0.1em; 
text-align: right; } .container { margin: 1em; margin-top: 2em; margin-bottom: 
2em; } .navigation { font-weight: bold; font-size: 0.8em; margin-top: 0.2em; margin-bottom: 
0.4em; padding: 0.3em; }