table, body {font-family: times new roman, roman; font-size: 13pt; color: #000080;
      background-color: #efefef;}


 a:link { text-decoration:underline; font-weight:300; font-size:10pt; color:#000080; }
 a:visited { text-decoration:none; font-weight:bold; color:#9922CC; }
 a:hover { text-decoration:none; font-weight:bold; background-color:#CCFFFF; }
 a:active { text-decoration:none; font-weight:bold; background-color:#EEEEEE; }

/*
Parameter fuer textdecoration
underline = unterstrichen.
overline = überstrichen.
line-through = durchgestrichen.
blink = blinkend.
none = normal (keine Text-Dekoration).
font-weight
100,200,300,400,500,600,700,800,900 = extra-dünn (100) bis extra-fett (900). normal = normales Schriftgewicht.
500 = medium, 700 = bold. 
*/