body { background-color:#FFFFFF; font-family:Verdana; }
  body.help { background-color: #808080; }
  p, h1, h2, h3, h4, h5, h6, h7, td, th, dl, li
  {
    font-family: Arial, Helvetica;
    font-size: 10pt;
    color:black;
    padding-left:4px;
    padding-right:4px;
  }
  
  .highlited { background-color:#cccccc; }
  .menu { background-color:#eeeeee; }
  .heading { background-color:#eeeeee; }
  .red { font-style:italic; font-weight:bold; color:#F04400; }
  .green { font-style:italic; font-weight:bold; color:#00C000; }
  .grayed { font-style:italic; font-weight:lighter; color:#606060; }
  .footer { color:#A0A0A0; text-align:right; }
  .data { text-align:left; }
  
  /* ACHTUNG: der Name "boxerr" ist auch in RemoteControl4.java enthalten! */
  .boxerr { background-color:#FEF5F5; }
  .boxok { background-color:#F8FEF5; }
  .boxinfo { background-color:#E3EDF7; }
  
  .errinfo { height:8em; width:auto; overflow:auto; border:1px solid #A0A0A0; margin:1em; white-space:nowrap; }
  
  h1 { font-size:16pt;font-weight:bold;color:#000000; }
  h2 { font-size:14pt;font-weight:bold;color:#000000; }
  h3 { font-size:12pt;font-weight:bold;color:#000000; }
  h4 { font-size:10pt;font-weight:bold;color:#000000; }

  h1.head { background-color:#eeeeee; margin-top:5px; margin-bottom:5px; text-align:center; text-align:center; text-shadow:#FFFFFF 1px 2px 3px; letter-spacing: 0.1em; }
  h2 { text-shadow:#FFFFFF 1px 2px 3px; } 
  h3.nospace { margin-top:0px; margin-bottom:0px; text-shadow:#FFFFFF 1px 2px 3px; }
  /* h3.messages { margin-top:0px; margin-bottom:0px; color:#808080; text-shadow:#FFFFFF 1px 2px 3px; } */

  hr { margin:0; }

  th { background-color:#A0A0A0; font-weight:bold; color:#000000; text-shadow:#808080 1px 2px 3px; letter-spacing: 0.2em; }
  /*th { background-color:#404040; font-weight:bold; color:#C0C0C0; text-shadow:#000000 1px 2px 3px; letter-spacing: 0.2em; }*/
  
  /* tr.grade { background-color:#DBDBDB; } */
  /* tr.ungrade { background-color:#EBEBEB; } */
  
  tr.grade { background-color:#DBDBDB; }
  tr.ungrade { background-color:#EBEBEB; }

  a:link { color:#336699; text-decoration:none; }
  a:active { color:#000000; text-decoration:none; }
  a:visited { color:#336699; text-decoration:none; }
  a:hover { color:#000000; text-decoration:none; }

  a:link.err { color:#FF0000; text-decoration:none; }
  a:active.err { color:#FF0000; text-decoration:none; }
  a:visited.err { color:#FF0000; text-decoration:none; }
  a:hover.err { color:#000000; text-decoration:none; }

/*
  ul { color:#FF4400; }
  ul.black { color:#000000; }
  ul.help { font-size: 10pt; color:#000000;}
*/

  div.help { border: 1px solid #000000; padding: 4px; background-color: #FFFFFF;}