div.category {
  margin:0;
  padding:0 0.25em 0 0.25em;
  background:#fff;
}
div.category h3 {
  font-size:100%;
  color:#ddd;
  background:#000;
  text-indent:0.35em;
  border-left:1px solid #999;
  margin:0 0 0 0;
  padding:0.25em 0 0.25em 0;
}
div.category h3 a:link,
div.category h3 a:active,
div.category h3 a:hover,
div.category h3 a:visited {
  font-size:100%;
  color:#ddd;
  background:#000;
  text-indent:0.35em;
  /*border-left:1px solid #999;*/
  margin:0 0 0 0;
  padding:0.25em 0 0.25em 0;
}
div.pkgs {
  border-top:1px solid #999;
  border-right:1px solid #999;
  border-bottom:1px solid #999;
}
div.package h4 {
  font-size:100%;
}
div.package,
div.package a {
  font-size:90%
}
div.package {
  border:1px solid #ddd;
  margin:0.25em 0.25em 0.25em 0.25em;
  padding:0 0.25em 0.5em 0.25em;
}
div.package h4 {
  margin:0 0 0 0;
  padding:0 0 0 0;
}
div.package p {
  text-indent:0.5em;
  margin: 0 0 0 0.25em;
}
div.package ul {
  margin:0 0 0 0.25em;
  padding-left:1.5em;
}
div#toc {
  width:18em;
  display:block;
  position:relative;
  border:1px solid #aaa;
  background:#ddd;
  padding:.5em 1.5em .5em 1.5em;
  margin:.5em .5em .5em 3em;
}
#toc ul,
#toc ol {
  padding-left:.5em;
  margin-left:1em;
  font-size:95%;
}
#toc ol li ol li,
#toc ol li > ol > li,
#toc ol li > ul > li,
#toc ul li > ol > li,
#toc ul li > ul > li {
  font-size:93%;
}