body {margin: 0px; padding: 24px; font-family: arial, verdana, sans-serif;}
h1 {font-size: 160%; font-weight: normal;}
h2 {font-size: 120%; font-weight: normal;}
h3 {margin: 16px 0px 4px;}
p,dl {font-size: 90%; text-align:left;}
a {color: #880000;}

span.ast {color: #cc0000; font-weight: bold;}