@import url("https://fonts.googleapis.com/css?family=Lato");
@import url("https://fonts.googleapis.com/css?family=Noto+Sans+Mono");
@import url("https://fonts.googleapis.com/css2?family=Red+Hat+Display:wght@500&display=swap");

@font-face {
    font-family: "Segoe UI Symbol";
    src:
        local("Segoe UI Symbol"),
        url(//c.s-microsoft.com/static/fonts/segoe-ui/west-european/symbol/latest.woff2) format("woff2"),
        url(//c.s-microsoft.com/static/fonts/segoe-ui/west-european/symbol/latest.woff) format("woff"),
        url(//c.s-microsoft.com/static/fonts/segoe-ui/west-european/symbol/latest.ttf) format("truetype");
    font-weight: 1100;
}

:root {
    --code-bg: #bebebe80;
    --code-font: "Noto Sans Mono", monospace;
    --code-size: calc(0.8 * var(--font-size));
    --font-size: 16px;
    --main-font: "Lato", sans-serif;
    --symbol-font: "Segoe UI Symbol", sans-serif;
    --nav-font: "Red Hat Display", sans-serif;
    --accent-color: #165fd2;
    --accent-hover: #043bcf;
    --accent-click: #022ca0;
    --accent-dark: #001399;
    --site-navy: #00144b;
    --site-dark: #00103d;
    --bg-color: #e8e8ed;
    --bg-alt: #dedede;
    --bg-hover: #d3d3d3;
    --bg-alt-hover: #c8c8ca;
    --fg-button-color: var(--accent-color);
    --fg-color: #000000;
    --input-color: #bdbdcc;
    --link-color: #2e4dd0;
    --contents-color: var(--accent-hover);
    --hr-color: #494953;
    --err-bg: #cf0808;
    --select-color: var(--accent-color);
}

@media (prefers-color-scheme: dark) {
    :root {
        --bg-color: #1a1a1a;
        --bg-alt: #262626;
        --bg-hover: #2f2f2f;
        --bg-alt-hover: #373737;
        --code-bg: #000000;
        --fg-button-color: white;
        --fg-color: #ffffff;
        --input-color: #494949;
        --link-color: #5ca6ff;
        --contents-color: var(--link-color);
        --hr-color: #aaaaaa;
        --err-bg: #590000;
    }
}

html {
    color: var(--fg-color);
    font-size: var(--font-size);
    font-family: var(--main-font);
    margin: 0;
    min-height: 100vh;
    tab-size: 8;
}

body {
    background: var(--bg-color);
    margin: 0;
    min-height: 100vh;
}

code, pre {
    background: var(--code-bg);
    font-size: var(--code-size) !important;
}

code {
    border-radius: 0.3em;
    font-family: var(--code-font) !important;
    margin: 0 !important;
    padding: 0.1em;
}

pre code {
    background: none;
}

pre {
    border: 1px solid #999;
    border-radius: 0.6em;
    margin: 2em;
    overflow: scroll;
    padding: 0.8em;
}

@media (prefers-color-scheme: dark) {
    pre {
        border: none;
    }
}

h1 {
    font-size: 2rem;
}

h2 {
    font-size: 1.5rem;
}

h3 {
    font-size: 1.2rem;
}

h1, h2, h3, h4, h5, h6 {
    font-weight: bold;
}

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

hr {
    border: 0;
    border-bottom: 1px solid var(--hr-color);
    margin: 20px 0;
}

select,
input {
    border: 1px solid #aaaaaa;
}

select {
    background: var(--input-color);
    color: var(--fg-color);
    font-family: var(--main-font);
}

input {
    background: var(--input-color);
    color: var(--fg-color);
    font-family: var(--main-font);
}

input[type=submit] {
    color: #ffffff;
}

summary:hover {
    cursor: pointer;
}

details.release div,
summary {
    background: var(--bg-hover);
    border-radius: 7px;
    margin-bottom: 10px;
    padding: 10px 12px;
}

.light-banner
details.release
div, summary {
    background: var(--bg-alt-hover);
}

details.release div {
    border-color: var(--fg-color);
    margin: 0 30px;
}

details.release div:first-child {
    margin-top: 30px;
}

details.release div:last-child {
    border-bottom: 1px solid var(--fg-color);
    margin-bottom: 30px;
}

details.release div * a {
    color: var(--fg-color);
    margin: 0;
    text-decoration: none;
}

details.release div * a:hover {
    text-decoration: underline;
}

details.release table {
    border: 1px solid var(--fg-color);
    border-spacing: 0;
    border-collapse: collapse;
    margin: 20px 0;
    width: 100%;
}

details.release table thead {
    background: var(--accent-color);
    color: white;
}

details.release table thead td {
    font-family: var(--nav-font);
}

details.release table td {
    border: 1px solid var(--fg-color);
    padding: 10px;
}

li {
    margin: 0.2em 0;
}

::selection {
    color: white;
    background: var(--select-color);
}

a.button,
input[type=submit],
input[type=file]::file-selector-button {
    border-radius: 5px;
    font-family: var(--main-font);
    font-size: 0.9rem;
    background: var(--accent-color);
    border: none;
    color: #ffffff;
    outline: 0 !important;
    padding: 7px 15px;
    text-decoration: none;
}

a.button:hover,
input[type=submit]:hover,
input[type=file]::file-selector-button:hover {
    transition: 0.2s;
    background: var(--accent-hover);
    cursor: pointer;
}

a.button:active,
input[type=submit]:active,
input[type=file]::file-selector-button:active {
    background: var(--accent-click);
    cursor: pointer;
}

input[type=file] {
    margin: 10px 5px 10px 0;
    background: var(--bg-color);
    border: none;
    font-family: var(--main-font);
    font-size: 0.9rem;
}

input:focus,
select:focus {
    outline-color: var(--accent-color);
}

nav {
    background: var(--site-dark);
    padding: 0.8em;
}

nav * {
    color: white;
    font-family: var(--nav-font);
    margin: 0 1em;
    text-decoration: none;
    vertical-align: middle;
}

nav a img {
    font-size: 1.2rem;
    margin: 0;
}

nav span {
    float: right;
    padding-top: 0.1em;
}

nav span a:hover {
    text-decoration: underline;
}

#home-banner {
    color: white;
    background-image: linear-gradient(50deg, var(--site-dark), var(--site-navy) 15%, var(--accent-hover));
    padding: 11em 20%;
}

#home-banner * {
    font-family: var(--nav-font);
}

#home-banner h3 {
    font-weight: normal;
}

#home-banner div {
    display: block;
    margin: 2em 0 0 0;
}

#home-banner div a {
    display: inline-block;
    margin: 0 1.5em 1em 0;
    padding: 10px 18px;
}

#top-banner {
    color: white;
    background-image: linear-gradient(50deg, var(--site-dark), var(--site-navy) 15%, var(--accent-hover));
    padding: 2.4em 15%;
}

#top-banner * {
    font-family: var(--nav-font);
}

#top-banner h3 {
    font-weight: normal;
}

#top-banner span input {
    margin: 0.5em 1.5em 0.5em 0;
    padding: 10px 18px;
}

.yellow-button {
    background: #a16a02 !important;
}

.yellow-button:hover {
    background: #8d5c01 !important;
}

.yellow-button:active {
    background: #794e00 !important;
}

.center-banner {
    padding: 5em 15%;
    text-align: center;
}

.center-banner * {
    font-family: var(--nav-font);
}

.center-banner h3 {
    font-weight: normal;
}

.center-banner img {
    margin: 3em 0 1em 0;
    width: 100%;
}

.left-banner {
    font-size: 100%;
    padding: 3em 15%;
    text-align: left;
}

.left-banner * {
    font-family: var(--main-font);
}

.left-banner h1,
.left-banner h2,
.left-banner h3,
.left-banner h4,
.left-banner h5,
.left-banner h6 {
    font-family: var(--nav-font);
}

.left-banner h3 {
    margin-top: 2em;
}

.left-banner img {
    margin: 2em 0 1em 0;
    width: 100%;
}

.light-banner {
    background: var(--bg-alt);
}

.row {
    display: flex;
    justify-content: space-around;
    flex-wrap: wrap;
    margin: 0;
}

.row > div {
    margin: 1em 0.3em;
}

@media (max-width: 768px) {
    nav span {
        display: none;
    }
    #home-banner br {
        margin-bottom: 0.7em;
    }
}

@media (min-width: 0) and (max-width: 479px) {
    #footer a,
    #footer sup {
        font-size: 8pt;
    }
    .row > div {
        flex: 50%;
        width: 100%;
    }
    #footer {
        padding: 1em 0 1em 10% !important;
    }
    #footer .row > div {
        max-width: 40%;
    }
}

@media (min-width: 480px) and (max-width: 767px) {
    #footer a,
    #footer sup {
        font-size: 9pt;
    }
    .row > div {
        min-width: max(168px, 70%);
    }
    #footer {
        padding: 1em 5% !important;
    }
    #footer .row > div {
        min-width: max(70px, 16%);
    }
}

@media (min-width: 768px) and (max-width: 1199px) {
    #footer a,
    #footer sup {
        font-size: 9pt;
    }
    .row > div {
        min-width: max(168px, 20%);
    }
    #footer {
        padding: 1em 7% !important;
    }
    #footer .row > div {
        min-width: max(70px, 16%);
    }
}

@media (min-width: 1200px) {
    #footer a,
    #footer sup {
        font-size: 10pt;
    }
    .row > div {
        min-width: max(70px, 16%);
    }
}

#footer .row {
    margin: 1em;
}

.installer {
    background: var(--bg-hover);
    border-radius: 10px;
    display: inline-block;
    padding: 0 1em;
}

.installer h3 {
    font-family: var(--nav-font);
    font-size: 110%;
    font-weight: normal;
    margin: 1em 0;
}

.installer ul {
    list-style: none;
    margin-bottom: 1em;
    padding: 0;
}

.installer ul li {
    background: var(--bg-color);
    border: 1px solid #777777;
    border-bottom: none;
    display: flex;
    justify-content: space-between;
    /*margin: 0.3em 0;*/
    margin: 0;
    padding: 0.3em 0.5em;
}

.installer ul li:first-child {
    border-radius: 10px 10px 0 0;
}

.installer ul li:last-child {
    border-radius: 0 0 10px 10px;
    border-bottom: 1px solid #777777;
}

.installer ul li span:first-child {
    font-size: 95%;
    padding-top: 0.3em;
}

.installer ul li span:last-child {
    float: right;
}

.installer ul li a {
    background: var(--accent-color);
    border: 1px solid #bbbbbb;
    border-left: none;
    color: white;
    display: inline-block;
    font-family: var(--symbol-font);
    font-weight: bold;
    height: 22px;
    padding: 0.2em 0.5em;
    text-align: center;
    text-decoration: none;
    width: 0.8em;
}

.installer ul li a:hover {
    background: var(--accent-hover);
    color: white;
}

.installer ul li a:active {
    background: var(--accent-click);
    color: white;
}

.installer ul li a:first-child {
    border-left: 1px solid #bbbbbb;
    border-radius: 7px 0 0 7px;
    font-weight: normal;
}

.installer ul li a:last-child {
    border-radius: 0 7px 7px 0;
}

#footer {
    color: white;
    background-image: linear-gradient(50deg, var(--site-dark), var(--site-navy) 15%, #022a94);
    padding: 1em 20%;
}

#footer * {
    color: white;
    font-family: var(--nav-font);
    text-decoration: none;
    vertical-align: middle;
}

#footer img {
    display: block;
    margin: 0 auto;
}

#footer hr {
    border-bottom: 1px solid #dddddd;
    margin-top: 2em;
}

#footer span {
    display: block;
    margin: 0.5em 0;
}

#footer a {
    text-decoration: none;
}

#footer span.external a {
    text-decoration: underline dotted;
}

#footer a:hover {
    text-decoration: underline;
}

#footer sup {
    margin: 0 0 0 1px !important;
    vertical-align: super !important;
}

#error {
    background: color-mix(in srgb, var(--site-dark) 10%, var(--bg-color));
    display: flex;
    align-items: center;
    justify-content: center;
    height: calc(100vh - 200px);
    text-align: center;
    width: 100vw;
}

#error h1 {
    border-radius: 50%;
    border: 5px solid var(--fg-color);
    display: inline-block;
    font-size: 5em;
    margin: 0.2em;
    user-select: none;
    width: 1.3em;
}

#error p {
    margin: 0 2em;
}

.documentation li {
    margin: 10pt 0;
}

.contents a {
    color: var(--contents-color);
}

.contents a,
.contents p {
    margin: 0;
    text-decoration: none;
}

.contents ul {
    list-style: none;
    margin: 0 auto;
}