/* CSS-Definitionsdatei, die Site-weite Stylesheets enthält */
.TA { font-family: 'Times New Roman', Times, Serif, serif; font-size: large; color: rgb(125,24,23); font-weight: bold;}
 P { font-size: x-small;}
 .Fliess { font-family: 'Times New Roman', Times, Serif, serif; font-size: small; margin-top: 2pt; margin-bottom: 6pt;}