H1 { font-size:24pt; line-height:34pt; color:darkblue; background-position: 100% 100%; text-align:center; }
p.gross { font-size:12pt; color:black; }
all.rot { color:red; }
.blau { color:blue; }
DT {font-weight:bold;  }
pre.src { border:outset medium silver;width:100%;white-space:pre;background-color:lightblue; }
