body { background-color:#78AEFF; margin:2em; font-family:Verdana; }
a:link{color:#000000; font-family:Verdana; }
a:visited{color:#333333; font-family:Verdana; }
a:active{color:#000000; font-family:Verdana; }
a:hover{color:#FFFFFF; font-family:Verdana; }
a.navi:visited{color:#000000; text-decoration:none; font-family:Verdana; font-size:100%;}
a.navi:link{color:#000000; text-decoration:none; font-family:Verdana; font-size:100%;}
a.navi:active{color:#000000; text-decoration:none; font-family:Verdana; font-size:100%;}
a.navi:hover{color:#FFFFFF; text-decoration:none; font-family:Verdana; font-size:100%;}
a.extern:visited{color:#000000; font-family:Verdana; font-size:100%;}
a.extern:link{color:#000000; font-family:Verdana; font-size:100%;}
a.extern:active{color:#000000; font-family:Verdana; font-size:100%;}
a.extern:hover{color:#FFFFFF; font-family:Verdana; font-size:100%;}
h1,h2,h3,h4,h5,h6,hr{color:#000000;}
pre{font-family:serif;font-style:normal;fontsize:16;font-weight:500;}