a {
    line-height: inherit;
    color: #708090;
    text-decoration: none;
    cursor: pointer;
}

.menu .active>a, .toc-block>ul .active>a, .toc-block ul ul .active>a {
    background: #708090;
    color: #fefefe;
}

.button, [class^=numeric-] label.numeric-toggle-time.button, [class^=numeric-] label.numeric-toggle-time[type=submit], [class^=numeric-] label.numeric-toggle-time[type=button], [class*=numeric-] label.numeric-toggle-time.button, [class*=numeric-] label.numeric-toggle-time[type=submit], [class*=numeric-] label.numeric-toggle-time[type=button], .site-page-pagination>a, [type=submit], [type=button], .button.disabled, .button[disabled], .button.disabled:hover, .button[disabled]:hover, .button.disabled:focus, .button[disabled]:focus {
    background-color: #708090;
    color: #fefefe;
}

h1.site-title, .h4 {
    font-size: 1.9rem;
}

h2, .h2 {
    font-size: 1.9rem;
}

header {
    border-top: 1rem solid #191970;
}