.show-office-button.selected {
    color: navy;
    font-weight: bold;
}

div.content .nav {
    padding: 0px;
    margin:0px;
    border-bottom: 1px dotted gray;
}

div.content .nav span {
    cursor: pointer;
}

div.content h1 {
    margin-bottom:0px;
    font-size: 130%;
    border-bottom: 1px dotted gray;
}

div.content h2 {
    font-size: 110%;
}

div.content h3 {
    font-size: 100%;
}

/*changes*/
html,
body {
    height: 100%;
}


li.current a { font-weight:bold; xcolor:red !important; }