h1 {
  font-size: 12px;
  font-weight: bold;
  color: #000099;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  margin-bottom: 4px;
}
ul.menu {
    font-size: 12px;
    line-height: 16px;
    font-family: tahoma;
    margin: 0;
    padding: 0;
}
ul.menu ul {
    margin: 0 0 0 20px;
    padding: 2px 0 0 0;
}
ul.menu li {
    list-style-type: none;
    margin: 0;
    padding: 0;
}
ul.menu li.section {
    background-image: url("media/folder.gif");
    background-repeat: no-repeat;
    background-position: top left;
    padding-top: 1px;
    padding-bottom: 1px;
}
ul.menu li.section-open {
    background-image: url("media/folder-open.gif");
    background-repeat: no-repeat;
    background-position: top left;
    padding-top: 1px;
    padding-bottom: 1px;
}
ul.menu li.box {
    background-image: url("media/doc.gif");
    background-repeat: no-repeat;
    background-position: top left;
    padding-top: 1px;
    padding-bottom: 1px;
}
ul.menu a {
    margin-left: 20px;
    color: #0000ff;
    text-decoration: none;
    white-space: nowrap;
}
ul.menu a:hover {
    margin-left: 20px;
    color: #0000ff;
    text-decoration: underline;
    white-space: nowrap;
}