From 95264120cbda62e5bd9af7fb4ecacb43427a254f Mon Sep 17 00:00:00 2001 From: joneugster Date: Fri, 13 Oct 2023 12:52:58 +0200 Subject: [PATCH] add dark theme --- client/src/Editor.tsx | 1 + client/src/css/dark-theme.css | 1393 +++++++++++++++++++++++++++++++++ 2 files changed, 1394 insertions(+) create mode 100644 client/src/css/dark-theme.css diff --git a/client/src/Editor.tsx b/client/src/Editor.tsx index 1acf8a02..b02cffc8 100644 --- a/client/src/Editor.tsx +++ b/client/src/Editor.tsx @@ -3,6 +3,7 @@ import { useEffect, useRef, useState } from 'react' import './Editor.css' import './editor/infoview.css' import './editor/vscode.css' +import './css/dark-theme.css' import * as monaco from 'monaco-editor/esm/vs/editor/editor.api.js' import { loadRenderInfoview } from '@leanprover/infoview/loader' import { InfoviewApi } from '@leanprover/infoview-api' diff --git a/client/src/css/dark-theme.css b/client/src/css/dark-theme.css new file mode 100644 index 00000000..56087a7f --- /dev/null +++ b/client/src/css/dark-theme.css @@ -0,0 +1,1393 @@ +.dark-theme .nav { + box-shadow: 0 0.3rem 0.3rem 0 rgba(255, 255, 255, 0.1); +} + +.dark-theme .editor-wrapper { + background-color: #2B2B2B; +} + +.dark-theme .dropdown-menu { + background-color: #3a3a3a; + border: 1px solid #505050; +} + +.dark-theme .modal { + background-color: #3a3a3a; +} + +.dark-theme a { + color: #3794ff; +} + +.dark-theme .information { + color: #198c19; +} + +/* +Code for dark style of the Monaco editor +By default, it uses Monokai, get more Monaco editor themes from https://github.com/brijeshb42/monaco-themes +*/ +.dark-theme .monaco-editor .accessibilityHelpWidget { + background-color: #252526; +} +.dark-theme .monaco-editor .accessibilityHelpWidget { + color: #cccccc; +} +.dark-theme .monaco-editor .accessibilityHelpWidget { + box-shadow: 0 2px 8px rgba(0, 0, 0, 0.36); +} +.dark-theme .monaco-editor, +.dark-theme .monaco-editor-background, +.dark-theme .monaco-editor .inputarea.ime-input { + background-color: #2b2b2b;/*#272822;*/ +} +.dark-theme .monaco-editor, +.dark-theme .monaco-editor .inputarea.ime-input { + color: #f8f8f2; +} +.dark-theme .monaco-editor .margin { + background-color: #272822; +} +.dark-theme .monaco-editor .rangeHighlight { + background-color: rgba(255, 255, 255, 0.04); +} +.dark-theme .monaco-editor .symbolHighlight { + background-color: rgba(234, 92, 0, 0.33); +} +.dark-theme .monaco-editor .mtkw { + color: #3b3a32 !important; +} +.dark-theme .monaco-editor .mtkz { + color: #3b3a32 !important; +} +.dark-theme .monaco-editor .unexpected-closing-bracket { + color: rgba(255, 18, 18, 0.8); +} +.dark-theme .monaco-editor .bracket-highlighting-0 { + color: #ffd700; +} +.dark-theme .monaco-editor .bracket-highlighting-1 { + color: #da70d6; +} +.dark-theme .monaco-editor .bracket-highlighting-2 { + color: #179fff; +} +.dark-theme .monaco-editor .bracket-highlighting-3 { + color: #ffd700; +} +.dark-theme .monaco-editor .bracket-highlighting-4 { + color: #da70d6; +} +.dark-theme .monaco-editor .bracket-highlighting-5 { + color: #179fff; +} +.dark-theme .monaco-editor .bracket-highlighting-6 { + color: #ffd700; +} +.dark-theme .monaco-editor .bracket-highlighting-7 { + color: #da70d6; +} +.dark-theme .monaco-editor .bracket-highlighting-8 { + color: #179fff; +} +.dark-theme .monaco-editor .bracket-highlighting-9 { + color: #ffd700; +} +.dark-theme .monaco-editor .bracket-highlighting-10 { + color: #da70d6; +} +.dark-theme .monaco-editor .bracket-highlighting-11 { + color: #179fff; +} +.dark-theme .monaco-editor .bracket-highlighting-12 { + color: #ffd700; +} +.dark-theme .monaco-editor .bracket-highlighting-13 { + color: #da70d6; +} +.dark-theme .monaco-editor .bracket-highlighting-14 { + color: #179fff; +} +.dark-theme .monaco-editor .bracket-highlighting-15 { + color: #ffd700; +} +.dark-theme .monaco-editor .bracket-highlighting-16 { + color: #da70d6; +} +.dark-theme .monaco-editor .bracket-highlighting-17 { + color: #179fff; +} +.dark-theme .monaco-editor .bracket-highlighting-18 { + color: #ffd700; +} +.dark-theme .monaco-editor .bracket-highlighting-19 { + color: #da70d6; +} +.dark-theme .monaco-editor .bracket-highlighting-20 { + color: #179fff; +} +.dark-theme .monaco-editor .bracket-highlighting-21 { + color: #ffd700; +} +.dark-theme .monaco-editor .bracket-highlighting-22 { + color: #da70d6; +} +.dark-theme .monaco-editor .bracket-highlighting-23 { + color: #179fff; +} +.dark-theme .monaco-editor .bracket-highlighting-24 { + color: #ffd700; +} +.dark-theme .monaco-editor .bracket-highlighting-25 { + color: #da70d6; +} +.dark-theme .monaco-editor .bracket-highlighting-26 { + color: #179fff; +} +.dark-theme .monaco-editor .bracket-highlighting-27 { + color: #ffd700; +} +.dark-theme .monaco-editor .bracket-highlighting-28 { + color: #da70d6; +} +.dark-theme .monaco-editor .bracket-highlighting-29 { + color: #179fff; +} +.dark-theme .monaco-editor .bracket-match { + background-color: rgba(0, 100, 0, 0.1); +} +.dark-theme .monaco-editor .bracket-match { + border: 1px solid #888888; +} + +.dark-theme .monaco-editor .contentWidgets .codicon.codicon-light-bulb { + color: #ffcc00; + background-color: rgba(39, 40, 34, 0.7); +} + +.dark-theme .monaco-editor .contentWidgets .codicon.codicon-lightbulb-autofix { + color: #75beff; + background-color: rgba(39, 40, 34, 0.7); +} +.dark-theme .monaco-editor .line-numbers { + color: #858585; +} +.dark-theme .monaco-editor .line-numbers.active-line-number { + color: #c6c6c6; +} +.dark-theme .monaco-editor .view-overlays .current-line { + background-color: #3e3d32; +} +.dark-theme .monaco-editor .margin-view-overlays .current-line-margin { + background-color: #3e3d32; + border: none; +} + +.dark-theme .monaco-scrollable-element > .shadow.top { + box-shadow: #000000 0 6px 6px -6px inset; +} + +.dark-theme .monaco-scrollable-element > .shadow.left { + box-shadow: #000000 6px 0 6px -6px inset; +} + +.dark-theme .monaco-scrollable-element > .shadow.top.left { + box-shadow: #000000 6px 6px 6px -6px inset; +} + + +.dark-theme .monaco-scrollable-element > .scrollbar > .slider { + background: rgba(121, 121, 121, 0.4); +} + + +.dark-theme .monaco-scrollable-element > .scrollbar > .slider:hover { + background: rgba(100, 100, 100, 0.7); +} + + +.dark-theme .monaco-scrollable-element > .scrollbar > .slider.active { + background: rgba(191, 191, 191, 0.4); +} + +.dark-theme .monaco-editor .lines-content .core-guide-indent { + box-shadow: 1px 0 0 0 #404040 inset; +} +.dark-theme .monaco-editor .lines-content .core-guide-indent-active { + box-shadow: 1px 0 0 0 rgba(157, 85, 15, 0.69) inset; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-0 { + --guide-color: rgba(255, 215, 0, 0.3); + --guide-color-active: #ffd700; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-1 { + --guide-color: rgba(218, 112, 214, 0.3); + --guide-color-active: #da70d6; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-2 { + --guide-color: rgba(23, 159, 255, 0.3); + --guide-color-active: #179fff; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-3 { + --guide-color: rgba(255, 215, 0, 0.3); + --guide-color-active: #ffd700; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-4 { + --guide-color: rgba(218, 112, 214, 0.3); + --guide-color-active: #da70d6; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-5 { + --guide-color: rgba(23, 159, 255, 0.3); + --guide-color-active: #179fff; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-6 { + --guide-color: rgba(255, 215, 0, 0.3); + --guide-color-active: #ffd700; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-7 { + --guide-color: rgba(218, 112, 214, 0.3); + --guide-color-active: #da70d6; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-8 { + --guide-color: rgba(23, 159, 255, 0.3); + --guide-color-active: #179fff; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-9 { + --guide-color: rgba(255, 215, 0, 0.3); + --guide-color-active: #ffd700; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-10 { + --guide-color: rgba(218, 112, 214, 0.3); + --guide-color-active: #da70d6; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-11 { + --guide-color: rgba(23, 159, 255, 0.3); + --guide-color-active: #179fff; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-12 { + --guide-color: rgba(255, 215, 0, 0.3); + --guide-color-active: #ffd700; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-13 { + --guide-color: rgba(218, 112, 214, 0.3); + --guide-color-active: #da70d6; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-14 { + --guide-color: rgba(23, 159, 255, 0.3); + --guide-color-active: #179fff; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-15 { + --guide-color: rgba(255, 215, 0, 0.3); + --guide-color-active: #ffd700; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-16 { + --guide-color: rgba(218, 112, 214, 0.3); + --guide-color-active: #da70d6; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-17 { + --guide-color: rgba(23, 159, 255, 0.3); + --guide-color-active: #179fff; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-18 { + --guide-color: rgba(255, 215, 0, 0.3); + --guide-color-active: #ffd700; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-19 { + --guide-color: rgba(218, 112, 214, 0.3); + --guide-color-active: #da70d6; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-20 { + --guide-color: rgba(23, 159, 255, 0.3); + --guide-color-active: #179fff; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-21 { + --guide-color: rgba(255, 215, 0, 0.3); + --guide-color-active: #ffd700; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-22 { + --guide-color: rgba(218, 112, 214, 0.3); + --guide-color-active: #da70d6; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-23 { + --guide-color: rgba(23, 159, 255, 0.3); + --guide-color-active: #179fff; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-24 { + --guide-color: rgba(255, 215, 0, 0.3); + --guide-color-active: #ffd700; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-25 { + --guide-color: rgba(218, 112, 214, 0.3); + --guide-color-active: #da70d6; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-26 { + --guide-color: rgba(23, 159, 255, 0.3); + --guide-color-active: #179fff; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-27 { + --guide-color: rgba(255, 215, 0, 0.3); + --guide-color-active: #ffd700; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-28 { + --guide-color: rgba(218, 112, 214, 0.3); + --guide-color-active: #da70d6; +} +.dark-theme .monaco-editor .bracket-indent-guide.lvl-29 { + --guide-color: rgba(23, 159, 255, 0.3); + --guide-color-active: #179fff; +} +.dark-theme .monaco-editor .vertical { + box-shadow: 1px 0 0 0 var(--guide-color) inset; +} +.dark-theme .monaco-editor .horizontal-top { + border-top: 1px solid var(--guide-color); +} +.dark-theme .monaco-editor .horizontal-bottom { + border-bottom: 1px solid var(--guide-color); +} +.dark-theme .monaco-editor .vertical.indent-active { + box-shadow: 1px 0 0 0 var(--guide-color-active) inset; +} +.dark-theme .monaco-editor .horizontal-top.indent-active { + border-top: 1px solid var(--guide-color-active); +} +.dark-theme .monaco-editor .horizontal-bottom.indent-active { + border-bottom: 1px solid var(--guide-color-active); +} +.dark-theme .monaco-editor .minimap-slider .minimap-slider-horizontal { + background: rgba(121, 121, 121, 0.2); +} +.dark-theme .monaco-editor .minimap-slider:hover .minimap-slider-horizontal { + background: rgba(100, 100, 100, 0.35); +} +.dark-theme .monaco-editor .minimap-slider.active .minimap-slider-horizontal { + background: rgba(191, 191, 191, 0.2); +} +.dark-theme .monaco-editor .minimap-shadow-visible { + box-shadow: #000000 -6px 0 6px -6px inset; +} +.dark-theme .monaco-editor .view-ruler { + box-shadow: 1px 0 0 0 #5a5a5a inset; +} +.dark-theme .monaco-editor .scroll-decoration { + box-shadow: #000000 0 6px 6px -6px inset; +} +.dark-theme .monaco-editor .focused .selected-text { + background-color: #49483e; +} +.dark-theme .monaco-editor .selected-text { + background-color: #3a3d41; +} +.dark-theme .monaco-editor .inputarea.ime-input { + caret-color: #f8f8f0; +} +.dark-theme .monaco-editor .cursors-layer .cursor { + background-color: #f8f8f0; + border-color: #f8f8f0; + color: #07070f; +} +.dark-theme .monaco-editor .squiggly-error { + background: url("data:image/svg+xml,%3Csvg%20xmlns%3D'http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg'%20viewBox%3D'0%200%206%203'%20enable-background%3D'new%200%200%206%203'%20height%3D'3'%20width%3D'6'%3E%3Cg%20fill%3D'%23f14c4c'%3E%3Cpolygon%20points%3D'5.5%2C0%202.5%2C3%201.1%2C3%204.1%2C0'%2F%3E%3Cpolygon%20points%3D'4%2C0%206%2C2%206%2C0.6%205.4%2C0'%2F%3E%3Cpolygon%20points%3D'0%2C2%201%2C3%202.4%2C3%200%2C0.6'%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E") repeat-x bottom left; +} +.dark-theme .monaco-editor .squiggly-warning { + background: url("data:image/svg+xml,%3Csvg%20xmlns%3D'http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg'%20viewBox%3D'0%200%206%203'%20enable-background%3D'new%200%200%206%203'%20height%3D'3'%20width%3D'6'%3E%3Cg%20fill%3D'%23cca700'%3E%3Cpolygon%20points%3D'5.5%2C0%202.5%2C3%201.1%2C3%204.1%2C0'%2F%3E%3Cpolygon%20points%3D'4%2C0%206%2C2%206%2C0.6%205.4%2C0'%2F%3E%3Cpolygon%20points%3D'0%2C2%201%2C3%202.4%2C3%200%2C0.6'%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E") repeat-x bottom left; +} +.dark-theme .monaco-editor .squiggly-info { + background: url("data:image/svg+xml,%3Csvg%20xmlns%3D'http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg'%20viewBox%3D'0%200%206%203'%20enable-background%3D'new%200%200%206%203'%20height%3D'3'%20width%3D'6'%3E%3Cg%20fill%3D'%233794ff'%3E%3Cpolygon%20points%3D'5.5%2C0%202.5%2C3%201.1%2C3%204.1%2C0'%2F%3E%3Cpolygon%20points%3D'4%2C0%206%2C2%206%2C0.6%205.4%2C0'%2F%3E%3Cpolygon%20points%3D'0%2C2%201%2C3%202.4%2C3%200%2C0.6'%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E") repeat-x bottom left; +} +.dark-theme .monaco-editor .squiggly-hint { + background: url("data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20height%3D%223%22%20width%3D%2212%22%3E%3Cg%20fill%3D%22rgba(238%2C%20238%2C%20238%2C%200.7)%22%3E%3Ccircle%20cx%3D%221%22%20cy%3D%221%22%20r%3D%221%22%2F%3E%3Ccircle%20cx%3D%225%22%20cy%3D%221%22%20r%3D%221%22%2F%3E%3Ccircle%20cx%3D%229%22%20cy%3D%221%22%20r%3D%221%22%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E") no-repeat bottom left; +} +.dark-theme .monaco-editor.showUnused .squiggly-inline-unnecessary { + opacity: 0.667; +} +.dark-theme .monaco-editor.showDeprecated .squiggly-inline-deprecated { + text-decoration: line-through; + text-decoration-color: #f8f8f2 +} +.dark-theme .monaco-editor .goto-definition-link { + color: #4e94ce !important; +} + +.dark-theme .monaco-editor .zone-widget .codicon.codicon-error, +.dark-theme .markers-panel .marker-icon.codicon.codicon-error, +.dark-theme .text-search-provider-messages .providerMessage .codicon.codicon-error, +.dark-theme .extensions-viewlet > .extensions .codicon.codicon-error { + color: #f14c4c; +} + + +.dark-theme .monaco-editor .zone-widget .codicon.codicon-warning, +.dark-theme .markers-panel .marker-icon.codicon.codicon-warning, +.dark-theme .extensions-viewlet > .extensions .codicon.codicon-warning, +.dark-theme .extension-editor .codicon.codicon-warning, +.dark-theme .text-search-provider-messages .providerMessage .codicon.codicon-warning, +.dark-theme .preferences-editor .codicon.codicon-warning { + color: #cca700; +} + + +.dark-theme .monaco-editor .zone-widget .codicon.codicon-info, +.dark-theme .markers-panel .marker-icon.codicon.codicon-info, +.dark-theme .extensions-viewlet > .extensions .codicon.codicon-info, +.dark-theme .text-search-provider-messages .providerMessage .codicon.codicon-info, +.dark-theme .extension-editor .codicon.codicon-info { + color: #3794ff; +} + +.dark-theme .monaco-hover .hover-contents a.code-link span { + color: #3794ff; +} +.dark-theme .monaco-hover .hover-contents a.code-link span:hover { + color: #3794ff; +} +.dark-theme .monaco-editor .hoverHighlight { + background-color: rgba(38, 79, 120, 0.25); +} +.dark-theme .monaco-editor .monaco-hover { + background-color: #252526; +} +.dark-theme .monaco-editor .monaco-hover { + border: 1px solid #454545; +} +.dark-theme .monaco-editor .monaco-hover .hover-row:not(:first-child):not(:empty) { + border-top: 1px solid rgba(69, 69, 69, 0.5); +} +.dark-theme .monaco-editor .monaco-hover hr { + border-top: 1px solid rgba(69, 69, 69, 0.5); +} +.dark-theme .monaco-editor .monaco-hover hr { + border-bottom: 0px solid rgba(69, 69, 69, 0.5); +} +.dark-theme .monaco-editor .monaco-hover a { + color: #3794ff; +} +.dark-theme .monaco-editor .monaco-hover a:hover { + color: #3794ff; +} +.dark-theme .monaco-editor .monaco-hover { + color: #cccccc; +} +.dark-theme .monaco-editor .monaco-hover .hover-row .actions { + background-color: #2c2c2d; +} +.dark-theme .monaco-editor .monaco-hover code { + background-color: rgba(10, 10, 10, 0.4); +} +.dark-theme .monaco-editor .findOptionsWidget { + background-color: #252526; +} +.dark-theme .monaco-editor .findOptionsWidget { + color: #cccccc; +} +.dark-theme .monaco-editor .findOptionsWidget { + box-shadow: 0 0 8px 2px rgba(0, 0, 0, 0.36); +} +.dark-theme .monaco-editor .findMatch { + background-color: rgba(234, 92, 0, 0.33); +} +.dark-theme .monaco-editor .currentFindMatch { + background-color: #515c6a; +} +.dark-theme .monaco-editor .findScope { + background-color: rgba(58, 61, 65, 0.4); +} +.dark-theme .monaco-editor .find-widget { + background-color: #252526; +} +.dark-theme .monaco-editor .find-widget { + box-shadow: 0 0 8px 2px rgba(0, 0, 0, 0.36); +} +.dark-theme .monaco-editor .find-widget { + color: #cccccc; +} +.dark-theme .monaco-editor .find-widget.no-results .matchesCount { + color: #f48771; +} +.dark-theme .monaco-editor .find-widget .monaco-sash { + background-color: #454545; +} + +.dark-theme .monaco-editor .find-widget .button:not(.disabled):hover, +.dark-theme .monaco-editor .find-widget .codicon-find-selection:hover { + background-color: rgba(90, 93, 94, 0.31) !important; +} + +.dark-theme .monaco-editor .find-widget .monaco-inputbox.synthetic-focus { + outline-color: #007fd4; +} +.dark-theme .monaco-editor .folded-background { + background-color: rgba(73, 72, 62, 0.3); +} + +.dark-theme .monaco-editor .cldr.codicon.codicon-folding-expanded, +.dark-theme .monaco-editor .cldr.codicon.codicon-folding-collapsed { + color: #c5c5c5 !important; +} + +.dark-theme .monaco-editor.vs .valueSetReplacement { + outline: solid 2px #888888; +} +.dark-theme .codicon.codicon-symbol-array { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-boolean { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-class { + color: #ee9d28; +} +.dark-theme .codicon.codicon-symbol-method { + color: #b180d7; +} +.dark-theme .codicon.codicon-symbol-color { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-constant { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-constructor { + color: #b180d7; +} + +.dark-theme .codicon.codicon-symbol-value, +.dark-theme .codicon.codicon-symbol-enum { + color: #ee9d28; +} +.dark-theme .codicon.codicon-symbol-enum-member { + color: #75beff; +} +.dark-theme .codicon.codicon-symbol-event { + color: #ee9d28; +} +.dark-theme .codicon.codicon-symbol-field { + color: #75beff; +} +.dark-theme .codicon.codicon-symbol-file { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-folder { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-function { + color: #b180d7; +} +.dark-theme .codicon.codicon-symbol-interface { + color: #75beff; +} +.dark-theme .codicon.codicon-symbol-key { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-keyword { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-module { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-namespace { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-null { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-number { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-object { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-operator { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-package { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-property { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-reference { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-snippet { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-string { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-struct { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-text { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-type-parameter { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-unit { + color: #cccccc; +} +.dark-theme .codicon.codicon-symbol-variable { + color: #75beff; +} +.dark-theme .monaco-editor .ghost-text-decoration { + color: rgba(255, 255, 255, 0.34) !important; +} +.dark-theme .monaco-editor .ghost-text-decoration-preview { + color: rgba(255, 255, 255, 0.34) !important; +} +.dark-theme .monaco-editor .suggest-preview-text .ghost-text { + color: rgba(255, 255, 255, 0.34) !important; +} +.dark-theme .monaco-editor .tokens-inspect-widget { + border: 1px solid #454545; +} +.dark-theme .monaco-editor .tokens-inspect-widget .tokens-inspect-separator { + background-color: #454545; +} +.dark-theme .monaco-editor .tokens-inspect-widget { + background-color: #252526; +} +.dark-theme .monaco-editor .tokens-inspect-widget { + color: #cccccc; +} +.dark-theme .monaco-editor .linked-editing-decoration { + background: rgba(255, 0, 0, 0.3); + border-left-color: rgba(255, 0, 0, 0.3); +} +.dark-theme .monaco-editor .detected-link-active { + color: #4e94ce !important; +} +.dark-theme .monaco-editor .parameter-hints-widget { + border: 1px solid #454545; +} +.dark-theme .monaco-editor .parameter-hints-widget.multiple .body { + border-left: 1px solid rgba(69, 69, 69, 0.5); +} +.dark-theme .monaco-editor .parameter-hints-widget .signature.has-docs { + border-bottom: 1px solid rgba(69, 69, 69, 0.5); +} +.dark-theme .monaco-editor .parameter-hints-widget { + background-color: #252526; +} +.dark-theme .monaco-editor .parameter-hints-widget a { + color: #3794ff; +} +.dark-theme .monaco-editor .parameter-hints-widget a:hover { + color: #3794ff; +} +.dark-theme .monaco-editor .parameter-hints-widget { + color: #cccccc; +} +.dark-theme .monaco-editor .parameter-hints-widget code { + background-color: rgba(10, 10, 10, 0.4); +} +.dark-theme .monaco-editor .parameter-hints-widget .parameter.active { + color: #18a3ff +} +.dark-theme .monaco-link { + color: #3794ff; +} +.dark-theme .monaco-link:hover { + color: #3794ff; +} +.dark-theme .monaco-editor .focused .selectionHighlight { + background-color: rgba(149, 184, 220, .15); +} +.dark-theme .monaco-editor .selectionHighlight { + background-color: rgba(173, 214, 255, 0.07); +} +.dark-theme .monaco-editor .wordHighlight { + background-color: rgba(87, 87, 87, 0.72); +} +.dark-theme .monaco-editor .wordHighlightStrong { + background-color: rgba(0, 73, 114, 0.72); +} +.dark-theme .monaco-editor .selectionHighlight { + border: 1px solid #383829; + box-sizing: border-box; +} +.dark-theme .monaco-diff-editor .diff-review-line-number { + color: #858585; +} +.dark-theme .monaco-diff-editor .diff-review-shadow { + box-shadow: #000000 0 -6px 6px -6px inset; +} +.dark-theme .monaco-editor .char-insert, +.dark-theme .monaco-diff-editor .char-insert { + background-color: rgba(155, 185, 85, 0.2); +} +.dark-theme .monaco-editor .line-insert, +.dark-theme .monaco-diff-editor .line-insert { + background-color: rgba(155, 185, 85, 0.2); +} +.dark-theme .monaco-editor .inline-added-margin-view-zone { + background-color: rgba(155, 185, 85, 0.2); +} +.dark-theme .monaco-editor .gutter-insert, +.dark-theme .monaco-diff-editor .gutter-insert { + background-color: rgba(155, 185, 85, 0.2); +} +.dark-theme .monaco-editor .char-delete, +.dark-theme .monaco-diff-editor .char-delete { + background-color: rgba(255, 0, 0, 0.2); +} +.dark-theme .monaco-editor .line-delete, +.dark-theme .monaco-diff-editor .line-delete { + background-color: rgba(255, 0, 0, 0.2); +} +.dark-theme .monaco-editor .inline-deleted-margin-view-zone { + background-color: rgba(255, 0, 0, 0.2); +} +.dark-theme .monaco-editor .gutter-delete, +.dark-theme .monaco-diff-editor .gutter-delete { + background-color: rgba(255, 0, 0, 0.2); +} +.dark-theme .monaco-diff-editor.side-by-side .editor.modified { + box-shadow: -6px 0 5px -5px #000000; +} + +.dark-theme .monaco-diff-editor .diffViewport { + background: rgba(121, 121, 121, 0.4); +} + + +.dark-theme .monaco-diff-editor .diffViewport:hover { + background: rgba(100, 100, 100, 0.7); +} + + +.dark-theme .monaco-diff-editor .diffViewport:active { + background: rgba(191, 191, 191, 0.4); +} + + +.dark-theme .monaco-editor .diagonal-fill { + background-image: linear-gradient( -45deg, + rgba(204, 204, 204, 0.2) 12.5%, + #0000 12.5%, #0000 50%, + rgba(204, 204, 204, 0.2) 50%, rgba(204, 204, 204, 0.2) 62.5%, + #0000 62.5%, #0000 100%); + background-size: 8px 8px; +} + +.dark-theme .monaco-editor { + --vscode-foreground: #cccccc; + --vscode-errorForeground: #f48771; + --vscode-descriptionForeground: rgba(204, 204, 204, 0.7); + --vscode-icon-foreground: #c5c5c5; + --vscode-focusBorder: #007fd4; + --vscode-textSeparator-foreground: rgba(255, 255, 255, 0.18); + --vscode-textLink-foreground: #3794ff; + --vscode-textLink-activeForeground: #3794ff; + --vscode-textPreformat-foreground: #d7ba7d; + --vscode-textBlockQuote-background: rgba(127, 127, 127, 0.1); + --vscode-textBlockQuote-border: rgba(0, 122, 204, 0.5); + --vscode-textCodeBlock-background: rgba(10, 10, 10, 0.4); + --vscode-widget-shadow: rgba(0, 0, 0, 0.36); + --vscode-input-background: #3c3c3c; + --vscode-input-foreground: #cccccc; + --vscode-inputOption-activeBorder: rgba(0, 122, 204, 0); + --vscode-inputOption-hoverBackground: rgba(90, 93, 94, 0.5); + --vscode-inputOption-activeBackground: rgba(0, 127, 212, 0.4); + --vscode-inputOption-activeForeground: #ffffff; + --vscode-input-placeholderForeground: rgba(204, 204, 204, 0.5); + --vscode-inputValidation-infoBackground: #063b49; + --vscode-inputValidation-infoBorder: #007acc; + --vscode-inputValidation-warningBackground: #352a05; + --vscode-inputValidation-warningBorder: #b89500; + --vscode-inputValidation-errorBackground: #5a1d1d; + --vscode-inputValidation-errorBorder: #be1100; + --vscode-dropdown-background: #3c3c3c; + --vscode-dropdown-foreground: #f0f0f0; + --vscode-dropdown-border: #3c3c3c; + --vscode-checkbox-background: #3c3c3c; + --vscode-checkbox-foreground: #f0f0f0; + --vscode-checkbox-border: #3c3c3c; + --vscode-button-foreground: #ffffff; + --vscode-button-background: #0e639c; + --vscode-button-hoverBackground: #1177bb; + --vscode-button-secondaryForeground: #ffffff; + --vscode-button-secondaryBackground: #3a3d41; + --vscode-button-secondaryHoverBackground: #45494e; + --vscode-badge-background: #4d4d4d; + --vscode-badge-foreground: #ffffff; + --vscode-scrollbar-shadow: #000000; + --vscode-scrollbarSlider-background: rgba(121, 121, 121, 0.4); + --vscode-scrollbarSlider-hoverBackground: rgba(100, 100, 100, 0.7); + --vscode-scrollbarSlider-activeBackground: rgba(191, 191, 191, 0.4); + --vscode-progressBar-background: #0e70c0; + --vscode-editorError-foreground: #f14c4c; + --vscode-editorWarning-foreground: #cca700; + --vscode-editorInfo-foreground: #3794ff; + --vscode-editorHint-foreground: rgba(238, 238, 238, 0.7); + --vscode-sash-hoverBorder: #007fd4; + --vscode-editor-background: #272822; + --vscode-editor-foreground: #f8f8f2; + --vscode-editorWidget-background: #252526; + --vscode-editorWidget-foreground: #cccccc; + --vscode-editorWidget-border: #454545; + --vscode-quickInput-background: #252526; + --vscode-quickInput-foreground: #cccccc; + --vscode-quickInputTitle-background: rgba(255, 255, 255, 0.1); + --vscode-pickerGroup-foreground: #3794ff; + --vscode-pickerGroup-border: #3f3f46; + --vscode-keybindingLabel-background: rgba(128, 128, 128, 0.17); + --vscode-keybindingLabel-foreground: #cccccc; + --vscode-keybindingLabel-border: rgba(51, 51, 51, 0.6); + --vscode-keybindingLabel-bottomBorder: rgba(68, 68, 68, 0.6); + --vscode-editor-selectionBackground: #49483e; + --vscode-editor-inactiveSelectionBackground: #3a3d41; + --vscode-editor-selectionHighlightBackground: rgba(173, 214, 255, 0.15); + --vscode-editor-selectionHighlightBorder: #222218; + --vscode-editor-findMatchBackground: #515c6a; + --vscode-editor-findMatchHighlightBackground: rgba(234, 92, 0, 0.33); + --vscode-editor-findRangeHighlightBackground: rgba(58, 61, 65, 0.4); + --vscode-searchEditor-findMatchBackground: rgba(234, 92, 0, 0.22); + --vscode-editor-hoverHighlightBackground: rgba(38, 79, 120, 0.25); + --vscode-editorHoverWidget-background: #252526; + --vscode-editorHoverWidget-foreground: #cccccc; + --vscode-editorHoverWidget-border: #454545; + --vscode-editorHoverWidget-statusBarBackground: #2c2c2d; + --vscode-editorLink-activeForeground: #4e94ce; + --vscode-editorInlayHint-foreground: rgba(255, 255, 255, 0.8); + --vscode-editorInlayHint-background: rgba(77, 77, 77, 0.6); + --vscode-editorInlayHint-typeForeground: rgba(255, 255, 255, 0.8); + --vscode-editorInlayHint-typeBackground: rgba(77, 77, 77, 0.6); + --vscode-editorInlayHint-parameterForeground: rgba(255, 255, 255, 0.8); + --vscode-editorInlayHint-parameterBackground: rgba(77, 77, 77, 0.6); + --vscode-editorLightBulb-foreground: #ffcc00; + --vscode-editorLightBulbAutoFix-foreground: #75beff; + --vscode-diffEditor-insertedTextBackground: rgba(155, 185, 85, 0.2); + --vscode-diffEditor-removedTextBackground: rgba(255, 0, 0, 0.2); + --vscode-diffEditor-diagonalFill: rgba(204, 204, 204, 0.2); + --vscode-list-focusOutline: #007fd4; + --vscode-list-activeSelectionBackground: #094771; + --vscode-list-activeSelectionForeground: #ffffff; + --vscode-list-inactiveSelectionBackground: #37373d; + --vscode-list-hoverBackground: #2a2d2e; + --vscode-list-dropBackground: #062f4a; + --vscode-list-highlightForeground: #18a3ff; + --vscode-list-focusHighlightForeground: #18a3ff; + --vscode-list-invalidItemForeground: #b89500; + --vscode-list-errorForeground: #f88070; + --vscode-list-warningForeground: #cca700; + --vscode-listFilterWidget-background: #653723; + --vscode-listFilterWidget-outline: rgba(0, 0, 0, 0); + --vscode-listFilterWidget-noMatchesOutline: #be1100; + --vscode-list-filterMatchBackground: rgba(234, 92, 0, 0.33); + --vscode-tree-indentGuidesStroke: #585858; + --vscode-tree-tableColumnsBorder: rgba(204, 204, 204, 0.13); + --vscode-tree-tableOddRowsBackground: rgba(204, 204, 204, 0.04); + --vscode-list-deemphasizedForeground: #8c8c8c; + --vscode-quickInputList-focusForeground: #ffffff; + --vscode-quickInputList-focusBackground: #094771; + --vscode-menu-foreground: #f0f0f0; + --vscode-menu-background: #3c3c3c; + --vscode-menu-selectionForeground: #ffffff; + --vscode-menu-selectionBackground: #094771; + --vscode-menu-separatorBackground: #bbbbbb; + --vscode-toolbar-hoverBackground: rgba(90, 93, 94, 0.31); + --vscode-toolbar-activeBackground: rgba(99, 102, 103, 0.31); + --vscode-editor-snippetTabstopHighlightBackground: rgba(124, 124, 124, 0.3); + --vscode-editor-snippetFinalTabstopHighlightBorder: #525252; + --vscode-breadcrumb-foreground: rgba(204, 204, 204, 0.8); + --vscode-breadcrumb-background: #272822; + --vscode-breadcrumb-focusForeground: #e0e0e0; + --vscode-breadcrumb-activeSelectionForeground: #e0e0e0; + --vscode-breadcrumbPicker-background: #252526; + --vscode-merge-currentHeaderBackground: rgba(64, 200, 174, 0.5); + --vscode-merge-currentContentBackground: rgba(64, 200, 174, 0.2); + --vscode-merge-incomingHeaderBackground: rgba(64, 166, 255, 0.5); + --vscode-merge-incomingContentBackground: rgba(64, 166, 255, 0.2); + --vscode-merge-commonHeaderBackground: rgba(96, 96, 96, 0.4); + --vscode-merge-commonContentBackground: rgba(96, 96, 96, 0.16); + --vscode-editorOverviewRuler-currentContentForeground: rgba(64, 200, 174, 0.5); + --vscode-editorOverviewRuler-incomingContentForeground: rgba(64, 166, 255, 0.5); + --vscode-editorOverviewRuler-commonContentForeground: rgba(96, 96, 96, 0.4); + --vscode-editorOverviewRuler-findMatchForeground: rgba(209, 134, 22, 0.49); + --vscode-editorOverviewRuler-selectionHighlightForeground: rgba(160, 160, 160, 0.8); + --vscode-minimap-findMatchHighlight: #d18616; + --vscode-minimap-selectionOccurrenceHighlight: #676767; + --vscode-minimap-selectionHighlight: #264f78; + --vscode-minimap-errorHighlight: rgba(255, 18, 18, 0.7); + --vscode-minimap-warningHighlight: #cca700; + --vscode-minimap-foregroundOpacity: #000000; + --vscode-minimapSlider-background: rgba(121, 121, 121, 0.2); + --vscode-minimapSlider-hoverBackground: rgba(100, 100, 100, 0.35); + --vscode-minimapSlider-activeBackground: rgba(191, 191, 191, 0.2); + --vscode-problemsErrorIcon-foreground: #f14c4c; + --vscode-problemsWarningIcon-foreground: #cca700; + --vscode-problemsInfoIcon-foreground: #3794ff; + --vscode-charts-foreground: #cccccc; + --vscode-charts-lines: rgba(204, 204, 204, 0.5); + --vscode-charts-red: #f14c4c; + --vscode-charts-blue: #3794ff; + --vscode-charts-yellow: #cca700; + --vscode-charts-orange: #d18616; + --vscode-charts-green: #89d185; + --vscode-charts-purple: #b180d7; + --vscode-editor-lineHighlightBackground: #3e3d32; + --vscode-editor-lineHighlightBorder: #282828; + --vscode-editor-rangeHighlightBackground: rgba(255, 255, 255, 0.04); + --vscode-editor-symbolHighlightBackground: rgba(234, 92, 0, 0.33); + --vscode-editorCursor-foreground: #f8f8f0; + --vscode-editorWhitespace-foreground: #3b3a32; + --vscode-editorIndentGuide-background: #404040; + --vscode-editorIndentGuide-activeBackground: rgba(157, 85, 15, 0.69); + --vscode-editorLineNumber-foreground: #858585; + --vscode-editorActiveLineNumber-foreground: #c6c6c6; + --vscode-editorLineNumber-activeForeground: #c6c6c6; + --vscode-editorRuler-foreground: #5a5a5a; + --vscode-editorCodeLens-foreground: #999999; + --vscode-editorBracketMatch-background: rgba(0, 100, 0, 0.1); + --vscode-editorBracketMatch-border: #888888; + --vscode-editorOverviewRuler-border: rgba(127, 127, 127, 0.3); + --vscode-editorGutter-background: #272822; + --vscode-editorUnnecessaryCode-opacity: rgba(0, 0, 0, 0.67); + --vscode-editorGhostText-foreground: rgba(255, 255, 255, 0.34); + --vscode-editorOverviewRuler-rangeHighlightForeground: rgba(0, 122, 204, 0.6); + --vscode-editorOverviewRuler-errorForeground: rgba(255, 18, 18, 0.7); + --vscode-editorOverviewRuler-warningForeground: #cca700; + --vscode-editorOverviewRuler-infoForeground: #3794ff; + --vscode-editorBracketHighlight-foreground1: #ffd700; + --vscode-editorBracketHighlight-foreground2: #da70d6; + --vscode-editorBracketHighlight-foreground3: #179fff; + --vscode-editorBracketHighlight-foreground4: rgba(0, 0, 0, 0); + --vscode-editorBracketHighlight-foreground5: rgba(0, 0, 0, 0); + --vscode-editorBracketHighlight-foreground6: rgba(0, 0, 0, 0); + --vscode-editorBracketHighlight-unexpectedBracket-foreground: rgba(255, 18, 18, 0.8); + --vscode-editorBracketPairGuide-background1: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-background2: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-background3: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-background4: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-background5: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-background6: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-activeBackground1: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-activeBackground2: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-activeBackground3: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-activeBackground4: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-activeBackground5: rgba(0, 0, 0, 0); + --vscode-editorBracketPairGuide-activeBackground6: rgba(0, 0, 0, 0); + --vscode-editorUnicodeHighlight-border: #bd9b03; + --vscode-editorOverviewRuler-bracketMatchForeground: #a0a0a0; + --vscode-peekViewTitle-background: rgba(55, 148, 255, 0.1); + --vscode-peekViewTitleLabel-foreground: #ffffff; + --vscode-peekViewTitleDescription-foreground: rgba(204, 204, 204, 0.7); + --vscode-peekView-border: #3794ff; + --vscode-peekViewResult-background: #252526; + --vscode-peekViewResult-lineForeground: #bbbbbb; + --vscode-peekViewResult-fileForeground: #ffffff; + --vscode-peekViewResult-selectionBackground: rgba(51, 153, 255, 0.2); + --vscode-peekViewResult-selectionForeground: #ffffff; + --vscode-peekViewEditor-background: #001f33; + --vscode-peekViewEditorGutter-background: #001f33; + --vscode-peekViewResult-matchHighlightBackground: rgba(234, 92, 0, 0.3); + --vscode-peekViewEditor-matchHighlightBackground: rgba(255, 143, 0, 0.6); + --vscode-editorMarkerNavigationError-background: #f14c4c; + --vscode-editorMarkerNavigationError-headerBackground: rgba(241, 76, 76, 0.1); + --vscode-editorMarkerNavigationWarning-background: #cca700; + --vscode-editorMarkerNavigationWarning-headerBackground: rgba(204, 167, 0, 0.1); + --vscode-editorMarkerNavigationInfo-background: #3794ff; + --vscode-editorMarkerNavigationInfo-headerBackground: rgba(55, 148, 255, 0.1); + --vscode-editorMarkerNavigation-background: #272822; + --vscode-editor-foldBackground: rgba(73, 72, 62, 0.3); + --vscode-editorGutter-foldingControlForeground: #c5c5c5; + --vscode-symbolIcon-arrayForeground: #cccccc; + --vscode-symbolIcon-booleanForeground: #cccccc; + --vscode-symbolIcon-classForeground: #ee9d28; + --vscode-symbolIcon-colorForeground: #cccccc; + --vscode-symbolIcon-constantForeground: #cccccc; + --vscode-symbolIcon-constructorForeground: #b180d7; + --vscode-symbolIcon-enumeratorForeground: #ee9d28; + --vscode-symbolIcon-enumeratorMemberForeground: #75beff; + --vscode-symbolIcon-eventForeground: #ee9d28; + --vscode-symbolIcon-fieldForeground: #75beff; + --vscode-symbolIcon-fileForeground: #cccccc; + --vscode-symbolIcon-folderForeground: #cccccc; + --vscode-symbolIcon-functionForeground: #b180d7; + --vscode-symbolIcon-interfaceForeground: #75beff; + --vscode-symbolIcon-keyForeground: #cccccc; + --vscode-symbolIcon-keywordForeground: #cccccc; + --vscode-symbolIcon-methodForeground: #b180d7; + --vscode-symbolIcon-moduleForeground: #cccccc; + --vscode-symbolIcon-namespaceForeground: #cccccc; + --vscode-symbolIcon-nullForeground: #cccccc; + --vscode-symbolIcon-numberForeground: #cccccc; + --vscode-symbolIcon-objectForeground: #cccccc; + --vscode-symbolIcon-operatorForeground: #cccccc; + --vscode-symbolIcon-packageForeground: #cccccc; + --vscode-symbolIcon-propertyForeground: #cccccc; + --vscode-symbolIcon-referenceForeground: #cccccc; + --vscode-symbolIcon-snippetForeground: #cccccc; + --vscode-symbolIcon-stringForeground: #cccccc; + --vscode-symbolIcon-structForeground: #cccccc; + --vscode-symbolIcon-textForeground: #cccccc; + --vscode-symbolIcon-typeParameterForeground: #cccccc; + --vscode-symbolIcon-unitForeground: #cccccc; + --vscode-symbolIcon-variableForeground: #75beff; + --vscode-editorSuggestWidget-background: #252526; + --vscode-editorSuggestWidget-border: #454545; + --vscode-editorSuggestWidget-foreground: #f8f8f2; + --vscode-editorSuggestWidget-selectedForeground: #ffffff; + --vscode-editorSuggestWidget-selectedBackground: #094771; + --vscode-editorSuggestWidget-highlightForeground: #18a3ff; + --vscode-editorSuggestWidget-focusHighlightForeground: #18a3ff; + --vscode-editorSuggestWidgetStatus-foreground: rgba(248, 248, 242, 0.5); + --vscode-editor-linkedEditingBackground: rgba(255, 0, 0, 0.3); + --vscode-editorHoverWidget-highlightForeground: #18a3ff; + --vscode-editor-wordHighlightBackground: rgba(87, 87, 87, 0.72); + --vscode-editor-wordHighlightStrongBackground: rgba(0, 73, 114, 0.72); + --vscode-editorOverviewRuler-wordHighlightForeground: rgba(160, 160, 160, 0.8); + --vscode-editorOverviewRuler-wordHighlightStrongForeground: rgba(192, 160, 192, 0.8); +} +.dark-theme .monaco-editor .mtk1 { + color: #ffffff !important; +} +.dark-theme .monaco-editor .mtk2 { + color: #002240 !important; +} +.dark-theme .monaco-editor .mtk3 { + color: #cc6666 !important; +} +.dark-theme .monaco-editor .mtk4 { + color: #9cdcfe !important; +} +.dark-theme .monaco-editor .mtk5 { + color: #ce9178 !important; +} +.dark-theme .monaco-editor .mtk6 { + color: #d4d4d4 !important; +} +.dark-theme .monaco-editor .mtk7 { + color: #b5cea8 !important; +} +.dark-theme .monaco-editor .mtk8 { + color: #608b4e !important; +} +.dark-theme .monaco-editor .mtk9 { + color: #0088ff !important; +} +.dark-theme .monaco-editor .mtk10 { + color: #569cd6 !important; +} +.dark-theme .monaco-editor .mtk11 { + color: #ff628c !important; +} +.dark-theme .monaco-editor .mtk12 { + color: #dcdcdc !important; +} +.dark-theme .monaco-editor .mtk13 { + color: #808080 !important; +} +.dark-theme .monaco-editor .mtk14 { + color: #ffdd00 !important; +} +.dark-theme .monaco-editor .mtk15 { + color: #80fcff !important; +} +.dark-theme .monaco-editor .mtk16 { + color: #f44747 !important; +} +.dark-theme .monaco-editor .mtk17 { + color: #f8f8f8 !important; +} +.dark-theme .monaco-editor .mtk18 { + color: #800f00 !important; +} +.dark-theme .monaco-editor .mtk19 { + color: #ff9d00 !important; +} +.dark-theme .monaco-editor .mtk20 { + color: #c586c0 !important; +} +.dark-theme .monaco-editor .mtk21 { + color: #c1afff !important; +} +.dark-theme .monaco-editor .mtk22 { + color: #806f00 !important; +} +.dark-theme .monaco-editor .mtk23 { + color: #4c0900 !important; +} +.dark-theme .monaco-editor .mtk24 { + color: #c8e4fd !important; +} +.dark-theme .monaco-editor .mtk25 { + color: #001221 !important; +} +.dark-theme .monaco-editor .mtk26 { + color: #154f00 !important; +} +.dark-theme .monaco-editor .mtk27 { + color: #b8ffd9 !important; +} +.dark-theme .monaco-editor .mtk28 { + color: #130d26 !important; +} +.dark-theme .monaco-editor .mtk29 { + color: #004480 !important; +} +.dark-theme .monaco-editor .mtk30 { + color: #8fddf6 !important; +} +.dark-theme .monaco-editor .mtk31 { + color: #eb939a !important; +} +.dark-theme .monaco-editor .mtk32 { + color: #000e1a !important; +} +.dark-theme .monaco-editor .mtk33 { + color: #ffee80 !important; +} +.dark-theme .monaco-editor .mtk34 { + color: #f6aa11 !important; +} +.dark-theme .monaco-editor .mtk35 { + color: #8996a8 !important; +} +.dark-theme .monaco-editor .mtk36 { + color: #afc4db !important; +} +.dark-theme .monaco-editor .mtk37 { + color: #f6f080 !important; +} +.dark-theme .monaco-editor .mtk38 { + color: #edf080 !important; +} +.dark-theme .monaco-editor .mtk39 { + color: #a79873 !important; +} +.dark-theme .monaco-editor .mtk40 { + color: #9effff !important; +} +.dark-theme .monaco-editor .mtk41 { + color: #5fe461 !important; +} +.dark-theme .monaco-editor .mtk42 { + color: #ffb454 !important; +} +.dark-theme .monaco-editor .mtk43 { + color: #73817d !important; +} +.dark-theme .monaco-editor .mtk44 { + color: #dd6a6f !important; +} +.dark-theme .monaco-editor .mtk45 { + color: #5bb498 !important; +} +.dark-theme .monaco-editor .mtk46 { + color: #909090 !important; +} +.dark-theme .monaco-editor .mtk47 { + color: #778899 !important; +} +.dark-theme .monaco-editor .mtk48 { + color: #ff00ff !important; +} +.dark-theme .monaco-editor .mtk49 { + color: #e1efff !important; +} +.dark-theme .monaco-editor .mtk50 { + color: #b46695 !important; +} +.dark-theme .monaco-editor .mtk51 { + color: #223545 !important; +} +.dark-theme .monaco-editor .mtk52 { + color: #3ad900 !important; +} +.dark-theme .monaco-editor .mtk53 { + color: #80ff82 !important; +} +.dark-theme .monaco-editor .mtk54 { + color: #edef7d !important; +} +.dark-theme .monaco-editor .mtk55 { + color: #9eff80 !important; +} +.dark-theme .monaco-editor .mtk56 { + color: #80ffc2 !important; +} +.dark-theme .monaco-editor .mtk57 { + color: #ff0000 !important; +} +.dark-theme .monaco-editor .mtk58 { + color: #80ffbb !important; +} +.dark-theme .monaco-editor .mtk59 { + color: #ffb054 !important; +} +.dark-theme .monaco-editor .mtk60 { + color: #ff1e00 !important; +} +.dark-theme .monaco-editor .mtk61 { + color: #9df39f !important; +} +.dark-theme .monaco-editor .mtk62 { + color: #4f76ac !important; +} +.dark-theme .monaco-editor .mtk63 { + color: #3dc9b0 !important; +} +.dark-theme .monaco-editor .mtk64 { + color: #74b0df !important; +} +.dark-theme .monaco-editor .mtk65 { + color: #cccccc !important; +} + +.dark-theme .monaco-editor .bracket-highlighting-0 { + color: #e4a9c6 !important; +} +.dark-theme .monaco-editor .bracket-highlighting-1 { + color: #e8c1b3 !important; +} +.dark-theme .monaco-editor .bracket-highlighting-2 { + color: #e7ddcb !important; +} +.dark-theme .monaco-editor .bracket-highlighting-3 { + color: #b6dec2 !important; +} +.dark-theme .monaco-editor .bracket-highlighting-4 { + color: #a4c2f8 !important; +} +.dark-theme .monaco-editor .bracket-highlighting-5 { + color: #ccb9f6 !important; +} + +.dark-theme .mtki { + font-style: italic; +} +.dark-theme .mtkb { + font-weight: bold; +} +.dark-theme .mtku { + text-decoration: underline; + text-underline-position: under; +} +.dark-theme .mtks { + text-decoration: line-through; +} +.dark-theme .mtks.mtku { + text-decoration: underline line-through; + text-underline-position: under; +} + +/* +Custom code for dark style of other elements +*/ + +.dark-theme .nav { + --vscode-breadcrumb-background: #2B2B2B; + --vscode-breadcrumb-foreground: #E6E1DC; +} + +:root .dark-theme { /* TODO: is this correct? */ + --vscode-editor-background: #2B2B2B; + --vscode-editor-foreground: #E6E1DC; + --vscode-textCodeBlock-background: #2B2B2B; + --vscode-textCodeBlock-foreground: #E6E1DC; + --vscode-editorHoverWidget-background: #3a3a3a; + --vscode-editorHoverWidget-foreground: #E6E1DC; + --vscode-notifications-background: #3a3a3a; + --vscode-notifications-foreground: #E6E1DC; + --vscode-editor-selectionBackground: #3572d3; +} + +.dark-theme .infoview { + color: #E6E1DC !important; + background-color: #2B2B2B !important; +} + +.dark-theme .trace-line:hover { + background-color: #196fa9; +} + +.dark-theme svg.logo { + filter: invert(1); +} + +.dark-theme .app { + background-color: #2B2B2B; +} + +/* .dark-theme .monaco-editor .view-lines .view-line { + background-color: #303030; +} + */ + +.dark-theme .monaco-editor .view-overlays .current-line { + border: none !important; +} + +.dark-theme .monaco-editor .lines-content .core-guide-indent-active { + box-shadow: none; +} + +.dark-theme .monaco-aria-container { + background-color: #3a3a3a; +} + +.dark-theme .notification-toasts { + color: #E6E1DC !important; + background-color: #3a3a3a !important; +} + +.dark-theme .quick-input-widget { + color: #E6E1DC !important; + background-color: #3a3a3a !important; +} + +.dark-theme .quick-input-widget .monaco-highlighted-label .highlight, +.dark-theme .quick-input-widget .monaco-highlighted-label .highlight { + color: #0066BF; +} + +.dark-theme .vs .quick-input-widget .monaco-list-row.focused .monaco-highlighted-label .highlight, +.dark-theme .vs .quick-input-widget .monaco-list-row.focused .monaco-highlighted-label .highlight { + color: #9DDDFF; +} + +.dark-theme .vs-dark .quick-input-widget .monaco-highlighted-label .highlight, +.dark-theme .vs-dark .quick-input-widget .monaco-highlighted-label .highlight { + color: #0097fb; +} + +.dark-theme .hc-black .quick-input-widget .monaco-highlighted-label .highlight, +.dark-theme .hc-black .quick-input-widget .monaco-highlighted-label .highlight { + color: #F38518; +} + +.dark-theme .hc-light .quick-input-widget .monaco-highlighted-label .highlight, +.dark-theme .hc-light .quick-input-widget .monaco-highlighted-label .highlight { + color: #0F4A85; +} + +.dark-theme .monaco-keybinding > .monaco-keybinding-key { + background-color: rgba(221, 221, 221, 0.4); + border: solid 1px rgba(204, 204, 204, 0.4); + border-bottom-color: rgba(187, 187, 187, 0.4); + box-shadow: inset 0 -1px 0 rgba(187, 187, 187, 0.4); + color: #b4b4b4; +} + + +.dark-theme .monaco-list.list_id_3 .monaco-list-row.focused { color: #ffffff; } +.dark-theme .monaco-list.list_id_3 .monaco-list-row.focused:hover { color: #ffffff; } +.dark-theme .monaco-list.list_id_3 .monaco-list-row.focused .codicon { color: #ffffff; } +.dark-theme .monaco-list.list_id_3 .monaco-list-row.focused { background-color: #0060c0; } +.dark-theme .monaco-list.list_id_3 .monaco-list-row.focused:hover { background-color: #0060c0; } + +.dark-theme .monaco-list.list_id_3 .monaco-list-rows { background: #3a3a3a !important; } +.dark-theme .monaco-list.list_id_3 .monaco-list-row { background: #494949 !important; } +.dark-theme .monaco-list.list_id_3 .monaco-list-row:hover { background: #5f5f5f !important; } + +.dark-theme .nav .dropdown { + color: #E6E1DC !important; + background-color: #3a3a3a !important; +} + +.dark-theme .monaco-editor .monaco-hover code { + background-color: rgba(10, 10, 10, 0.4); + color: #E6E1DC !important; +}