/* CSS-Datei für den Workshop CSS */ body {color:#000000;background:#FFFFFF; 
margin: 5mm 5mm; text-transform: none; font: normal 10pt/14pt Arial} a:hover {color:red;} 
#hline {Font-Size: 15pt; Font-Weight: bold; Font-Style: normal; Border-Width: 
2px; Margin: 5pt 2pt; text-align:center; background: #FFD3A8 center left; width: 
auto; height: auto; line-height: 24pt} #gelb {Background-Color: #FFFF00; Font-Style: 
normal; font-weight: bold; font-size: 11pt; line-height: normal} p.klein { font-size: 8pt; color:black; 
text-align:center; } p.zitat { font-size: 11pt; color:#0000FF; } p.mittel { font-size:11pt; 
color:black; } p.mittelgross { font-size: 12pt; color:black;} p.gross { font-size: 
14pt; color:black; } .blau { color:blue; ; font: bold normal 12pt/normal Arial} .rot { color:red; } .gruen { color:green;} 
.braun { color:#990000; } hr { color: #000000; clip:  rect(   )}