a { color: #000080; font-family: Verdana, Arial, Helvetica; text-decoration: none; }
a:hover { color: #FF0000; text-decoration: underline; }
body, table, tr, td, .button { font-family: Verdana, Arial, Helvetica; font-size: 9pt; }
code, pre, .sourcebox { font-family: Courier, Courier New; font-size: 8pt; }
.red { color: #FF0000; }
.smaller { font-size: 8pt; }
.votebutton { width: 100px; }
.window { background-color: #FFFFFF; border-color: #000000; border-style: solid; border-width: 1px; }
.window_body { background-color: #FFFFFF; color: #000000; }
.window_title{ background-color: #800000; color: #FFFFFF; }

#searchinput {
  width: 145px; 
  font-family: Verdana, Arial, Helvetica; 
  font-size: 8pt;
}
.st
{ 
text-decoration: line-through; }
hr
{
    background: silver;
    border: none;
    height: 1px;
}
/*
.window_body > table
{
    table-layout: fixed;
}
code
{
    display: block;
    overflow: auto;
    word-wrap: break-word;
}

form .window_body > table
{
   table-layout: auto;
} 
*/