Skip to content

AST Explorer Dark Mode by heljas

Screenshot of AST Explorer Dark Mode

Details

Authorheljas

LicenseMIT

CategoryAST Explorer

Created

Updated

Code size6.0 kB

Code checksumcd07ee21

Statistics

Learn how we calculate statistics in the FAQ.

Failed to fetch stats.

Description

Dark mode for AST Explorer

Notes

Syntax highlighting based on Super One Dark theme from Atom

Source code

/* ==UserStyle==
@name         AST Explorer
@version      20220328.08.42
@namespace    userstyles.world/user/heljas
@description  Dark mode for AST Explorer
@author       heljas
@license      MIT
==/UserStyle== */

@-moz-document url("https://astexplorer.net/") {
/* DARK THEME START */
/** CODEMIRROR DARCULA THEME
      Name: IntelliJ IDEA default theme
      From IntelliJ IDEA by JetBrains
   */
.cm-s-default {
    font-family: Consolas, Menlo, Monaco, 'Lucida Console', 'Liberation Mono', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Courier New', monospace, serif;
}
.cm-s-default.CodeMirror,
#JSONEditor .CodeMirror {
    background: #202020 !important;
    color: #abb1bf !important;
}

.cm-s-default span.cm-meta {
    color: #BBB529;
}
.cm-s-default span.cm-number {
    color: #D09A65;
}
.cm-s-default span.cm-keyword {
    color: #c675dd;
}
.cm-s-default span.cm-def {
    color: #D19B66;
}
.cm-s-default span.cm-variable {
    color: #E06C75;
}
.cm-s-default span.cm-variable-2 {
    color: #E06C75;
}
.cm-s-default span.cm-variable-3 {
    color: #E06C75;
}
.cm-s-default span.cm-type {
    color: #AABBCC;
    font-weight: bold;
}
.cm-s-default span.cm-property {
    color: #63AEEF;
}
.cm-s-default span.cm-operator {
    color: #51AAB3;
}
.cm-s-default span.cm-string {
    color: #97c378;
}
.cm-s-default span.cm-string-2 {
    color: #D09A65;
}
.cm-s-default span.cm-comment {
    color: #5c6270;
    font-style: italic;
}
.cm-s-default span.cm-link {
    color: #D09A65;
}
.cm-s-default span.cm-atom {
    color: #D09A65;
}
.cm-s-default span.cm-error {
    color: #BC3F3C;
}
.cm-s-default span.cm-tag {
    color: #629755;
    font-weight: bold;
    font-style: italic;
    text-decoration: underline;
}
.cm-s-default span.cm-attribute {
    color: #6897bb;
}
.cm-s-default span.cm-qualifier {
    color: #6A8759;
}
.cm-s-default span.cm-bracket {
    color: #A9B7C6;
}
.cm-s-default span.cm-builtin {
    color: #FF9E59;
}
.cm-s-default span.cm-special {
    color: #FF9E59;
}

.cm-s-default .CodeMirror-cursor {
    border-left: 1px solid #A9B7C6;
}
.cm-s-default .CodeMirror-activeline-background {
    background: #323232;
}
.cm-s-default .CodeMirror-gutters {
    background: #202020 !important;
    border-right: 1px solid #202020 !important;
}
.cm-s-default .CodeMirror-guttermarker {
    color: #202020;
}
.cm-s-default .CodeMirror-guttermarker-subtle {
    color: #D0D0D0;
}
.cm-s-default .CodeMirrir-linenumber {
    color: #606366;
}
.cm-s-default .CodeMirror-matchingbracket {
    background-color: #3B514D;
    color: #FFEF28 !important;
    font-weight: bold;
}

.cm-s-default .CodeMirror-nonmatchingbracket {
    background-color: #3B514D;
    color: #FFEF28 !important;
    font-weight: bold;
}

.CodeMirror-line.errorMarker {
    background: #4a2121 !important
}


.cm-s-default div.CodeMirror-selected {
    background: rgba(255, 255, 255, 0.15);
}

/* Autocomplete styles */
.CodeMirror-hints.default,
.CodeMirror-hint,
.CodeMirror-Tern-tooltip {
    font-family: Menlo, Monaco, Consolas, 'Courier New', monospace;
    color: #9C9E9E !important;
    background-color: #3B3E3F !important;
    border-color: #888 !important;
}

.CodeMirror-hints.default .CodeMirror-hint-active {
    background-color: #494D4E !important;
    color: #9C9E9E !important;
}


/* AST Explorer Overrides */
.output,
.toolbar {
    background: #202020 !important;
    color: #abb1bf;
    border-color: #555 !important;
}

.output .toolbar > button {
    color: white !important;
    border-left: 1px solid #555 !important;
    border-right: 1px solid #555 !important;
}

.output .toolbar > button.active {
    border-color: #333 !important;
    background-color: #555 !important;
}


.splitpane-divider {
    background-color: #555 !important;
}

.tokenName {
    color: #c675dd !important;
}

.value .s {
    color: #97c378 !important;
}

.key .name {
    color: #63AEEF !important;
}

.prefix.p,
.suffix.p {
    color: #FFEF28 !important;
}

.compact.placeholder,
.value .p {
    color: #5c6270 !important;
    font-style: italic !important;
}

.key .p {
    color: #5c6270 !important;
}

#Toolbar,
#Toolbar .menuButton ul,
#contribution {
    background: #2a2a2a !important;
    color: #ddd !important;
    border-color: #555 !important;
}

#Toolbar > * {
    border-right: 1px solid #555 !important;
}

#info a,
#contribution a {
    color: #268bd2;
}

#info a,
#contribution a:visited {
    color: #b9f;
}

.toggleBtn {
    border: 1px solid #222;
    background-color: #555;
    color: #a9b7c6;
}


/* Scrollbars */
.tree-visualization > ul::-webkit-scrollbar-track,
.CodeMirror-hints.default::-webkit-scrollbar-track,
.CodeMirror-vscrollbar::-webkit-scrollbar-track,
.CodeMirror-hscrollbar::-webkit-scrollbar-track {
    box-shadow: 0 0 6px rgba(0, 0, 0, 0.3) !important;
    background-color: #2b2b2b !important;
}

.tree-visualization > ul::-webkit-scrollbar,
.CodeMirror-hints.default::-webkit-scrollbar,
.CodeMirror-vscrollbar::-webkit-scrollbar,
.CodeMirror-hscrollbar::-webkit-scrollbar {
    width: 12px !important;
    background-color: #2b2b2b !important;
    border: 1px solid black !important;
}

.tree-visualization > ul::-webkit-scrollbar-thumb,
.CodeMirror-hints.default::-webkit-scrollbar-thumb,
.CodeMirror-vscrollbar::-webkit-scrollbar-thumb,
.CodeMirror-hscrollbar::-webkit-scrollbar {
    background-color: #606060 !important;
}

.tree-visualization > ul::-webkit-scrollbar-thumb:hover,
.CodeMirror-hints.default::-webkit-scrollbar-thumb:hover,
.CodeMirror-vscrollbar::-webkit-scrollbar-thumb:hover,
.CodeMirror-hscrollbar::-webkit-scrollbar:hover {
    background-color: #666 !important;
}

.CodeMirror .marked,
.entry.highlighted {
    border-radius: 2px;
    background: rgba(150, 150, 150, .15);
}

/* DARK THEME END */
}

Reviews

No reviews yet.