body {
        color: #000080;
        background-color: white;
        font-size: 100.01%;
        font-family: Helvetica, Arial, Verdana, sans-serif;
        margin: 0;
        padding: 1em;
        min-width: 41em; /* Mindestbreite verhindert Umbruch und Anzeigefehler in modernen Browsern */
        border: 1px solid #7d7d7d;
}

  h1 {
    font-size: 1.5em;
    margin: 0 0 0.7em; padding: 0.3em;
    text-align: left;
    background-color: white;
    border: 1px solid #7d7d7d;
  }
  html>body h1 {
    border-color: silver;  /* Farbangleichung an den Internet Explorer  */
  }

  ul#Navigation {
    font-size: 0.83em;
    float: left;
    width: 15em;
    margin: 0 0 1.2em;
    padding: 0;
    border: 1px solid #7d7d7d;
  }
  ul#Navigation li {
    list-style: none;
    margin: 0;
    padding: 0.5em;
  }
  ul#Navigation a {
    display: block;
    padding: 0.2em;
    font-weight: bold;
  }
  ul#Navigation a:link {
  color: #000080;
  background-color: #f4814a;
}
  ul#Navigation a:visited {
        color: #000080;
        background-color: #f4814a;
}
  ul#Navigation a:hover {
    color: #000080;
         background-color: white;
  }
  ul#Navigation a:active {
        color: black;
        background-color: #f4814a;
}
.right {
text-align: right;
}

  div#Info {
    font-size: 0.9em;
    float: right; width: 12em;
    margin: 0 0 1.1em; padding: 0;
    background-color: white;
         border: 1px hidden;
  }
  div#Info h2 {
    font-size: 1.33em;
    margin: 0.2em 0.5em;
  }
  div#Info p {
    font-size: 1em;
    margin: 0.5em;
  }

  div#Inhalt {
    margin: 0 12em 1em 13em;
    padding: 0 1em;
    border: 1px hidden;
  }
  * html div#Inhalt {
    height: 1em;  /* Workaround gegen den 3-Pixel-Bug des Internet Explorers */
  }
  div#Inhalt h2 {
    font-size: 1.2em;
    margin: 0.2em 0;
  }
  div#Inhalt p {
    font-size: 1em;
    margin: 1em 0;
  }

  p#Fusszeile {
    clear: both;
    font-size: 0.9em;
    margin: 0;
         padding: 0.1em;
    text-align: center;
    background-color: #f4814a;
         border: 1px solid #7d7d7d;
  }
p#Fusszeile a {
    padding: 0.1em;
    font-weight: 500;
  }
p#Fusszeile a:link {
        color: #000080;
        background-color: #f4814a;
}
  p#Fusszeile a:visited {
        color: #000080;
        background-color: #f4814a;
}
  p#Fusszeile a:hover {
    color: black;
        background-color: #f4814a;
  }
  p#Fusszeile a:active {
        color: white;
        background-color: #f4814a;
}
a {
    padding: 0.2em;
    font-weight: bold;
  }
a:link {
        color: black;
        background-color: white;
}
a:visited {
        color: black;
        background-color: white;
}
a:hover {
    color: black;
        background-color: White;
  }
a:active {
        color: black;
        background-color: White;
}
.caption {
  font-variant: small-caps;
}
