jsxgraph.org darkish-mode by doctorwhat7u

/* ==UserStyle==
@name         jsxgraph.org darkish-mode
@version      20211014.01.55
@namespace    userstyles.world/user/doctorwhat7u
@description  Dark mode for documentation
@author       doctorwhat7u
@license      No License
==/UserStyle== */

@-moz-document domain("jsxgraph.org") {
body, #index {
    background:#332f38;
    color:#efdecf;
    font-family: "Avenir";
          
}
a, a:link {
    color: #97c6b9;
    text-decoration:none;
    display:inline-block;
    border-bottom: 1px dashed #bd95a3;
    padding-right:1rem;
}

caption, div.sectionTitle  {
    background:#1b1b24;
    color:#9e8b8d; 
    
}
hrule {
    opacity:0.3;
}
body .summaryTable td, table, tbody, thead, tr, th, thead td {
    border-color: #9e8b8d33;
}
.fixedFont {
   color:#eac4ce; 
}
.jumbotron { 
    background:#DDDDDD10;
}
.mybox, footer {
    border-color: #00000010;
    background-color: #f5f5f510;
    color:#B5AEB5;
}

.navbar-custom {
    border-color: #00000010;
    background-color: #f5f5f510;
}
}