/* CSS-Definitionsdatei, die Site-übergreifende Stylesheets enthält */
H1 { font-family: 'Times New Roman', Times, Serif; font-size: 18pt; color: rgb(0,0,128);}
 P { font-family: 'Times New Roman', Times, Serif; font-size: medium;}