body { color:         black; 
         background:    white; 
         margin-left:   4%; 
         margin-right:  4%;
         margin-top:    1%; 
         margin-bottom: 3%;
         font-family:   Arial, Helvetica, sans-serif;
                 }

  pre { font-family: monospace; }

  TD.menu { color:     white;
          background:  #AA1002;
          font-size:   larger;
          font-family: Arial, sans-serif;
          text-align:  center;
          }

  A.menu         { text-decoration: none}
  A.menu:link    { color: white;
                   font-size: larger;}
  A.menu:visited { color: white;
                   font-size: larger;}