/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */

  h1 { border: 2px ridge silver;
    margin: 0pt 0pt 0.7em;
    padding: 0.3em;
    font-size: 1.5em;
    text-align: center;
    background-color: rgb(255, 238, 221);
    }

  html > body h1 { border-color: gray;
    }

  ul#Navigation { border: 1px dashed silver;
    margin: 0pt 0pt 1.2em;
    padding: 0pt;
    font-size: 0.83em;
    float: left;
    width: 14em;
    font-family: Arial;
    clear: left;
    }

  ul#Navigation li { margin: 0pt;
    padding: 0.5em;
    list-style-type: none;
    list-style-image: none;
    list-style-position: outside;
    font-family: Arial;
    }

  ul#Navigation a { padding: 0.2em;
    display: block;
    font-weight: bold;
    font-family: Arial;
    }

  ul#Navigation a:link { color: black;
    background-color: rgb(238, 238, 238);
    font-family: Arial;
    }

  ul#Navigation a:visited { color: rgb(102, 102, 102);
    background-color: rgb(238, 238, 238);
    font-family: Arial;
    }

  ul#Navigation a:hover { color: black;
    background-color: white;
    font-family: Arial;
    }

  ul#Navigation a:active { color: white;
    background-color: gray;
    font-family: Arial;
    }

  div#Info { border: 1px dashed silver;
    margin: 0pt 0pt 1.1em;
    padding: 0pt;
    font-size: 0.9em;
    float: right;
    width: 14em;
    background-color: rgb(238, 238, 238);
    }

  div#Info h2 { margin: 0.2em 0.5em;
    font-size: 1.33em;
    }

  div#Info p { margin: 0.5em;
    font-size: 1em;
    }

  div#Inhalt { border: 1px dashed silver;
    margin: 0pt 13em 1em 12em;
    padding: 0pt 1em;
    }

  * html div#Inhalt { height: 1em;
    }

  div#Inhalt h2 { margin: 0.2em 0pt;
    font-size: 1.2em;
    }

  div#Inhalt p { margin: 1em 0pt;
    font-size: 1em;
    }

  div#Fehlerbox { border: 1px dashed rgb(204, 0, 0);
    margin: 0pt 13em 1em 12em;
    padding: 0pt 1em;
    background-color: rgb(255, 204, 204);
    }

  div#Plain { border: 1px dashed silver;
    margin: 0pt 0pt 1em;
    padding: 0pt 1em;
    }

  * html div#Plain { height: 1em;
    }

  div#Plain h2 { margin: 0.2em 0pt;
    font-size: 1.2em;
    }

  div#Plain p { margin: 1em 0pt;
    font-size: 1em;
    }

  p#Fusszeile { border: 1px solid silver;
    margin: 0pt;
    padding: 0.1em;
    clear: both;
    font-size: 0.9em;
    text-align: center;
    background-color: rgb(255, 238, 221);
    }

  div#Inhalt2 { border: 1px dashed silver;
    padding: 0pt 1em;
    margin-left: 12em;
    margin-bottom: 1em;
    }

  div#Inhalt2 h1 { margin: 0pt 0pt 1em;
    font-size: 1.5em;
    }

  div#Inhalt2 h2 { margin: 0pt 0pt 1em;
    font-size: 1.2em;
    }

  div#Inhalt2 p { margin: 1em 0pt;
    font-size: 1em;
    }