.blackbody { background-color:#006600;
             font-family:arial,helvetica,sans-serif;
             font-size:10pt;
             color:white }             /* grüner Hintergrund */
.greybody { background-color:#6F6F6F;
             font-family:arial,helvetica,sans-serif;
             font-size:6pt;
             color:white }             /* grauer Hintergrund */
.grey   { color:lightgrey }
.headcolor   { color:orange }

a:link { color:rgb(30,160,120);text-decoration:none }    /* noch nicht besuchte Ziele */
a:visited { color:rgb(220,90,90);text-decoration:none } /* besuchte Ziele */
a:hover { color:rgb(30,160,120);text-decoration:none;font-weight:bold;  }   /* Verweise bei "MouseOver" */
a:active { color:rgb(30,160,120);text-decoration:none;font-weight:bold; }  /* Angeklickte Verweise */
a:focus { color:rgb(30,160,120);text-decoration:none;font-weight:italic  }  /* Verweise, die Fokus erhalten */