/* CSS-Definitionsdatei, die SiteStyle -Stylesheets enthält */
BODY { background-color: rgb(255,153,0); background-image: url("../HopsBackgound.gif");}
 PRE { font-size: x-small;}