nlab dark mode by nilesjohnson

/* ==UserStyle==
@name           nlab dark mode
@namespace      github.com/openstyles/stylus
@version        1.1.1
@description    nlab dark mode
@author         Niles Johnson
==/UserStyle== */

/* ==ChangeLog==
2023-01-09: background for pre blocks

2023-01-06: bump version to try to trigger updates; add this changelog

2022-12-19: I learned about inverting svg from this alternative: https://userstyles.org/styles/198118/nlab-simple-dark-theme

I've made a few more improvements so that more tex and diagrams show up correctly.

2022-11-29: Initial version 1.0.0. Just something simple I threw together quickly. Improvements welcome.

==/ChangeLog== */
@-moz-document url-prefix("https://ncatlab.org/nlab/") {
    /* nlab styles  */
    body {
        background-color: #222;
        color: #eef;
    }

    a.existingWikiWord,
    a.existingWikiWord:visited,
    a.existingWikiWord[title],
    a.existingWikiWord[title]:visited,
    h1#pageName,
    .maruku_toc li a,
    .maruku_toc li a:visited, 
     div.revisedby a {
        color: #9fc !important;
    }

    .newWikiWord,
    .newWikiWord a,
    .newWikiWord a:visited {
        background-color: #cfc !important;
        color: #262 !important;
    }

    a,
    a:visited,
    a[href^="http://"],
    a[href^="http://"]:visited,
    a[href^="https://"],
    a[href^="https://"]:visited,
    .rightHandSide h2 {
        color: #eea !important;
    }

    #pageName > span.webName,
    h1#contents,
    h1,
    h2,
    h3,
    h4,
    h5,
    h6 {
        color: #eef;
    }

    div.query {
        background-color: #444;
    }

    div.info,
    div.standout,
    input,
    input[type="text"]#searchField {
        background-color: #000;
        color: #ddd;
    }
    
    pre {
        background-color: #444;
    }
    
    svg,img {
        filter: invert(100%) !important;
    }
    
    :target {
        /* highlight targets of on-page #anchor links */
        background-color: #555;
        border-radius: 5pt;
    }
    
    div.rightHandSide {
        border-left-color: #555;
        border-bottom-color: #555;
    }
    
    .navigation a {
        color: #888 !important;
    }
}