/* CSS-Definitionsdatei, die Site-übergreifende Stylesheets enthält */
A:active { font-size: 12px;}
 A:link { font-size: 12px; color: rgb(0,0,128);}
 A:visited { font-size: 12px;}
 .TextNavBar { font-size: 12px;}
 A:hover { font-size: 12px; color: rgb(0,0,128); font-weight: bold;}