/* Einweisung für Wartungspersonal: color gibt die Textfarbe an,
background-color die Hintergrundfarbe */

  body {
    color: yellow; background-color: #29166F; /* Alles. */
    font-size: 100.01%;
    font-family: Helvetica,Arial,sans-serif;
    margin: 0; padding: 1em;
    min-width: 40em; 
  }
  ul#Navigation {
    font-size: 0.83em;
    float: left; 
    width: 14em;
    margin: 0; padding: 0;
  }
  ul#Navigation li {
    list-style: none;
    margin: 0; padding: 0.5em;
  }
  ul#Navigation a {
    display: block;
    padding: 0.2em;
    font-weight: bold;
  }
  a{ /* Links im Text */
    color: yellow;
  }
  ul#Navigation a:link { /* normale Links */
    color: yellow;
    background-color: #29166F;
  }
  ul#Navigation a:visited { /* Besuchte Links */
    color: yellow; background-color: #000080;
  }
  ul#Navigation a:hover { /* gehoverte Links (wo die Maus drüber ist) */
    color: yellow; background-color: #39267F;
  }
  ul#Navigation a:active { /* gedrückte Links */
    color: yellow; background-color: #49368F;
  }

  div#Info {
    font-size: 0.9em;
    float: right; width: 12em;
    margin: 0; padding: 0;
    border: 1px dotted;
  }
  div#Info strong {
    font-size: 1.33em;
    margin: 0.2em 0.5em;
  }
  div#Info p {
    font-size: 1em;
    margin: 0.5em;
  }

  div#Inhalt {
    margin-left: 11em;
    padding: 0 1em;
  }
  div#Inhalt h1 {
    font-size: 1.5em;
    margin: 0 0 0.5em;
  }
  div#Inhalt h2 {
    font-size: 1.2em;
    margin: 0.2em 0;
  }
  div#Inhalt p {
    font-size: 1em;
    margin: 1em 0;
  }
  div#Header{
    float: top;
    width: 100%;
  }