body { background : #FFFFFF ;
       color : #000000 ;
       font-family : Verdana, Geneva, Arial, Helvetica, Sans-Serif ;
}

a { color : #000000 ;
 text-decoration : none ;
 border-bottom: 1px dotted  #404040;
}

a:hover { background-color: #000000 ;
 color : #FFFFFF ;
 text-decoration : none ;
 border-bottom: 1px dotted ;
}

pre, code { font-family : "lucida console", monospace }

.klausur { font-weight : bold ;
           color : #FF0000
}

.center { margin : 2mm auto ;
          text-align : center
}

.footnote { font-style : oblique }

.thinboxed { background-color : #F6F6F6 ;
             border-style : solid ;
             border-width : 1px ;
             padding : 10px ;
             margin : 5px
}