body { background-color:#F0F0F0 	       	                      } 
        h1 { font-family:times new roman, arial;
             font-size:22pt;
             font-weight:bold
        }
	table, font { font-family:arial,courier;
                   font-style: normal;
                   font-size:11pt
        } 
        a {  color:#0050A0;
             font-weight:bold;
             font-size:11pt;
             text-decoration:none
	}
        a:hover, { text-decoration:underline;
                   color:red
        }
	span, div { font-weight:bold;
               font-size:12pt
        }
	.rot   { color:red }
	.klein { font-size:10pt; font-weight:normal }