/* indent different sections */
ul.toc li.level3 {margin-left: 0px;}
ul.toc li.level4 {margin-left: 15px;}
ul.toc li.level5 {margin-left: 30px;}
ul.toc li.level6 {margin-left: 45px;}


/* ---------- table of contents ------------------- */

div.toc {
  margin-left: 2em;
  margin-top: 1.2em;
  margin-bottom: 10px;
  float:right;
  width: 200px;
  font-size: 80%;
  clear:both;
}

div.toctoggle {
  float:right;
  margin-top:0.3em;
  margin-right:3px;
}

div.toctoggle img {
  width:0.8em;
  height:0.8em;
}

#tocheader {
  padding: 3px;
  border: 1px solid #9a9a9a;
  background-color: #dedede;
  text-align: left;
  font-weight:bold;
  margin-bottom: 2px;
  color: #000;
}

#tocinside {
  border: 1px solid #9a9a9a;
  background:#fff;
  text-align: left;
  padding-top: 0.5em;
  padding-bottom: 0.7em;
}

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

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

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

a.toc {
  text-decoration:none;
}

a.toc:hover {
  text-decoration:underline; 
}

a.toc:visited {
/*  text-decoration:line-through; */
}