a:link { color: #00c }
a:visited { color: #00c }
body { font-family: sans-serif; width: 880px }
p.smalltitle { margin-bottom: 0; font-size: large }
p.smalltitle + h1 { margin-top: 0 }
h1 { font-size: x-large }
h2 { font-size: large; border-bottom: 1px solid #666; padding-top: 1.5em }
h1 + h2 { padding-top: 0  }
h3 { font-size: medium 120%; }
div.cblock { border: 1px solid black; padding: 0.6em }
div.cblock p { margin: 0 }
img { border: 0; margin: 3px }
tt { font-weight: bold; }
pre { padding: 0.5em; border-left: 2px dotted #999 }

table.greytop td { margin: 1px; padding: 2px; border: 1px solid #999 }
table.greytop thead { font-weight: bold }
table.greytop thead tr { background-color: #ccc; vertical-align: bottom }