@IMPORT url("../doclet.css");

table.info .TableCaption, td.NavBarCell1 {
 background: #EEEEEE;
}

td.NavBarCell1 table th.selected {
 background-color: #61911B;
}

img.logo {
 margin: 1em;
 border: none;
}

a {
 color: #61911B;
}

a:visited {
 color: #3F5E12;
}