/* edit 2015-05-16 ML
/
/ INFO colors:
/ standard: #0000aa;
/ a:visited (alt): #880088;
/
/ INFO english / german version: this css applies to both!
 */

a                     { color: #0000aa; }
a:visited     { color: #0000aa; } /* old: #880088; */
a:hover         { color: #3376cb; }

p                    { text-align: justify; text-indent: 2em;}
p.short        { text-indent: 0em; width:200px;}
tr.a, th         { background-color:#ffffff;}
tr.b                { background-color:#F0F7FF;}
table.bigtable {
            font-size:smaller;
            font-family:Verdana;
            background-color:#000000;
            vertical-align:top; }
th.h2, th.h1 { 
            font-family:Verdana; text-align:left; }
th.h1              { text-align:center;}
th.h2              { }
td                    { }
div.mainnav{ font-family: Verdana;
            font-weight: bold;
            font-size: smaller;
            }
a.navbar {    COLOR: #3376cb;
            TEXT-DECORATION: none;
            }
a.navbar:visited { #3376cb; } /* old: #880088; */ 
a.navbar.current { color: #880088; text-decoration: underline;} /* edit 2015-05-16 ML */
a.navbar:hover  { COLOR: #5597db; }