:link    { color:#ff6600}
:visited { color:#000000}
.tipp { border-color:#ff6600; border-style:dotted; padding:1em; margin-top:1em; margin-bottom:1em; margin-left:0px; margin-right:0px}
.info { border-color:#808080; border-style:dotted; padding:1em; margin-top:1em; margin-bottom:1em; margin-left:0px; margin-right:0px}
.code { border-color:black; border-width:1px; border-style:solid; padding:1em; background-color:#ffffff; margin-top:1em; margin-bottom:1em; margin-left:0px; margin-right:0px; 
        font-family:monospace}
.fixed { font-family:monospace }

.p_ohne_v-abstand { margin-top:0em; margin-bottom:0em}
.weiss { color:#ffffff; margin:0px}