a:link, a:visited, a:active  { color:#000000; text-decoration:underline;}
a:hover { color:#0066FF; text-decoration:underline; cursor:hand}
td 
{ 
	font-family: Verdana, Arial, Helvetica, sans-serifl;
	background-color:#f1f9ff; 
	height:24px;
	font-size:10pt
}
table { border:solid 1 #000000; width:800px }
table#main { border:0; background-color:#f1f9ff}
p.pre {font-family:monospace; text-align:left;} 
td#header {background-color:#b2d6ff; height:24px;font-size:10pt}
td#header_name {background-color:#b2d6ff; height:24px;font-size:10pt; width:150px}
td#pinned {background-color:#b2d6ff; height:24px;font-size:10pt; width:20px}
td#unpinned {background-color:#f1f9ff; height:24px;font-size:10pt; width:20px}
td#body {background-color:#f1f9ff; height:24px;font-size:10pt}
td#body_spacer {background-color:#f1f9ff; height:24px;font-size:10pt; width:150px}
