body{
  /* this is the border color: */
  background-color: #FFFFFF;
  text-align:center;
  font-size: 12px;
  font-family: Helvetica, Verdana, Arial, sans-serif;
  padding: 0;
  margin: 0;
}

p.center {
  text-align: center;
}

h1{
  margin: 5px 0 0px 0;
  text-align: center;
  font-size: 2.0em;
  color: #000000;
}

h2{
  font-size: 1.4em;
  font-style: italic;
  margin: 0px 0 10px 0;
  text-align: center;
  color: #000000;
}

a {
  text-decoration: none;
  color: #0000FF;
}

a:hover {
  text-decoration: none;
  color: #FFFFFF;
  background-color: #0000FF;
}

div.pagetitle{
  border: 1px dotted black;
  padding: 5px;
  margin: 5px 0px 10px 0px;
  text-align: center;
  width: 888px;
}


div.container{
  width: 900px;
  margin: auto;
  margin-top: 10px;
  text-align: left;
  background-color: #FFFFFF;
  padding: 5px 10px;
}

div.menu{
  border: 1px dotted black;
  padding: 5px;
  margin: 0 0 0 0px; 
  float: left;
  width: 160px;
}
 
div.menu h1{
  font-size: 1.5em;
  text-align: left;
  margin-bottom: 20px;
}

div.menu a{
  font-style: normal;
  color: #0000AA;
}
 
div.menu li{
  font-weight: bold;
  font-size: 12px;
  margin: 0px;
  padding: 0px;
}
 
div.menu ul{
  margin: 0px;
  padding: 0px;
  list-style: none;
}
 
div.menu li a{
  text-decoration: none;
  color: #FF0000;
}
 
div.menu li a:hover{
  text-decoration: none;
  background-color: #990000;
}

/* menu second level */
div.menu li li{
  margin-left: 10px;
}
 


/* central container (blog etc.) */
div.content {
  padding: 5px;
  /* top right bottom left */
  margin: 0 150px 0 180px; 
  min-height: 200px;
}

div.content h1 {
  font-size: 1.5em;
  text-align: left;
  margin-bottom: 20px;
}

div.content h2 {
  font-size: 1.2em;
  text-align: left;
  font-style: normal;
  text-decoration: underline;
  margin-bottom: 10px;
  margin-top: 40px;
}

div.content p {
  margin: 0px 0px 20px 0px;
  font-size: 12px;
}

div.content ul {
  font-size: 12px;
  margin: 0px 15px 20px 20px;
  padding: 0px;
}

div.paper {
  margin: 0px 0px 20px 0px;
  width: 90%;
}

div.paperimage {
  width: 120px;
  margin-left: 0px;
  margin-right: 0px;
  float: left;
}

div.paperimage img {
  border: none;
}

div.paperimage a {
  background: none;
}

div.papertext {
  margin-left: 125px;
  margin-right: 0px;
  min-height: 100px;
}

div.papertext ul {
  margin-bottom: 0px;
}

div.papertext p {
  margin-bottom: 0px;
}

div.footer {
  margin: 0;
  padding: 10px;
  clear: both;
  text-align: center;
  font-size: 0.8em;
}

div.rightpane {
  float: right;
  width: 120px;
  padding: 5px;
  border: 1px dotted black;
}

div.rightpane p {
  font-size: 12px;
  margin-bottom: 20px;
}