a:visited { color: red; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline }
a:link { color: blue; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
a:hover { color: blue; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline }
a:active { color: green; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline }
body { background-color: #ff0 }
.bg_navi { color: black; font-size: 12pt; text-decoration: none }
.big_text { color: black; font-weight: bold; font-size: 18pt; font-family: "Times New Roman", Georgia, Times }
.blauer_text { color: #4169e1; font-weight: bold; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.pinker_text { color: #ef0863; font-weight: bold; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.roter_text { color: red; font-weight: bold; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.text { color: black; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.text_medium { color: black; font-size: 14pt; font-family: "Times New Roman", Georgia, Times }
.text_small { color: black; font-size: 10pt; font-family: "Times New Roman", Georgia, Times }
#table_navi { border: solid 1px #ff0 }