/* CSS-Definitionsdatei, die Site-weite Stylesheets enthält */
BODY { background-color: rgb(255,255,255); background-image: none;}
 P { background-color: rgb(255,255,255); background-image: none;}
 PRE { background-color: rgb(255,255,255); background-image: none;}