/* CSS-Definitionsdatei, die Site-weite Stylesheets enthält */
BODY { font-family: 'Times New Roman', Times, Serif, serif; font-size: x-small;}
 P { font-family: 'Times New Roman', Times, Serif, serif; color: rgb(51,0,0);}