nLab Dark by paoloperrone

/* ==UserStyle==
@name         nLab Dark
@namespace    USO Archive
@author       Paolo Perrone 
@description  Accessible dark them for the nLab (ncatlab.org). Derived from Jack Crawford's nLab simple dark theme.
@version      1.1
@license      CC0-1.0
@preprocessor uso
==/UserStyle== */
@-moz-document url-prefix(https://ncatlab.org/) {
           
    /* BASIC TEXT AND BACKGROUND COLORS */
      
    html, body {
        background-color: hsl(198, 30%, 10%);
        color: #fffe;
        font-size: 18px;
    }
    
    h1#pageName,
    h1,h2,h3,h4,h5,h6,
    .rightHandSide h2, .rightHandSide h3, .rightHandSide h4, .rightHandSide h5, .rightHandSide h6 {
        color: #fffe;
    }
    
    /* Inverting the colors of commutative diagrams, string diagrams, etc. */
    svg, img[src*="ncatlab.org/"] {
        filter: invert(100%) hue-rotate(180deg); /* inverts luminance, keeps hue (but tends to desaturate -- CSS limitation, sorry) */
        mix-blend-mode: screen; /* makes sure that nothing is darker than the background */
        opacity: 98%;
    }
    
    
    /* LOGO */
    
    #pageName svg {
        filter: contrast(0) brightness(2) opacity(0.9) !important;
    } /* to colorize, sepia hue is about 38.5 deg, then rotate */
    #pageName > span.webName {
    color: #fffe !important;
    font-family: Sans-Serif;
    font-weight: normal;
    }
    
    
    /* LINKS */
    
    /* General links */
    a, a:visited,
    .navigation a, .navigation a:visited
    {
        color: #fffa !important;
        background-color: transparent !important;
        text-decoration: underline !important;
    }
    
    /* The color which usually is dark green */
    a[href^="ncatlab.org/"],
    a[href^="http://ncatlab.org/"],
    a[href^="https://ncatlab.org/"],
    a.existingWikiWord,
    a.existingWikiWord:visited,
    .newWikiWord a {
        color: hsla(120, 20%, 65%, 1) !important; 
        text-decoration: underline;
    }
    
    /* The color which usually is dark blue */
    a[href^="http://"],
    a[href^="http://"]:visited,
    a[href^="https://"],
    a[href^="https://"]:visited {
        color: hsla(212, 35%, 65%, .95) !important; 
    }
    
    /* The color which usually is dark red */
    a.existingWikiWord[title], a.existingWikiWord[title]:visited
    {
        color: hsla(25, 52%, 81%, .9) !important;
        background-color: transparent !important;
        text-decoration: underline !important;
    }
    
    /* Table of contents */
    .maruku_toc li a, .maruku_toc li a:visited {
        color: #fffb !important;
        text-decoration: none !important;
    }
        
    /* Pages that don't exist (yet) */
    .newWikiWord {
        background-color: hsl(198, 22.5%, 32.5%);
        color: #fffd;
    }
    .newWikiWord a:hover {
        background-color: #fffd !important;
        color: hsla(120, 20%, 50%, 1) !important;
    }
     
    a:hover,
    .maruku_toc li a:hover {
        text-decoration: underline !important; 
    }
        
    /* OTHER STUFF*/
    
    /* Text at bottom of the page, etc. */    
    .revisedby, .property {
        color: #fff8 !important;
    }
    
    /* Redirect boxes, etc. */
    div.info, pre, div.standout, div.query, div.errorExplanation {
        background-color: hsl(198, 27%, 19%);
        border: none;
        color: #fffb;
    }
    .un_remark {
        background: none !important;
        border-color: hsl(198, 22.5%, 32.5%) !important;
    }
    
    /* Context menu */
    div.rightHandSide {
        border: 1px solid #fff4;
        border-top: none;
        border-right: none;
        text-align: start;
    }
    
    /* Search bars, editing pages */
    input, textarea {
        border: 1px solid #fff4 !important;
        background-color: hsl(198, 30%, 10%) !important;
        color: #fffe !important;
    }
    
    /* Section at which we are */
    :target {
        background-color: transparent;
    }    
     
    /* Makes page content a bit wider (for modern monitors) */
    #Content {
    max-width: 60em;
    }
    
    
    /* FONTS */
    /*
    body,
    h1#pageName,
    h1,h2,h3,h4,h5,h6,
    .rightHandSide h2, .rightHandSide h3, .rightHandSide h4, .rightHandSide h5, .rightHandSide h6 {
        font-family: "DejaVu Serif", "Cambria", "STIX Two Text", Serif !important; 
    }
    
    math {
        font-family: "DejaVu Math Tex Gyre", "Cambria Math", "STIX Two Math" !important; 
    }
    
    body {
        font-size: 18px;
    }    
    */
    
}