body { color: black;
       /* font: Normal 100% verdana, arial, helvetica, sans-serif;*/
	font-family: system-ui, 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);
 *
 */      
	line-height:1.7;
	font-size: 18px}

.container {
	width: min(1100px, 92%);
	margin: auto;
	}

header {
	position: sticky;
	top: 0;
        background-color: #D1D1Af;
    /*border-bottom: 1px solid #003366;*/
	z-index: 1000;
    }

nav {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 1em 1em;
        background-color: #D1D1Af;
    /*border-bottom: 1px solid #003366;*/
		}

.publication {
	background: #E1E1Bf;
	border-radius: 12px;
	padding: 20px;
	margin-bottom: 20px;
	box-shadow: 0 2px 8px rgba(0,0,0,0.05);
	}

section{
	margin-bottom: 80px
}
footer {
  border-top-color: rgb(25,25,75);
  border-width: 2px;
  text-align: right;
  vertical-align:bottom;
  margin-top: 80px;
  }
/* Überschriften */
h1
{ /*font-family: verdana, helvetica, arial, sans-serif;*/
  font-size: 2.5rem;
  margin-bottom: 24px;
  color: #003366; 
  }

h2{
	margin-top: 3rem;
	margin-bottom: 24px;
        font-size: 1.8rem;
	border-bottom: 2px solid #003366;
	padding-bottom: 0.4rem;
        color: #003366; 
}
h3,h4,h5,h6{
        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}
li
   { 
	   max-width: 75ch;
      }
/* Text */
p
     {
	   max-width: 75ch;
	   margin-bottom: 20px;
       }

/* 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;
  background: #E1E1Bf;
  /*border: 0 0.5px 0 0.5px inset*/ }

  #adresse, #da
{ margin: 1em;
	margin-top:3em;
  padding: 1ex;
  /* margin: 1ex 2ex 1ex 1ex; */
  /*border: solid thin */
	background: #D1D1Af;
  }

#adresse, #adressen {/* font-size: 90%; 
           max-width: 70%;*/
           margin-right: 2ex;
           /*background-color: rgb(165, 186, 224);
	margin: auto;*/
	border-radius: 12px;
           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;
        border:0;
        height:252;
        width:180
}
#adresse, #adressen h3 { margin-top: 1em;
              margin-bottom: 1em;
              }
#adresse, #adressen h2  { margin-bottom: 0.1ex;
              }

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

#adressen {margin-top:1ex;
        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; 
    margin-bottom: 20px;}
#adressen p, #adresse p, #news p { margin-left: 0; }
/* 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;}