body { color: black;
	font: Normal 100% verdana, arial, helvetica, sans-serif;
	/*margin-top:9.5em;*/
	margin-right:12.5em;
	padding:1em;
	background-attachment:fixed;
	background-repeat:no-repeat; 
	background-position:right bottom;
	background-color: #D1D1Af;
/*       background-image:url(http://www.mathematik.hu-berlin.de/~rabus/gnu.jpg);
 */       }


/* Überschriften */
h1,h2,h3,h4,h5,h6 
{ font-family: verdana, helvetica, arial, sans-serif; 
  color: #003366; }

/* Tabellen */
table,td,th,tr 
{ font-family: verdana, helvetica, arial, sans-serif;
   }

   table#lehre td, table#lehre tr{
	   padding:7px 10px;
   }
/* Listen */
ul { list-style-type : square}
ul ul { list-style-type : circle; }
dl,dd,dt,ul,ol,li 
   { font-family: verdana, helvetica, arial, sans-serif;        
      }
     
/* Text */
p,br,span,blockquote,div,nobr,input 
     {font-family: verdana, helvetica, arial, sans-serif; 
       }

/* dicktengleicher Text */
tt,pre { font-familiy: monospace; }


/* einfachere Hervorhebung */
em     { color: red;
         font-style: normal }
strong { color: red;
         font-weight: bold }


/* Diverse Ausrichtung etc. ... */
#logo     { float:right;
            width: 30% 
	     margin-right: 10px/ }
#logo img { width:30%;
            margin-right: 10px/ }

hr        { clear: both;
            border-top-style: solid;
            border-bottom-style: none;
            border-color: rgb(25,25,75);
            border-width: 2px }

	    
#adressen
{ padding: 1ex;
  margin: 1ex;
   margin: 1ex 2ex 1ex 1ex; 
  border: 1.5px inset }

  #adresse, #da
{ padding: 1ex;
  margin: 1ex;
  /* margin: 1ex 2ex 1ex 1ex; */
  /*border: solid thin */}

#adresse, #adressen {/* font-size: 90%; 
           max-width: 70%;*/
           margin-right: 2ex; 
           /*background-color: rgb(165, 186, 224);*/
	   float: left }
#da { font-size: 100%; 
           max-width: 90%;
           margin-right: 2ex; 
           /*background-color: rgb(165, 186, 224);*/
	   float: left
	border : 0;
	padding: 1em 1em 1em 1em;
  }
#logo {max-width:100%;
	margin-right:2ex}

#foto img { float: right;
	padding:1em;
/*	margin-right: 20px;
	margin-bottom: 10px;*/
	border:0;
	height:252;
	width:180	
}


#adresse, #adressen h3 { margin-top: 0.5ex;
              margin-bottom: 0.5ex;
              }
#adresse, #adressen h2  { margin-bottom: 0.1ex;
              }

#adresse , #adressen address { font-style:normal; }

#adressen {margin-top:4em;
	margin-bottom:4em};

div.linie, h3.linie
{ margin-top: 3ex;
  border-top-style: solid;
  border-top-color: rgb(25,25,75);
  border-width: 2px }

h3.linie { padding-top: 2ex; }


/*** Navigationsleiste + Einfärbungen: ***/
p { margin-left: 2em; }
#adressen p, #adresse p, #news p { margin-left: 0; }

ul#navleiste { 	right: 0em;
/*	width:15em;*/
	max-width:30%;
	background-color: #D1D1Af;
	/*background-color:#F1F1Af;*/
		padding: 0.4em;
             font-size: 80%;
  /*           border-style: inset;*/
             margin: 1em 1em 1em 0;
             border-color: rgb(25,25,75);
	     position:fixed;
	     top:1em;
             border-width: 1.5px }
	     
ul#navleiste li{
	list-style:none;
	margin: 0.4em;
	padding:0;
}

#navleiste a
{ padding: 0.5ex;
  border-style: inset;
  border-width: thin;
	display:block;
  border-color: rgb(25,25,75) ;
  }

#navleiste a:hover {
  	border-style: outset;
	background-color:#F1F1Af;
}
/* Link-Farbe */
a:link 
{color : #0000cc; 
 font-family: verdana, helvetica, arial, sans-serif; }
a:visited 
{/*color : #666666; 
 color : #0000cc; */
 color: #000077;
 font-family: verdana, helvetica, arial, sans-serif; }



  a:hover {text-decoration:none;color:red; 
	  /*background-color:#FFCC99
	   */ }
  a:active {text-decoration:blink; color:blue}
  a:focus {text-decoration:underline; color: red;}
	     
div#footer
{	/*clear:both;
	position:absolute;
	bottom:0;
	right:0;
	height:3em;
	padding-left:1em;
	width:100%;
	margin-left:1em;*/
  border-top-color: rgb(25,25,75);
  border-width: 2px;
  text-align: right;
  vertical-align:bottom;
	/*background-color:rgb(265, 286, 224);*/
  }



div#top{padding-left:1em;
	/*position:fixed;
	background-color:#F1F1Af;
	top:0;
	left:0;*/
	width:100%;
}