#tocframe {
   border-right:solid 1px #555555;
}

body {
   color:#000000;
   background-color:#ffffff;
   font:normal 94% verdana,sans-serif;
}

li, table {
   font:normal 94% verdana,sans-serif;
}


tt, pre, xmp, code {
   font:normal 13px 'courier new';
}

span.q {
   font-weight:bold;
   color:#bb0000;
}

p.a {
   margin-left:12px;
}

div.splash {
   font:normal 94% verdana,sans-serif;
   margin-left:20px;
   margin-right:20px;
}