div.details {
  font-size: 80%;
}

div.desc {
  font-size: 90%;
}

div.title a {
  color: black;
  text-decoration: none;
  font-weight: bold;
}

div.nav a, ul.toc a {
  text-decoration: none;
}

a img {
  border: none;
}

div.nav {
  font-size: 90%;
}

ul.toc {
  list-style: none;
}

ul.toc ul.toc {
}

ul.toc li.folder_closed {
  list-style-image: url("../images/folder_closed-12x12.png");
}

ul.toc li.folder_alias {
  list-style-image: url("../images/folder_alias-12x12.png");
}