body{
  background-color:#efefef;
  color:#000000;
  padding:2em;
}

h1{
  font-family:sans-serif;
  font-size:2em;
  text-align:center;
  color:#0000a0;
  font-weight:bold;
}
h2{
  font-style:italic;
  font-size:1.2em;
  text-align:center;
  color:#0000a0;
  margin-bottom:1em;
  border-bottom-style:solid;
  border-bottom-width:thin;
  border-bottom-color:#000000;
}
h3{
  color:#0000a0;
  font-size:1.4em;
  font-weight:bold;
  font-variant:small-caps;
}
h4{
  color:#000000;
  padding-top:2em;
  border-top-color:#000000;
  border-top-width:thin;
  border-top-style:solid;
}
h5{
  margin:1em;
  margin-left:3.5em;
  font-size:1em;
  font-weight:bold;
  color:#000000;
  max-width:45em;
}

p{
  text-align:justify;
  margin:1em;
  margin-left:5em;
  color:#000000;
  line-height:1.2em;
  max-width:40em;
}

ul.nodot{
  margin-left:5em;
  margin:2em;
  list-style-type:none;
}
li
{
  padding-bottom:0.4em;
  margin-left:2em;
  max-width:600px;
  line-height:1.2em;
  
}
div.toplink{
  margin-left:5em;
  margin-right:5em;
  padding-bottom:1em;
  border-bottom-color:#000000;
  border-bottom-style:dashed;
  border-bottom-width:thin;
  font-style:italic;
  font-size:.8em;
} 
a:link
 {
  font-weight:bold;
  color:#0000a0;
}
a:active{
  font-weight:bold;
}
a:visited{
  font-weight:bold;
  color:#000000;
}
a:hover{
  background-color:#ffff99;
  color:#000000;
  font-weight:bold;
}
a.top:link{
 color:#0000a0;
}
a.top:active{
 color:#0000a0;
}
a.top:vistited{
 color:#0000a0;
}
a.top:hover{
  background-color:#ffff99;
  color:#000000;
}
pre{
  margin-left:5em;
}
div.ende{
  border-top-style:solid;
  border-top-color:#000000;
  border-top-width:thin;
  padding-top:2em;
  margin:1em;
  font-size:.9em;
  text-align:center;  
  border-bottom-style:solid;
  border-bottom-color:#000000;
  border-bottom-width:thin;
  padding-bottom:2em;
}

.stark{
  font-style:italic;
}