.body .contents .submenu ul.toc, ul.toc ul {
  line-height: 1em;
  list-style-type: none;
  margin: 0;
  padding: 0 0 0 18px;
}

.body .contents .submenu ul.toc {
  font-family: Verdana, sans-serif;
  font-size: 11px;
  padding-left: 0;
}

.body .contents .submenu ul.toc li {
  margin: 0;
  padding: 0;
  white-space: nowrap;
}

.body .contents .submenu ul.toc img {
  border: none;
}

.body .contents .submenu ul.toc a {
  border: none;
  color: black;
  cursor: pointer;
  display: inline;
  font-family: Verdana, sans-serif;
  font-size: 11px;
  font-weight: normal;
  line-height: 1em;
  margin-left: 1px;
  margin-top: 2px;
  padding: 1px;
  text-decoration: none;
}

.body .contents .submenu ul.toc a.active {
  background-color: #4fab41;
  color: white;
}

.body .contents .submenu ul.toc a.disabled {
  color: #b0b0b0;
}

.body .contents .submenu ul.toc li.t {
  background: url(../img/T.gif) no-repeat;
}

.body .contents .submenu ul.toc li.l {
  background: url(../img/L.gif) no-repeat;
}

.body .contents .submenu ul.toc ul.i {
  background: url('../img/I.gif') repeat-y;
}

/*
BODY {
  margin: 5px;
  border: none;
  background-color: #f6f6f6;
  font-size: 70%;
  font-family: Verdana;
}
UL {
  list-style-type: none;
  margin: 0px;
  padding:0px;
  padding-left: 20px;
}
UL.root {
  padding-left: 0px;
}
LI {
  padding:0px;
  margin: 0px;
  white-space: nowrap;
}
A {
  color: black;
  text-decoration: none;
  padding: 1px;
  padding-left: 2px;
  padding-right: 2px;
  height: 14px;
  cursor: pointer;
  margin-left: 4px;
}
A.active {
  color: white;
  border: solid 1px gray;
  background-color: #316ac5;
}
A:hover {
  color: black;
  border: solid 1px black;
  background-color: lightyellow;
}
A.active, A:hover {
  padding:0px;
  padding-left: 1px;
  padding-right: 1px;
}
*/

#tooltip {
  position: absolute;
  display: none;
  margin: 0;

  padding: 1px;
  cursor: pointer;
  line-height: 1em;

  color: black;
  border: solid 1px black;
  background-color: lightyellow;

  font-size: 11px;
  font-family: Verdana, sans-serif;
}

#tooltip.disabled {
  color: #b0b0b0;
  border: solid 1px #b0b0b0;
}

#tooltip.active {
  color: white;
  background-color: #4fab41;
}