ECMA-262 dark mode by fabiosantoscode

/* ==UserStyle==
@name           262.ecma-international.org - 09/03/2023, 18:24:37
@namespace      github.com/openstyles/stylus
@version        1.0.0
@description    A new userstyle
@author         Me
==/UserStyle== */
@-moz-document domain("262.ecma-international.org") {
    body {
        color: #efe5dc;
        background: #1e1e1f;
    }

    #spec-container {
        max-width: 65ch;
    }

    h1.title img {
        filter: invert() hue-rotate(180deg);
    }

    a,
    a:visited,
    a:hover {
        color: #57adef;
    }
    var {
        color: #1bddcd;
    }
    emu-opt {
        color: #ebb50e;
    }
    emu-note {
        background: #1e201e;
    }
    emu-params,
    emu-constraints {
        color: #1ddccd;
    }
    ins {
        background-color: #332d01;
        color: white;
    }

    emu-nt a,
    emu-nt a:visited {
        color: inherit;
    }

    emu-production:not([collapsed]) emu-rhs:hover {
        background-color: unset;
    }

    emu-table th,
    emu-table td {
        background-color: unset;
    }

    emu-table th,
    emu-table td {
        background-color: #333;
        border-color: #ccc;
    }

    figure figcaption {
        color: #bababa;
    }

    #menu {
        font-size: 0.8rem;
        font-family: sans-serif;
        background: inherit;
        width: 28%;
    }

    #menu a {
        color: #179bfa;
    }

    .menu-pane-header {
        background-color: unset;
        color: #f0f0f5;
    }

    #menu-pins-list > li::before {
        background-color: unset;
    }

    #menu-toc li.revealed > a {
        background-color: #050505;
    }

    [normative-optional],
    [legacy] {
        background: #100f0e;
    }
}