/* CSS-Definitionsdatei, die Site-weite Stylesheets enthält */
BODY { scrollbar-face-color: #3366FF;}
 A:active { color: rgb(0,0,255);}
 .NAVIGATION { font-family: Arial,Helvetica,Geneva,Sans-serif,sans-serif; font-size: 8pt; line-height: 9pt;}
 .INFO { font-family: Arial,Helvetica,Geneva,Sans-serif,sans-serif; font-size: 8pt; line-height: 8pt;}
 A:visited { color: rgb(153,0,153);}
 .SCRIPTHINT { color: rgb(255,0,0); font-weight: bold; background-color: rgb(255,255,102);}
 A:hover { color: rgb(0,153,255);}