body { font-family:Arial,Times New Roman,Trebuchet MS, MS Sans Serif, Verdana, Helvetica; 
	 font-size:12px; font-weight:bold; background-color:#99CCFF; }
a:link { font-weight:bold; color:#0000E0; text-decoration:none }
a:visited { font-weight:bold; color:#000080; text-decoration:none }
a:hover { font-weight:bold; color:#E00000; text-decoration:none }
a:active { font-weight:bold; color:#E00000; text-decoration:underline }
a:focus { font-weight:bold; color:#00E000; text-decoration:underline }

.hf0 { font-size: 36px; color: red; font-style: normal; font-weight: bold; }
.hf1 { font-size: 48px; color: red; font-style: italic; font-weight: bold; }
.24rnb { font-size: 24px; color: red; font-style: normal; font-weight: bold; }

.hf2 { font-size: 18px; color: red; font-style: italic; font-weight: bold; }
.hf2bn { font-size: 18px; color: black; font-style: normal; font-weight: bold; }
.hf2bnn { font-size: 18px; color: black; font-style: normal; font-weight: normal; }
.hf2rn { font-size: 18px; color: red; font-style: normal; font-weight: bold; }

.txt1 { font-size: 14px; color: black; font-style: italic; font-weight: bold; }
.txt2 { font-size: 14px; color: black; font-style: normal; font-weight: bold; }
.txt2r { font-size: 14px; color: red; font-style: normal; font-weight: bold; }

.txt3 { font-size: 12px; color: #1602CC; font-style: normal; font-weight: bold; }
.txt3r { font-size: 12px; color: red; font-style: normal; font-weight: bold; }
.txt3b { font-size: 12px; color: black; font-style: normal; font-weight: bold; }
.txt3gr { font-size: 12px; color: green; font-style: normal; font-weight: bold; }

.txt4 { font-size: 10px; color: #1602CC; font-style: normal; font-weight: bold; }
.txt4r { font-size: 10px; color: red; font-style: normal; font-weight: bold; }
.txt4b { font-size: 10px; color: black; font-style: normal; font-weight: bold; }


.redtext { color: #FF0000; }
.blutext { color: #1602CC; }
.
.normtext { font-weight: normal }

code { display: block;   color: #090;    background-color: #ffc;
               padding: 5px;    margin: 10px;  border: 1px solid #f00;
            }

.width20 { width: 20%; }
.width40 { width: 40%; }
.width60 { width: 60%; }
.width80 { width: 80%; }
.width100 { width: 100%; }

.rand100 { margin: 100px; }