:root {
    --staex-dark-pacific-blue: rgb(0, 47, 59);
    --staex-golden-yellow: rgb(233, 221, 21);
    --staex-light-pacific-blue: rgb(0, 157, 196);
    --staex-medium-pacific-blue: rgb(0, 86, 104);
    --staex-metallic-gold: rgb(227, 220, 122);
    --staex-pacific-blue: rgb(0, 63, 78);
    --staex-stardust-silver: rgb(228, 233, 242);
    --staex-white: rgb(250, 250, 250);
    --staex-light-gray: rgb(240, 240, 240);
    --staex-red: rgb(234, 34, 22);
    --staex-green: rgb(0, 104, 86);
    --staex-gray: rgb(128, 128, 128);
    --staex-link: var(--staex-light-pacific-blue);
    --staex-logo: url("/favicon.svg");
}

html {
    font-family: Roboto, sans;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
}

body {
    font-size: 14pt;
    font-weight: 300;
    line-height: 1.5;
    margin: 4px;
    hyphens: auto;
}

a {
    text-decoration: underline;
}

a:link,
a:visited,
a:active {
    color: var(--staex-link);
}

a:hover {
    color: var(--staex-link);
}

button a:hover,
button a:link,
button a:visited,
button a:active {
    color: var(--staex-dark-pacific-blue);
}

* {
    margin: 0;
    padding: 0;
}

.logo a,
button a {
    text-decoration: none;
}

.logo {
    width: 2rem;
    height: 2rem;
    background: no-repeat var(--staex-logo);
}

.logo h1 {
    padding: 0;
    margin: 2rem 0 0 0;
    font-size: 2rem;
    hyphens: none;
    font-weight: 500;
    display: inline;
    vertical-align: middle;
}

.logo {
    display: inline-block;
    vertical-align: middle;
}

pre a:visited,
pre a:active,
pre a:link {
    color: var(--staex-dark-pacific-blue);
}

pre a:hover {
    color: var(--staex-light-pacific-blue);
}

.strut {
    width: 0;
    height: 4rem;
    display: inline-block;
    vertical-align: middle;
    background-color: #000000;
}

nav {
    font-size: 1.25rem;
    color: var(--staex-dark-pacific-blue);
}

footer {
    font-size: 8pt;
    margin-top: 4rem;
}

.container {
    clear: both;
    max-width: 1280px;
    margin: 0 auto;
}

h1 {
    padding: 0;
    margin: 1.5rem 0 0 0;
    font-size: 2rem;
    hyphens: none;
    font-weight: 500;
}

h2 {
    padding: 0;
    font-size: 1.5rem;
    margin: 1.5rem 0 1rem 0;
    hyphens: none;
    font-weight: 500;
}

h2:first-child {
    margin: 0;
}

h3 {
    padding: 0;
    font-size: 1.25rem;
    margin: 0.5rem 0 0 0;
    hyphens: none;
    font-weight: 500;
}

h4 {
    padding: 0;
    font-size: 1.125rem;
    margin: 0.25rem 0 0 0;
    hyphens: none;
    font-weight: 500;
}

p {
    text-align: justify;
    margin: 0 0 0.5rem 0;
    padding: 0;
}

li {
    text-align: justify;
}

pre,
code {
    font-family: "Roboto Mono", monospace;
    hyphens: none;
    margin: 0.5rem 0 0.5rem 0;
}

pre {
    /*
    color: var(--staex-dark-pacific-blue);
    padding: 8px;
*/
    /*
    margin: 0;
    overflow-x: scroll;
    white-space: pre;
    tab-size: 4;
    -moz-tab-size: 4;
    -o-tab-size: 4;
    text-align: left;
    display: inline-block;
    max-width: calc(100% - 2 * 8px);
    */
}

pre > code {
    border-radius: 8px;
}

.menu-platform {
    list-style-type: none;
    vertical-align: middle;
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
    align-items: center;
}

.menu-platform label {
    margin-left: 1rem;
    margin-right: 0.5rem;
}

.menu-platform label,
.menu-platform select {
    display: inline-block;
    vertical-align: middle;
}

@media screen and (max-width: 1280px) {
    nav {
        margin-left: 0rem;
    }
    nav li,
    footer li {
        display: block;
        margin-right: 1rem;
        vertical-align: middle;
    }
    footer ul {
        display: block;
        margin-left: 0px;
        vertical-align: middle;
    }
}

@media screen and (min-width: 1280px) {
    nav {
        width: 1280px;
        margin: 0 auto;
    }
    nav li,
    footer li {
        display: inline-block;
        margin-right: 0rem;
    }
    footer li:not(:last-child) {
        margin-right: 1rem;
    }
    footer ul {
        display: inline-block;
        margin-left: 0px;
    }
}

.navigation {
    display: flex;
    justify-content: left;
    align-items: left;
    flex-wrap: wrap;
}

.navigation > div {
    margin: 0.5rem;
}

.navigation ul {
    list-style-type: none;
}

.navigation ul li {
    font-size: 1.25rem;
    hyphens: none;
    text-align: left;
}

button {
    border-radius: 30px;
    padding: 10px 20px 10px 20px;
    background: var(--staex-metallic-gold);
    color: var(--staex-dark-pacific-blue);
    border: none;
    outline: none;
    cursor: pointer;
    font-weight: 500;
    font-size: 100%;
}

pre.tab {
}

pre.unselected {
    display: none;
}

.hljs-built_in {
    color: var(--staex-light-pacific-blue) !important;
    font-weight: 500;
}

.hljs-comment {
    color: var(--staex-gray) !important;
}

label {
    display: block;
}

select {
    border-radius: 30px;
    padding: 10px 20px 10px 20px;
    background: var(--staex-light-gray);
    color: var(--staex-dark-pacific-blue);
    border: none;
    outline: none;
    cursor: pointer;
    font-weight: 300;
}

.subcommand {
    margin-left: 2rem;
}

table {
    border: 0;
    background: var(--staex-light-gray);
    border-radius: 30px;
    padding: 10px 15px 10px 15px;
}

th {
    font-weight: 500;
    text-align: left;
}

td,
th {
    padding-left: 5px;
    padding-right: 5px;
}

table.matrix td:not(:first-child) {
    text-align: center;
}

figure {
    margin: 2rem 0;
}

figure img {
    max-width: calc(100vw - 2 * 4px);
    background: var(--staex-white);
    padding: 16px;
    border-radius: 16px;
}

figcaption {
    font-size: small;
}

.center {
    text-align: center;
}

.staex-warning {
    background: var(--staex-stardust-silver);
    display: inline-block;
    border-radius: 20px;
    padding: 10px 20px;
}

/* mdbook color themes */

.light {
    --bg: var(--staex-white);
    --fg: var(--staex-dark-pacific-blue);

    --sidebar-bg: var(--staex-stardust-silver);
    --sidebar-fg: var(--staex-dark-pacific-blue);
    --sidebar-non-existant: var(--staex-gray);
    --sidebar-active: var(--staex-medium-pacific-blue);
    --sidebar-spacer: var(--staex-gray);

    --scrollbar: var(--staex-gray);

    --icons: var(--staex-dark-pacific-blue);
    --icons-hover: var(--staex-dark-pacific-blue);

    --links: var(--staex-light-pacific-blue);

    --inline-code-color: var(--staex-dark-pacific-blue);

    --theme-popup-bg: var(--staex-stardust-silver);
    --theme-popup-border: none;
    --theme-hover: var(--staex-metallic-gold);

    --quote-bg: var(--staex-stardust-silver);
    --quote-border: var(--staex-dark-pacific-blue);

    --warning-border: var(--staex-metallic-gold);

    --table-border-color: var(--staex-dark-pacific-blue);
    --table-header-bg: var(--staex-white);
    --table-alternate-bg: var(--staex-stardust-silver);

    --searchbar-border-color: var(--staex-stardust-silver);
    --searchbar-bg: var(--staex-white);
    --searchbar-fg: var(--staex-dark-pacific-blue);
    --searchbar-shadow-color: transparent;
    --searchresults-header-fg: var(--staex-dark-pacific-blue);
    --searchresults-border-color: var(--staex-stardust-silver);
    --searchresults-li-bg: var(--staex-stardust-silver);
    --search-mark-bg: var(--staex-metallic-gold);

    --color-scheme: light;

    --staex-link: var(--staex-light-pacific-blue);
    --staex-logo: url("/favicon.svg");
}

.navy {
    --bg: var(--staex-dark-pacific-blue);
    --fg: var(--staex-white);

    --sidebar-bg: var(--staex-dark-pacific-blue);
    --sidebar-fg: var(--staex-stardust-silver);
    --sidebar-non-existant: var(--staex-gray);
    --sidebar-active: var(--staex-metallic-gold);
    --sidebar-spacer: var(--staex-gray);

    --scrollbar: var(--staex-gray);

    --icons: var(--staex-white);
    --icons-hover: var(--staex-white);

    --links: var(--staex-metallic-gold);

    --inline-code-color: var(--staex-white);

    --theme-popup-bg: var(--staex-dark-pacific-blue);
    --theme-popup-border: none;
    --theme-hover: var(--staex-metallic-gold);

    --quote-bg: var(--staex-dark-pacific-blue);
    --quote-border: var(--staex-dark-pacific-blue);

    --warning-border: var(--staex-metallic-gold);

    --table-border-color: var(--staex-stardust-silver);
    --table-header-bg: var(--staex-dark-pacific-blue);
    --table-alternate-bg: var(--staex-stardust-silver);

    --searchbar-border-color: var(--staex-stardust-silver);
    --searchbar-bg: var(--staex-dark-pacific-blue);
    --searchbar-fg: var(--staex-white);
    --searchbar-shadow-color: transparent;
    --searchresults-header-fg: var(--staex-white);
    --searchresults-border-color: var(--staex-stardust-silver);
    --searchresults-li-bg: var(--staex-dark-pacific-blue);
    --search-mark-bg: var(--staex-metallic-gold);

    --color-scheme: dark;

    --staex-link: var(--staex-metallic-gold);
    --staex-logo: url("/svg/logo-inv.svg");
}

#ai-question {
    width: 100%;
    box-sizing: border-box;
    padding: 8px 12px;
    border: 1px solid #ccc;
    border-radius: 10px;
    font: inherit;
    resize: vertical;
    min-height: 100px;
    margin-top: 20px;
    margin-bottom: 10px;
}

#ai-answer {
    margin-top: 30px;
    white-space: pre-wrap;
}
