#prinav
    {
    font-family:Verdana, Arial,sans-serif;
    font-size:9pt;
    font-weight:bold;
    color:#003366;
    }
#content
    {
    font-family:Verdana,Arial,sans-serif;
    font-size:9pt;
    color:#000000;
    text-decoration:none;
    }
H4
    {
    font-family:Verdana, Arial,sans-serif;
    font-size:10pt;
    font-weight:bold;
    color:#CCCCCC;
    line-height:10.5pt;
    letter-spacing:0.2pt;
    }
H5
    {
    font-family:Verdana, Arial, sans-serif;
    font-size:10pt;
    color:#003465;
    line-height:10.5pt;
    letter-spacing:0.2pt;
    }
H2
    {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 11px;
    color:#999999;
    font-weight: normal;
    font-style: italic;
    line-height: 15px;
    letter-spacing:0.3pt;
    }
H3
    {
    font-family:Verdana, Arial,sans-serif;
    font-size:11pt;
    font-weight:bold;
    letter-spacing:1.0pt;
    color:#999999;
    }
TD
    {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 11px;
    line-height: 15px;
    font-style: normal;
    font-weight: normal;
    color: #666666;
    }
.text
    {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 11px;
    line-height: 15px;
    font-style: normal;
    font-weight: normal;
    text-align:justify;
    color: #666666;
    }
.head1
    {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 13px;
    font-style: bold;
    font-weight: bold;
    color: #666666;
    }
.header
    {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 13px;
    font-style: bold;
    font-weight: bold;
    color: #666666;
    }
.ab
    {
    font-weight:bold;
    color:#294D9C;
    background-color:#D5E3F2;
    }
.tit
    {
    color:#39598E;
    align:left;
    line-height:12px;
    }
.tool
    {
    color:#003465;
    text-decoration:underline;
    cursor:hand;
    }
.text_login
    {
    font-family:Verdana, Arial, sans-serif;
    font-size:10pt;
    font-weight:bold;
    color:#003465;
    text-decoration:none;
    }
.subheader
    {
    font-family:Verdana, Arial, sans-serif;
    font-size:11px;
    color:#666666;
    letter-spacing:0.2pt;
    font-weight: bold;
    }
.normtext
    {
    font-family:Verdana, Arial, sans-serif;
    font-size:9px;
    color:#999999;
    letter-spacing:0.2pt;
    }
.imgtext
    {
    font-family:Verdana, Arial, sans-serif;
    font-size:8pt;
    color:#999999;
    line-height:11pt;
    }
.select
    {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 11px;
    line-height: 15px;
    font-style: normal;
    font-weight: normal;
    text-align:justify;
    color: #666666;
    width: 319px;
    }
.crosslinks
    {
    font-family:Verdana, Arial,sans-serif;
    font-size:9pt;
    font-weight:bold;
    color:#294D9C;
    background-color:#D5E3F2;
    }

/* Link-Farbe #0B2A51 = TUD-Blau Hintergrund, #073E81 Schrift, Original #666666 */
a:link
    {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-style: normal;
    font-weight: normal;
    font-size: 11px;
    color: #073E81;
    text-decoration: none;
    }

a:visited
    {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-style: normal;
    font-weight: normal;
    font-size: 11px;
    color:#073E81;
    text-decoration: none;
    }

/* added myself, color when keeping click on link */
a:active
    {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-style: normal;
    font-weight: normal;
    font-size: 11px;
    color:#961F23;
    text-decoration: none;
    }

/* MouseOver-Farbe #ff9900=Orange von Thomas */
a:hover
    {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-style: normal;
    font-weight: normal;
    font-size: 11px;
    color: #961F23;
    text-decoration: none;
    }

div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
span.TEX {letter-spacing: -0.125em; }
span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
a span.TEX span.E {text-decoration: none; }
span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
span.LATEX span.TEX{ position:relative; left: -0.4em; }