/*
 * Monitoring Plugins style sheet.
 *
 * Color scheme:
 *
 * - See <http://colorschemedesigner.com/#3y21T--rOw0w0>.
 * - Additionally, we use the CSS color "dimgray" (#696969) for stuff like the
 *   breadcrumb navigation and the footer.
 *
 * Font faces:
 *
 * - CSS generated by <https://gwfh.mranftl.com/fonts>.
 */

/* bitter-regular - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Bitter';
    font-style: normal;
    font-weight: 400;
    src: url('fonts/bitter-v32-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/bitter-v32-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* bitter-italic - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Bitter';
    font-style: italic;
    font-weight: 400;
    src: url('fonts/bitter-v32-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/bitter-v32-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* bitter-700 - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Bitter';
    font-style: normal;
    font-weight: 700;
    src: url('fonts/bitter-v32-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/bitter-v32-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* bitter-700italic - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Bitter';
    font-style: italic;
    font-weight: 700;
    src: url('fonts/bitter-v32-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/bitter-v32-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* source-sans-pro-regular - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Source Sans Pro';
    font-style: normal;
    font-weight: 400;
    src: url('fonts/source-sans-pro-v21-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/source-sans-pro-v21-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* source-sans-pro-italic - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Source Sans Pro';
    font-style: italic;
    font-weight: 400;
    src: url('fonts/source-sans-pro-v21-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/source-sans-pro-v21-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* source-sans-pro-700 - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Source Sans Pro';
    font-style: normal;
    font-weight: 700;
    src: url('fonts/source-sans-pro-v21-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/source-sans-pro-v21-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* source-sans-pro-700italic - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Source Sans Pro';
    font-style: italic;
    font-weight: 700;
    src: url('fonts/source-sans-pro-v21-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/source-sans-pro-v21-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* source-code-pro-regular - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Source Code Pro';
    font-style: normal;
    font-weight: 400;
    src: url('fonts/source-code-pro-v22-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/source-code-pro-v22-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* source-code-pro-italic - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Source Code Pro';
    font-style: italic;
    font-weight: 400;
    src: url('fonts/source-code-pro-v22-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/source-code-pro-v22-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* source-code-pro-700 - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Source Code Pro';
    font-style: normal;
    font-weight: 700;
    src: url('fonts/source-code-pro-v22-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/source-code-pro-v22-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

/* source-code-pro-700italic - latin */
@font-face {
    font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: 'Source Code Pro';
    font-style: italic;
    font-weight: 700;
    src: url('fonts/source-code-pro-v22-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */
         url('fonts/source-code-pro-v22-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

:root {
    --color-bg: #fff;
    --color-text: #222;
    --color-heading: #004e8f;
    --color-link: #3283c7;
    --color-muted: #696969;
    --color-border: #ccc;
    --color-menu-bg: #1b476b;
    --color-menu-text: #fff;
    --color-menu-current-bg: #5a95c7;
    --color-menu-hover: #eeb76b;
}

@media (prefers-color-scheme: dark) {
    /*
     * Loosely based on:
     *
     * https://material.io/archive/guidelines/style/color.html#color-themes
     */
    :root {
        --color-bg: #212121;
        --color-text: #eee;
        --color-heading: #eee;
        --color-link: #7ab8ea;
        --color-muted: #aaa;
        --color-border: #444;
    }
}

@media (prefers-reduced-motion: reduce) {
    * {
        transition-duration: 0.01ms !important;
    }
}

html {
    font-size: 112.5%;
}

body {
    font-family: "Source Sans Pro", sans-serif;
    text-rendering: optimizeLegibility;
    background-color: var(--color-bg);
    color: var(--color-text);
    line-height: 1.65;
}

h1, h2, h3, h4, h5, h6 {
    color: var(--color-heading);
    font-family: "Bitter", serif;
    line-height: 1.3;
    margin: 1.4em 0 0.5em;
}

div#content h1:first-child,
div#content h2:first-child,
div#content h3:first-child {
    margin-top: 0;
}

div#content p,
div#content ul,
div#content ol,
div#content dl,
div#content table {
    margin: 0 0 1.2em;
}

code, kbd {
    font-family: "Source Code Pro", monospace;
    white-space: pre;
}

pre {
    font-family: "Source Code Pro", monospace;
    font-size: small;
    line-height: 1.5;
}

div#page {
    max-width: 45em;
    margin: 1em auto;
}

div#menu {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    padding: 0.5em 1em;
    background-color: var(--color-menu-bg);
    font-weight: bold;
    line-height: 1.2;
}

div#menu-button-wrap {
    display: none;
}

nav#menu-items {
    display: flex;
    flex-wrap: wrap;
}

nav#menu-items span {
    padding: 0.4em 0.75em;
}

nav#menu-items span#current {
    color: #fff;
    background-color: var(--color-menu-current-bg);
    border-radius: 0.3em;
}

nav#menu-items a {
    color: var(--color-menu-text);
    text-decoration: none;
    transition: color 0.3s;
}

nav#menu-items a:hover {
    color: var(--color-menu-hover);
}

div#feed-buttons {
    margin-left: auto;
}

div#feed-buttons a img {
    margin-right: 0.625em;
    border-style: none;
}

div#breadcrumb {
    padding: 1em 1em 0.2em;
    color: var(--color-muted);
    font-size: small;
}

div#breadcrumb span#release {
    float: right;
    font-weight: bold;
}

div#content {
    padding: 0.6em 1em 1em;
}

div#footer {
    padding: 1em;
    color: var(--color-muted);
    text-align: center;
    font-size: small;
    line-height: 150%;
}

div#content a,
div#breadcrumb a,
div#footer a {
    color: var(--color-text);
    text-decoration: underline;
    text-decoration-color: var(--color-muted);
    text-decoration-thickness: 1px;
    text-underline-offset: 3px;
    transition: text-decoration-color 0.22s ease;
}

div#content a:hover,
div#content a:focus-visible,
div#breadcrumb a:hover,
div#breadcrumb a:focus-visible,
div#footer a:hover,
div#footer a:focus-visible {
    text-decoration-color: var(--color-text);
}

div#content a:focus-visible,
div#breadcrumb a:focus-visible,
div#footer a:focus-visible {
    outline: 2px solid var(--color-text);
    outline-offset: 4px;
    border-radius: 2px;
}

p#news-footer {
    color: var(--color-muted);
    text-align: center;
    font-size: small;
}

@media (max-width: 45em) {
    div#footer span#copyright {
        display: none;
    }
}

/*
 * Nginx Fancy Index.
 */
table {
    font-family: "Source Code Pro", monospace;
    font-size: small;
}

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

table a:hover {
    color: var(--color-link); /* Overwrite Fancy Index CSS. */
}

img.travis {
    vertical-align: sub;
}

/*
 * On narrow displays, replace the menu bar with a simple list of items.
 * Browsers that don't support :has() just keep this list always expanded,
 * which is still perfectly usable; browsers that do support it get a real
 * collapsible hamburger menu (below).
 */

@media (max-width: 45em) {
    div#menu {
        padding: 0.625em 1em;
        background-color: inherit;
        border-bottom: 1px dotted var(--color-border);
    }

    nav#menu-items {
        flex-direction: column;
        width: 100%;
        order: 3;
    }

    nav#menu-items span {
        display: block;
        padding: 0.75em 0;
    }

    nav#menu-items span + span {
        border-top: 1px dotted var(--color-border);
    }

    nav#menu-items span#current {
        color: var(--color-menu-current-bg);
        background-color: inherit;
    }

    nav#menu-items a {
        color: var(--color-heading);
    }
}

@supports selector(:has(a)) {
    @media (max-width: 45em) {
        div#menu-button-wrap {
            display: grid;
            order: 1;
            width: 1.75em;
            height: 1.75em;
            place-items: center;
        }

        div#feed-buttons {
            order: 2;
        }

        div#menu-button-wrap > * {
            grid-area: 1 / 1;
        }

        input#menu-toggle {
            width: 100%;
            height: 100%;
            margin: 0;
            opacity: 0;
            cursor: pointer;
        }

        input#menu-toggle:focus-visible ~ label#menu-button {
            outline: 2px solid var(--color-heading);
        }

        label#menu-button {
            position: relative;
            width: 100%;
            height: 100%;
            pointer-events: none;
        }

        label#menu-button span,
        label#menu-button::before,
        label#menu-button::after {
            content: "";
            position: absolute;
            left: 0;
            right: 0;
            height: 2px;
            background-color: var(--color-heading);
            transition: transform 0.2s, top 0.2s, opacity 0.2s;
        }

        label#menu-button span {
            top: 50%;
        }

        label#menu-button::before {
            top: calc(50% - 0.55em);
        }

        label#menu-button::after {
            top: calc(50% + 0.55em);
        }

        nav#menu-items {
            display: none;
            margin-top: 0.75em;
        }

        div#menu:has(input#menu-toggle:checked) nav#menu-items {
            display: flex;
        }

        div#menu:has(input#menu-toggle:checked) label#menu-button span {
            opacity: 0;
        }

        div#menu:has(input#menu-toggle:checked) label#menu-button::before {
            top: 50%;
            transform: rotate(45deg);
        }

        div#menu:has(input#menu-toggle:checked) label#menu-button::after {
            top: 50%;
            transform: rotate(-45deg);
        }
    }
}