/* CSS-Definitionsdatei, die Site-weite Stylesheets enthält */
PRE { color: rgb(255,0,153);}