body {
    font-size: 16px;
}
.navbar {
    background-color: #93C01F;
}
.wm-top-version {
    border: 0px solid #000000;
    border-radius: 3px;
    padding: 0px 0px;
    color: #000000;
    font-size: 11pt;
}
.wm-top-tool-expanded {
    background-color: #93C01F;
}
.btn-group-xs > .btn, .btn-xs {
    font-size: 14px;
}
.wm-toc-li.wm-current, .wm-toc-li.wm-current:hover {
    background-color: #93C01F;
}
.wm-toc-li-nested.wm-page-toc {
    font-size: 1.3rem;
}
.wm-toc-li-nested {
    max-width: 225px;
}
/*.wm-top-brand {
    font-size: 23px;
} */