@font-face {
    font-family: 'Open Sans';
    src: url('/fonts/opensans.woff2') format('woff2');
    font-display: block;
}
@font-face {
    font-family: 'Source Code Pro';
    src: url('/fonts/source-code-pro.woff2') format('woff2');
    font-display: block;
}
body,h1,h2,h3,h4,h5,h6,p,ul {
    margin: 0;
}
a {
    color: unset;
    text-decoration: unset;
}
body {
    font-family: 'Open Sans', sans-serif;
    background-color: #3cb371;
}
#banner, #navigation {
    background-color: #3cb371;
}
#banner {
    height: 64px;
    display: flex;
    flex-direction: row;
    align-items: center;
    padding: 16px 48px;
}
#logo-img {
    height: 64px;
}
#banner-buttons {
    flex-grow: 1;
    text-align: right;
}
#banner .button {
    font-weight: bold;
    margin-left: 4px;
    padding: 10px 24px;
    background-color: #f8f8f8;
    border-radius: 8px;
    box-shadow: 0px 0px 4px #00000080;
}
#banner .button:hover {
    background-color: #f0f0f0;
}
#banner .button:active {
    background-color: #f8f8f8;
    box-shadow: none;
}
#page {
    display: flex;
    flex-direction: row;
}
#navigation {
    min-width: 192px;
    min-height: calc(100vh - 97px);
    padding: 0px 32px;
    font-family: 'Source Code Pro';
    font-size: 11pt;
}
.nav-heading {
    font-family: 'Open Sans';
    font-size: 11.5pt;
    font-weight: 700;
}
.nav-section {
    list-style: none;
    padding: 0;
    margin-bottom: 4px;
}
#content {
    flex-grow: 1;
    padding: 24px 32px;
    background-color: #f8f8f8;
    border-top-left-radius: 4px;
    box-shadow: inset 0px 0px 4px #00000080;
    font-size: 11.5pt;
}
#content section {
    margin: 16px 0px;
}
#content a {
    color: #2d8238;
    text-decoration: none;
}
#content a:hover {
    color: #33b63f;
}
#content p, #content pre {
    margin: 0px 0px 8px;
}
#content pre, #content code {
    font-family: 'Source Code Pro', 'Courier New', Courier, monospace;
    font-size: 10pt;
    background-color: #e8e8e8;
}
#content code {
    padding: 0px 2px;
}
#content pre {
    padding: 4px 6px;
}
@media screen and (max-width: 750px) {
    #banner {
        padding: 16px 0;
        justify-content: center;
    }
    #banner-buttons {
        display: none;
        flex-grow: 0;
    }
    #banner-logo {
        text-align: center;
    }
    #navigation {
        display: none;
        min-width: 0;
        min-height: 0;
    }
    #content {
        padding: 12px 16px;
        border-radius: unset;
        font-size: 1.5rem;
    }
    #content pre, #content code {
        font-size: 1.25rem;
        white-space: unset;
        text-wrap: wrap;
    }
}