@import url("lwarp.css") ;

div.sidetoccontainer{
  position: fixed;
  z-index: 1;
  overflow: auto;
  top: 10px;
  width: 20%;
  height: 90%;
  border-top: 1px solid silver;
  border-radius: 0px 0px 0px 0px ;
  resize: vertical;
  background: #EEEEEE;  
}

div.sidetoccontents{
   background: #EEEEEE;  
}

div.sidetoctitle{
   color: #888888;  
}

div.bodycontainer{
  float: right;
  width: 100%;
}

section.textbody{
  margin: 2em 2em 2em 22%;
}

nav {
  font-family: "DejaVu Sans", "Bitstream Vera Sans", Geneva, Verdana, sans-serif ;
  margin-bottom: 4ex ;
  font-size: 1.5em;
}

nav.topnavigation{  /* Wird in lwarp.css per @media screen bei schmalem Browser eingeblendet */
  display: none; 
}

nav.botnavigation{  /* Wird in lwarp.css per @media screen bei schmalem Browser eingeblendet */
  display: none;
}

div.sidetoctitle{
  display: block;
  font-size: 100%;
}

/* unvisited link */
a:link {
  color: blue;
}

/* visited link */
a:visited {
  color: blue;
}

/* mouse over link */
a:hover {
  color: darkblue;
}

/* selected link */
a:active {
  color: blue;
} 

div.titlepage {
  font-size: 200%;
  text-align: left;
}