body {
    margin-top: 0;
    margin-left: 0;
    margin-right: 0;
}

body, td, th, dd, dt, h1, h2, h3, h4, h5, h6, p, ol, ul, li {
  font-family: bitstream vera sans,verdana,sans-serif;
}
body, small {
  font-size: 10pt;
}
td, th {
  font-size: 10pt;
  margin: 2px;
  padding: 8px;
}
textarea, pre {
  font-family: monospace;
  font-size: 9pt;
}

textarea  {
    background-color:#ffe;
    }
    /* border: 1px outset #FC0;  */
input  {
    background-color:#ffa;
    border-color: #FC0; 
    margin: 1px; padding: 0px;
    }
input:hover {
    background-color:#ff8;
    border-color: black;
    }
input:active {
    background-color:#ff4;
    border-color: #c0f;
    }
select {
 background-color: #ffd;
 color: black;
  border: 1px solid #fc0; 
}



li      {margin:0px 20px}
.info { background-color: #FFF; padding: 2px}
.row1 { background-color: #FFF }
.row2 { background-color: #FFF }
.info { background-color: #FC0 }
.row3 { background-color: #FFC }
.unix, .green { margin:20px; background-color: #dfb; border: 2px solid green; padding: 2px; }