polyml poly docs dark mode by f11

/* ==UserStyle==
@name         polyml poly docs dark mode
@version      20220807.21.06
@namespace    userstyles.world/user/f11
@description  dark mode (+ monospace font for nicer code) for polyml's docs about the poly programming language
@author       f11
@license      No License
==/UserStyle== */

@-moz-document url-prefix("https://www.polyml.org/documentation/Papers/poly/overview.html") {
:root {
    --col-bg1: #0d1117;
    --col-fg1: #c9d1d9;
}

body {
    background-color: var(--col-bg1);
    color: var(--col-fg1);
    font-family: monospace;
    margin: auto;
    max-width: 80ch;
    padding: 15px;
}

font {
    font: inherit;
}
}