/* ----- general definitions ----- */

a:link { color: #a00000 }
a:visited { color:  #CD4444;}
a:active { color: #FF6347;}
a:hover {color: #FF5347;}

body {
  position: relative;
  top: 0px;
  left: 0px;
  margin:0px;
  background-color: white;
}

/* ----- div body ----- */
.main {
  position: absolute;
  left: 110px;
  width: auto;
  padding: 1%;
  background-color: white;
  border-left:2px dotted #a00;  
  //background: url("../bg.png") repeat;
  //border:1px solid grey;  
}
/* ----- div navbar ----- */
.navbar {
  position: fixed;
  top:0px;
  left:0px;
  width: 100px;
  height: 100%;
  margin:0px;
  padding: 5px;
  xbackground-color: #fff060;
  background-color: #fff8e8;
}

.navbar a {
  display: block;
  font-size: x-small;
  margin-top: 2px;
  margin-bottom:2px;
}

.navbar h1 {
  font-size:smaller;
  margin-top:2ex;
  margin-bottom:0.3ex;  
}

.navbar ul {
  list-style:none ;
  padding-left: 0px;
}
.navbar ul ul {
  list-style: none;
  padding-left: 2ex;  
}

.navbar lxi { 
  margin-left: 0px;
  border: 1px solid grey;
}
.hl { 
  color:gold;
}
.syn {
  font-family: monospace;
  margin-left: 1cm;
  margin-bottom: 0px;
}
.libsep {
  width: 50%;
  color: gold;
}
.ret {
  margin-top: 0pt;
  margin-left: 10mm;
}
.example p {
  font-family: monospace;
  margin: 0px;
}
.example pre {
  margin: 0px;
  padding: 3px;
}
.example { 
  margin-left: 1cm;
  margin-right: 1cm;
  background: #f8f8f8;
  padding: 3px;

}

.hint {
  font-size:smaller;
  margin-left: 1cm;
  margin-right: 1cm;
}

em { 
  color: #070;
}

dt {
  font-weight: bold;
}

dl {
  margin-left: 1cm;
}

.scrollhelp { 
  height: 20cm;
}

.c {
  text-align: center;
}