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