/**
 * Design elements for sidebar
*/

/* the document */
div.page {
  margin-top: 4px;
  margin-left:  0em;
  margin-right: 0em;
  padding-left: 1em;
  text-align: left;
  width: 75%;
  float: left;
  border-left: 1px solid #8cacbb
}

pre {width: 100%;}


/* ---- Sidebar ---- */
div#sidebar {
  margin-top: 1em;
  margin-left:  0em;
  margin-right: -1px;
  border-right: 1px solid #8cacbb;
  padding-top: 0.5em;
  padding-bottom: 0.7em;
  padding-left: 0em;
  text-align: left;
  float: left;
  background-color: #f5f5f5;
  width: 20%;
  font-size: 80%;
}

#sidebar ul {
  list-style-type: none;
  list-style-image: none;
  line-height: 1.2em;
  margin: 0;
  padding: 0;
  padding-left: 1em;
}

#sidebar ul li {
  background: transparent url(images/tocdot2.gif) 0 0.6em no-repeat;
  padding-left:0.4em;
}

#sidebar ul li.clear {
  background-image: none;
  padding-left:0.4em;
}

#sidebar a {
  color: #436976;
  text-decoration:none;
}

#sidebar a:hover {
  color: #000000;
  text-decoration:underline; 
}

/* special headlines */
#sidebar h1 {font-size: 100%; margin-left: 4px; margin-bottom: 0.5em; border-bottom: none;}