DIV.main {
  border-width:medium;
  border-style:solid;
  border-color:dimgrey;
  padding:2.5em;
  text-align:justify;
  background-image:url(http://iks.ira.uka.de/arbeitsgruppen/syssec/eiss100.png);
  background-repeat:no-repeat;
  background-position:bottom right;
}
DIV.heading {
  border-width:medium;
  border-style:solid;
  border-color:dimgrey;
  padding-left:2.5em;
  padding-right:2.5em;
  text-align:left;
}
DIV.menu {
  background-color: silver;
/*  padding:2.5em; */
  padding-left:2.5em;
  padding-right:2.5em;
  color:black;
}
DIV.menu ul {
  padding:0;
  margin:0;
  list-style:none;
}
DIV.menu ul li {
  display: inline;
  padding-left:2.5em;
  padding-right:2.5em;
}
DIV.abstract {
  padding-left: 2em;
  padding-right: 2em;
}

P {
  max-width:80em;
}
LI {
  max-width:80em;
}
DL {
  max-width:80em;
}

IMG.mainpic {
  float:right;
  margin:2em;
}
IMG.headpic {
  float:right;
  margin:1em;
}
IMG.borderless {
  border:none;
}
IMG.eissright {
  float:right;
  border:none;
}