body {
    --bkg-color: #fff;
    --text-color: #222;
    --c1-color: #155569;
    --c2-color: #684514;
    --codes-navbar-color: #dcdcdc;
    --codes-navbar-active-color: #c0c0c0;
}
body.dark-theme {
    --bkg-color: #121212;
    --text-color: #eee;
    --c1-color: #8cc6d8;
    --c2-color: #d4b07f;
    --codes-navbar-color: #3c3c3c;
    --codes-navbar-active-color: #4b4b4b;
}

@media (prefers-color-scheme: dark) {
    /* defaults to dark theme */
    body {
        --bkg-color: #121212;
        --text-color: #eee;
        --c1-color: #8cc6d8;
        --c2-color: #d4b07f;
        --codes-navbar-color: #3c3c3c;
        --codes-navbar-active-color: #4b4b4b;
    }
    body.light-theme {
        --bkg-color: #fff;
        --text-color: #222;
        --c1-color: #155569;
        --c2-color: #684514;
        --codes-navbar-color: #dcdcdc;
        --codes-navbar-active-color: #c0c0c0;
    }
}

* {
    font-family: Arial, Helvetica, sans-serif;
}

html {
    height: 100%;
    background: var(--bkg-color);
    color: var(--text-color);
}


body:before {
    content: "";
    position: fixed;
    background: var(--bkg-color);
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
    height: 0.9em;
}

body {
    background: var(--bkg-color);
    color: var(--text-color);
    margin-top: 0.0em;
    padding-left: 14.5em;
    padding-right: 0.6em;
    font-size: 90% !important;
    letter-spacing: 0.01em;
    height: auto !important;
    min-height: 100%;
    height: 100%;
    line-height: 1.5em;
}

ul.navbar {
    list-style-type: none;
    padding: 0;
    margin: 0;
    position: fixed;
    top: 0.8em;
    left: 0.6em;
    width: 13em;
    font-size: 110% !important;
}

ul.navbar li {
    margin: 0.5em 0;
    padding: 0.2em;
}

ul.codes_navbar {
    background-color: var(--codes-navbar-color);
    list-style-type: none;
    padding: 0;
    margin: 0;
    position: fixed;
    top: 0.8em;
    width: 100%;
    font-size: 110% !important;
}

ul.codes_navbar li {
    float: left;
}

ul.codes_navbar li a {
    display: block;
    text-align: center;
    padding: 14px 16px;
    text-decoration: none;
}

ul.codes_navbar li a:hover:not(.codes_navbar_active) {
    background-color: var(--bkg-color);
}

.codes_navbar_active {
    background-color: var(--codes-navbar-active-color);
}

p {
    margin-top: 5px;
    margin-bottom: 15px;
    padding: 0px;
}

h1,
h2,
h3,
h4,
h5,
h6 {
    color: var(--c1-color);
    letter-spacing: 0.05em;
    font-style: normal;
    font-weight: normal;
    line-height: 1.1em
}

h1 {
    font-size: 2.0em;
    padding-bottom: 10px
}

h2 {
    font-size: 1.6em
}

h3 {
    font-size: 1.2em;
    font-weight: bold
}

h4 {
    font-size: 1.0em;
    font-weight: bold;
    letter-spacing: 0.05em
}

h5 {
    font-size: 0.9em;
    font-style: italic
}

h6 {
    font-size: 0.9em;
    font-weight: normal;
    font-style: italic
}

a {
    color: var(--c1-color);
    text-decoration: none;
}

a:visited {
    color: var(--c1-color);
    text-decoration: none;
}

a:hover {
    color: var(--c2-color);
    text-decoration: underline;
}

a:active {
    color: var(--c1-color);
    text-decoration: none;
}

hr {
    height: 0
}

sup, sub {
    height: 0;
    line-height: 1;
    vertical-align: baseline;
    _vertical-align: bottom;
    position: relative;
    font-size: 0.8em
}

sup {
    bottom: 1ex
}

sub {
    top: .5ex
}

.holds-the-iframe {
    background:url(loader.gif) no-repeat;
}