body {
/*  Hier wird die Hintergrundfarbe für den body festgelegt, die Standardschriftart und -größe
Folgendes hat ursprünglich auf Normalgröße gesetzt, wie sie der Nutzer eingestellt hat:
    font: normal 100.01% Helvetica, Arial, sans-serif;*/
    font: normal 90% Helvetica, Arial, sans-serif;
    color: black; background-color: #ffffe0;
  }

/*  Hier wird das Erscheinungsbild der Menüleiste bestimmt: */
  ul#Navigation {
    margin: 0; padding: 0.5em;
    text-align: center;
    border: 1px solid black;
    background-color: #DCDCDC;
  }
  ul#Navigation li {
    list-style: none;
    display: inline;
    margin: 0.4em; padding: 0;
  }

  ul#Navigation a, ul#Navigation span {
    padding: 0.2em 1em;
    text-decoration: none; font-weight: bold;
    border: 1px solid black;
    border-left-color: white; border-top-color: white;
    color: maroon; background-color: silver;
  }
  * html ul#Navigation a, * html ul#Navigation span {
    width: 1em;    /* nur fuer IE 5.0x erforderlich */
    width: auto;  /* sicherheitshalber fuer IE 6 zurueckgesetzt */
  }
  ul#Navigation a:hover, ul#Navigation span {
    border-color: white;
    border-left-color: black; border-top-color: black;
    color: white; background-color: silver;
  }