p { line-height:100%; margin-top:0; margin-bottom:0;  } /*  ... Hier werden die Formate definiert ... */
h1 { line-height:100%; margin-top:0; margin-bottom:1mm; font-size:12pt; }
h2 { line-height:100%; margin-top:0; margin-bottom:1mm; font-size:20pt; }
hr { line-height:100%; margin-top:0; margin-bottom:0; }

.banner { color:#990000; }
.bannerbold { color:#990000; font-weight:bold; }
.inhaltmarkiert { color:red; font-weight:bold; }

.ueberschrift { font-size:12pt; }
.text { font-size:12pt; }
.datum { font-size:10pt; font-weight:normal; color:#8f8e8d; }
.datumb { font-size:10pt; font-weight:normal; color:#5E5E5E; }

a.menu_geschlossen { display : block; text-align : left; width : 120px; background-color: #CCCCCC; color:#000000}
a.menu_offen { display : block; text-align : left; width : 120px; background-color:#990000; color:#FFFFCC;}
a.untermenu { display : block; font-size:11pt; text-align : right; width : 120px; background-color:#FFFFFF;}