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