* { font-family: 'helvetica', 'MS Gothic', 'Times' } 

    sub, sup { font-size: smaller; }
    body { background-color: #E0E0D0; }
    table { border-collapse: collapse; background-color: #F0F0D0; }
    td, th { border: 1px solid black; padding: 4px 4px 0; }


    p.right { float:right; margin: 0 0 0 2em; }
    
    pre { font-size: small; line-height: 80%; }
    ol { margin: -1em 0 0 0; } 
    ul { margin: -0.6em 0 0 0;  } 
    ul li { margin: 0.4em 0;  }