/* CSS-Definitionsdatei, die Site-übergreifende Stylesheets enthält */
.nav { color: rgb(220,220,240);}
 .nav:link { color: rgb(220,220,240); text-decoration: none ;}
 .heading { color: rgb(255,255,255); text-align: center; background-color: rgb(47,71,159); border-left-style: none; border-top-style: none; border-right-style: none; border-bottom-style: none;}
 .footer { font-size: 10px; color: rgb(180,180,204); padding: 2pt 0pt 5pt 5pt;}
 .nav:visited { color: rgb(220,220,240); text-decoration: none ;}
 .nav:active { color: rgb(220,220,240); text-decoration: none ;}
 .text { padding: 0pt 15pt 10pt 15pt;}
 .image { border: 4pt solid rgb(46,75,152);}
 .rahmen { font-size: 12px; border: 1pt solid rgb(46,75,152); padding: 3pt;}
 .nav:hover { color: rgb(255,255,255); text-decoration: underline overline;}