body {
   color: black; font-size: 11pt; font-family: Verdana, Helvetica, Arial, Univers, sans-serif
 }

 span.comments   { font-size: 75% }
 h1             { font-size: 17pt; font-weight: bold; }
 h2             {  font-size: 14pt; font-weight: bold;}
 h3             { font-weight: bold; }

 a:link   { color: #690020 }
 a:active { color: #003600 }
 a:hover  { color: #696040 }
 a:vlink  { color: #900000 }
 .tt        { color: black; font-family: Courier } 

 .error   { color: red }
 a.error  { text-decoration: none; border: 1px solid red; padding: 10px; }


/* new stuff below ... */

 ins { color: green }
 del { color: red   }

 table #user_search td {
    padding: 5px;
    vertical-align: top;
 }

 tr.user_search_result td {
    border-top: 1px dotted grey;
 }

#job { padding: 6px }
#job table { width: 100%; }
#job table tr:hover { background-color: #f5f5f5 }
#job table tr td { padding: 6px 0; vertical-align: top }
#job .comment { padding: 3px 0; font-size: smaller; display: block; }
#job .error_message { font-size: smaller; font-weight: bold; display: block; }
#job input[type=radio] { margin-right: 0.6em }

#login fieldset { border: 0 }

#search label { display: inline-block;
                width: 90px;
                float: left;
                text-align: right;
                padding: 4px 2px;
 }
#search input[type="text"] { margin-left: 8px }
#search input { padding: 4px 2px; }

#search input[type="submit"] { }