/* CSS-Definitionsdatei, die Site-weite Stylesheets enthält */
P { font-family: Tahoma,Verdana,Arial,Helvetica,Sans-serif,sans-serif; font-size: small; font-weight: normal; font-style: normal;}
 .highlight { color: rgb(51,0,153); font-weight: bold;}