table.index {
    width: 100%;
}

td.index {
    align: center;
    vertical-align: top;
}

table.index_base_level {
    width: 100%;
    border: 1px solid navy;
}

td.index_tree {
    padding: 0px;
}

a.index_sub_level {
    font-face: Verdana, sans-serif;
    color: navy;
}

a.index_simple {
    font-family: Trebuchet MS, Verdana, sans-serif;
    font-weight: bold;
    color: navy;
}

ul.index_sub_level {
    margin-top: 0px;
    margin-bottom: 0px;
}