/* main */
:root {
    --primaryColor: #00ff00;
    --secondaryColor: #00a600;
    --col: #d5653d;
}

button, input, textarea, .monospace, .ms {
    font-family: monospace;
}

html {
    font-family: system-ui, sans-serif;
}

pre {
    white-space: pre-wrap;
    overflow-wrap: break-word;
    word-break: break-all;
}

table {
    width: 100%;
    border-collapse: collapse;
}

table.flow-width {
    width: unset;
}

th, td {
    border: 3px solid #7c7c7c;
    text-align: left;
    padding: 8px;
    box-sizing: border-box;
    height: 100%;
}

nav.topnav {
    color: #424242;
    background-color: currentColor;
    box-sizing: content-box;
    height: calc(4.4em + 4px);
    border-bottom: 4px solid #00ff00;

    > div {
        display: flex;
        flex-wrap: nowrap;
        align-items: center;
        flex-direction: row;
        height: 100%;
        position: relative;
        margin: auto;
        width: 88%;
        box-sizing: border-box;
        overflow: auto hidden;

        > div {
            border-width: 4px;
            border-style: solid;
            padding: 0.2em;
            width: 4em;
            height: 4em;;
            border-bottom: none;

            > a > img {
                width: 4em;
                height: 4em;
            }
        }
    }
}

ul.examples > li, .li-margin1 li, .dd-margin1 dd, .dd-margin1 dt {
    margin-top: 1em;
    margin-bottom: 1em;
}

.TableOfContents li, .li-margin05 li, .dd-margin05 dd, .dd-margin05 dt {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

.dd-margin25 dd, .dd-margin25 dt {
    margin-top: 0.25em;
    margin-bottom: 0.25em;
}

/* sl = single line */
code.sl, .sl code, var.sl, .sl var {
    font-family: monospace;
    background-color: #dcdcdc;
    border: 1px solid #dcdcdc;
}

@media (prefers-color-scheme: dark) {
    code.sl, .sl code, var.sl, .sl var {
        background-color: #4e4e4e;
        border: 1px solid #4e4e4e;
    }
}

ol.TableOfContents, ol.TableOfContents ol, ul.TableOfContents, ul.TableOfContents ul {
    padding-left: 2.5ch;
}

body nav:first-child {
    font-family: monospace;
}