/* CSS-Definitionsdatei, die Site-weite Stylesheets enthält */
.TextNavBar { font-family: Georgia, Palatino, 'Times New Roman', Times, Serif, serif; font-size: medium; color: rgb(0,0,0); font-weight: bold; font-style: italic; text-decoration: none ;}