Dark mode for AST Explorer
AST Explorer Dark Mode by heljas

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
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 */
}