Last active
October 13, 2023 06:42
-
-
Save utensil/552f47cd687290c1131da0a79cc7dff9 to your computer and use it in GitHub Desktop.
live.lean-lang.org Dark Mode
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| You may use it via https://github.com/openstyles/stylus/ , matching url prefix: https://live.lean-lang.org/ | |
| */ | |
| /* | |
| 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 | |
| */ | |
| .monaco-editor .accessibilityHelpWidget { | |
| background-color: #252526; | |
| } | |
| .monaco-editor .accessibilityHelpWidget { | |
| color: #cccccc; | |
| } | |
| .monaco-editor .accessibilityHelpWidget { | |
| box-shadow: 0 2px 8px rgba(0, 0, 0, 0.36); | |
| } | |
| .monaco-editor, | |
| .monaco-editor-background, | |
| .monaco-editor .inputarea.ime-input { | |
| background-color: #272822; | |
| } | |
| .monaco-editor, | |
| .monaco-editor .inputarea.ime-input { | |
| color: #f8f8f2; | |
| } | |
| .monaco-editor .margin { | |
| background-color: #272822; | |
| } | |
| .monaco-editor .rangeHighlight { | |
| background-color: rgba(255, 255, 255, 0.04); | |
| } | |
| .monaco-editor .symbolHighlight { | |
| background-color: rgba(234, 92, 0, 0.33); | |
| } | |
| .monaco-editor .mtkw { | |
| color: #3b3a32 !important; | |
| } | |
| .monaco-editor .mtkz { | |
| color: #3b3a32 !important; | |
| } | |
| .monaco-editor .unexpected-closing-bracket { | |
| color: rgba(255, 18, 18, 0.8); | |
| } | |
| .monaco-editor .bracket-highlighting-0 { | |
| color: #ffd700; | |
| } | |
| .monaco-editor .bracket-highlighting-1 { | |
| color: #da70d6; | |
| } | |
| .monaco-editor .bracket-highlighting-2 { | |
| color: #179fff; | |
| } | |
| .monaco-editor .bracket-highlighting-3 { | |
| color: #ffd700; | |
| } | |
| .monaco-editor .bracket-highlighting-4 { | |
| color: #da70d6; | |
| } | |
| .monaco-editor .bracket-highlighting-5 { | |
| color: #179fff; | |
| } | |
| .monaco-editor .bracket-highlighting-6 { | |
| color: #ffd700; | |
| } | |
| .monaco-editor .bracket-highlighting-7 { | |
| color: #da70d6; | |
| } | |
| .monaco-editor .bracket-highlighting-8 { | |
| color: #179fff; | |
| } | |
| .monaco-editor .bracket-highlighting-9 { | |
| color: #ffd700; | |
| } | |
| .monaco-editor .bracket-highlighting-10 { | |
| color: #da70d6; | |
| } | |
| .monaco-editor .bracket-highlighting-11 { | |
| color: #179fff; | |
| } | |
| .monaco-editor .bracket-highlighting-12 { | |
| color: #ffd700; | |
| } | |
| .monaco-editor .bracket-highlighting-13 { | |
| color: #da70d6; | |
| } | |
| .monaco-editor .bracket-highlighting-14 { | |
| color: #179fff; | |
| } | |
| .monaco-editor .bracket-highlighting-15 { | |
| color: #ffd700; | |
| } | |
| .monaco-editor .bracket-highlighting-16 { | |
| color: #da70d6; | |
| } | |
| .monaco-editor .bracket-highlighting-17 { | |
| color: #179fff; | |
| } | |
| .monaco-editor .bracket-highlighting-18 { | |
| color: #ffd700; | |
| } | |
| .monaco-editor .bracket-highlighting-19 { | |
| color: #da70d6; | |
| } | |
| .monaco-editor .bracket-highlighting-20 { | |
| color: #179fff; | |
| } | |
| .monaco-editor .bracket-highlighting-21 { | |
| color: #ffd700; | |
| } | |
| .monaco-editor .bracket-highlighting-22 { | |
| color: #da70d6; | |
| } | |
| .monaco-editor .bracket-highlighting-23 { | |
| color: #179fff; | |
| } | |
| .monaco-editor .bracket-highlighting-24 { | |
| color: #ffd700; | |
| } | |
| .monaco-editor .bracket-highlighting-25 { | |
| color: #da70d6; | |
| } | |
| .monaco-editor .bracket-highlighting-26 { | |
| color: #179fff; | |
| } | |
| .monaco-editor .bracket-highlighting-27 { | |
| color: #ffd700; | |
| } | |
| .monaco-editor .bracket-highlighting-28 { | |
| color: #da70d6; | |
| } | |
| .monaco-editor .bracket-highlighting-29 { | |
| color: #179fff; | |
| } | |
| .monaco-editor .bracket-match { | |
| background-color: rgba(0, 100, 0, 0.1); | |
| } | |
| .monaco-editor .bracket-match { | |
| border: 1px solid #888888; | |
| } | |
| .monaco-editor .contentWidgets .codicon.codicon-light-bulb { | |
| color: #ffcc00; | |
| background-color: rgba(39, 40, 34, 0.7); | |
| } | |
| .monaco-editor .contentWidgets .codicon.codicon-lightbulb-autofix { | |
| color: #75beff; | |
| background-color: rgba(39, 40, 34, 0.7); | |
| } | |
| .monaco-editor .line-numbers { | |
| color: #858585; | |
| } | |
| .monaco-editor .line-numbers.active-line-number { | |
| color: #c6c6c6; | |
| } | |
| .monaco-editor .view-overlays .current-line { | |
| background-color: #3e3d32; | |
| } | |
| .monaco-editor .margin-view-overlays .current-line-margin { | |
| background-color: #3e3d32; | |
| border: none; | |
| } | |
| .monaco-scrollable-element > .shadow.top { | |
| box-shadow: #000000 0 6px 6px -6px inset; | |
| } | |
| .monaco-scrollable-element > .shadow.left { | |
| box-shadow: #000000 6px 0 6px -6px inset; | |
| } | |
| .monaco-scrollable-element > .shadow.top.left { | |
| box-shadow: #000000 6px 6px 6px -6px inset; | |
| } | |
| .monaco-scrollable-element > .scrollbar > .slider { | |
| background: rgba(121, 121, 121, 0.4); | |
| } | |
| .monaco-scrollable-element > .scrollbar > .slider:hover { | |
| background: rgba(100, 100, 100, 0.7); | |
| } | |
| .monaco-scrollable-element > .scrollbar > .slider.active { | |
| background: rgba(191, 191, 191, 0.4); | |
| } | |
| .monaco-editor .lines-content .core-guide-indent { | |
| box-shadow: 1px 0 0 0 #404040 inset; | |
| } | |
| .monaco-editor .lines-content .core-guide-indent-active { | |
| box-shadow: 1px 0 0 0 rgba(157, 85, 15, 0.69) inset; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-0 { | |
| --guide-color: rgba(255, 215, 0, 0.3); | |
| --guide-color-active: #ffd700; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-1 { | |
| --guide-color: rgba(218, 112, 214, 0.3); | |
| --guide-color-active: #da70d6; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-2 { | |
| --guide-color: rgba(23, 159, 255, 0.3); | |
| --guide-color-active: #179fff; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-3 { | |
| --guide-color: rgba(255, 215, 0, 0.3); | |
| --guide-color-active: #ffd700; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-4 { | |
| --guide-color: rgba(218, 112, 214, 0.3); | |
| --guide-color-active: #da70d6; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-5 { | |
| --guide-color: rgba(23, 159, 255, 0.3); | |
| --guide-color-active: #179fff; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-6 { | |
| --guide-color: rgba(255, 215, 0, 0.3); | |
| --guide-color-active: #ffd700; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-7 { | |
| --guide-color: rgba(218, 112, 214, 0.3); | |
| --guide-color-active: #da70d6; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-8 { | |
| --guide-color: rgba(23, 159, 255, 0.3); | |
| --guide-color-active: #179fff; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-9 { | |
| --guide-color: rgba(255, 215, 0, 0.3); | |
| --guide-color-active: #ffd700; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-10 { | |
| --guide-color: rgba(218, 112, 214, 0.3); | |
| --guide-color-active: #da70d6; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-11 { | |
| --guide-color: rgba(23, 159, 255, 0.3); | |
| --guide-color-active: #179fff; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-12 { | |
| --guide-color: rgba(255, 215, 0, 0.3); | |
| --guide-color-active: #ffd700; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-13 { | |
| --guide-color: rgba(218, 112, 214, 0.3); | |
| --guide-color-active: #da70d6; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-14 { | |
| --guide-color: rgba(23, 159, 255, 0.3); | |
| --guide-color-active: #179fff; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-15 { | |
| --guide-color: rgba(255, 215, 0, 0.3); | |
| --guide-color-active: #ffd700; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-16 { | |
| --guide-color: rgba(218, 112, 214, 0.3); | |
| --guide-color-active: #da70d6; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-17 { | |
| --guide-color: rgba(23, 159, 255, 0.3); | |
| --guide-color-active: #179fff; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-18 { | |
| --guide-color: rgba(255, 215, 0, 0.3); | |
| --guide-color-active: #ffd700; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-19 { | |
| --guide-color: rgba(218, 112, 214, 0.3); | |
| --guide-color-active: #da70d6; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-20 { | |
| --guide-color: rgba(23, 159, 255, 0.3); | |
| --guide-color-active: #179fff; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-21 { | |
| --guide-color: rgba(255, 215, 0, 0.3); | |
| --guide-color-active: #ffd700; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-22 { | |
| --guide-color: rgba(218, 112, 214, 0.3); | |
| --guide-color-active: #da70d6; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-23 { | |
| --guide-color: rgba(23, 159, 255, 0.3); | |
| --guide-color-active: #179fff; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-24 { | |
| --guide-color: rgba(255, 215, 0, 0.3); | |
| --guide-color-active: #ffd700; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-25 { | |
| --guide-color: rgba(218, 112, 214, 0.3); | |
| --guide-color-active: #da70d6; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-26 { | |
| --guide-color: rgba(23, 159, 255, 0.3); | |
| --guide-color-active: #179fff; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-27 { | |
| --guide-color: rgba(255, 215, 0, 0.3); | |
| --guide-color-active: #ffd700; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-28 { | |
| --guide-color: rgba(218, 112, 214, 0.3); | |
| --guide-color-active: #da70d6; | |
| } | |
| .monaco-editor .bracket-indent-guide.lvl-29 { | |
| --guide-color: rgba(23, 159, 255, 0.3); | |
| --guide-color-active: #179fff; | |
| } | |
| .monaco-editor .vertical { | |
| box-shadow: 1px 0 0 0 var(--guide-color) inset; | |
| } | |
| .monaco-editor .horizontal-top { | |
| border-top: 1px solid var(--guide-color); | |
| } | |
| .monaco-editor .horizontal-bottom { | |
| border-bottom: 1px solid var(--guide-color); | |
| } | |
| .monaco-editor .vertical.indent-active { | |
| box-shadow: 1px 0 0 0 var(--guide-color-active) inset; | |
| } | |
| .monaco-editor .horizontal-top.indent-active { | |
| border-top: 1px solid var(--guide-color-active); | |
| } | |
| .monaco-editor .horizontal-bottom.indent-active { | |
| border-bottom: 1px solid var(--guide-color-active); | |
| } | |
| .monaco-editor .minimap-slider .minimap-slider-horizontal { | |
| background: rgba(121, 121, 121, 0.2); | |
| } | |
| .monaco-editor .minimap-slider:hover .minimap-slider-horizontal { | |
| background: rgba(100, 100, 100, 0.35); | |
| } | |
| .monaco-editor .minimap-slider.active .minimap-slider-horizontal { | |
| background: rgba(191, 191, 191, 0.2); | |
| } | |
| .monaco-editor .minimap-shadow-visible { | |
| box-shadow: #000000 -6px 0 6px -6px inset; | |
| } | |
| .monaco-editor .view-ruler { | |
| box-shadow: 1px 0 0 0 #5a5a5a inset; | |
| } | |
| .monaco-editor .scroll-decoration { | |
| box-shadow: #000000 0 6px 6px -6px inset; | |
| } | |
| .monaco-editor .focused .selected-text { | |
| background-color: #49483e; | |
| } | |
| .monaco-editor .selected-text { | |
| background-color: #3a3d41; | |
| } | |
| .monaco-editor .inputarea.ime-input { | |
| caret-color: #f8f8f0; | |
| } | |
| .monaco-editor .cursors-layer .cursor { | |
| background-color: #f8f8f0; | |
| border-color: #f8f8f0; | |
| color: #07070f; | |
| } | |
| .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; | |
| } | |
| .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; | |
| } | |
| .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; | |
| } | |
| .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; | |
| } | |
| .monaco-editor.showUnused .squiggly-inline-unnecessary { | |
| opacity: 0.667; | |
| } | |
| .monaco-editor.showDeprecated .squiggly-inline-deprecated { | |
| text-decoration: line-through; | |
| text-decoration-color: #f8f8f2 | |
| } | |
| .monaco-editor .goto-definition-link { | |
| color: #4e94ce !important; | |
| } | |
| .monaco-editor .zone-widget .codicon.codicon-error, | |
| .markers-panel .marker-icon.codicon.codicon-error, | |
| .text-search-provider-messages .providerMessage .codicon.codicon-error, | |
| .extensions-viewlet > .extensions .codicon.codicon-error { | |
| color: #f14c4c; | |
| } | |
| .monaco-editor .zone-widget .codicon.codicon-warning, | |
| .markers-panel .marker-icon.codicon.codicon-warning, | |
| .extensions-viewlet > .extensions .codicon.codicon-warning, | |
| .extension-editor .codicon.codicon-warning, | |
| .text-search-provider-messages .providerMessage .codicon.codicon-warning, | |
| .preferences-editor .codicon.codicon-warning { | |
| color: #cca700; | |
| } | |
| .monaco-editor .zone-widget .codicon.codicon-info, | |
| .markers-panel .marker-icon.codicon.codicon-info, | |
| .extensions-viewlet > .extensions .codicon.codicon-info, | |
| .text-search-provider-messages .providerMessage .codicon.codicon-info, | |
| .extension-editor .codicon.codicon-info { | |
| color: #3794ff; | |
| } | |
| .monaco-hover .hover-contents a.code-link span { | |
| color: #3794ff; | |
| } | |
| .monaco-hover .hover-contents a.code-link span:hover { | |
| color: #3794ff; | |
| } | |
| .monaco-editor .hoverHighlight { | |
| background-color: rgba(38, 79, 120, 0.25); | |
| } | |
| .monaco-editor .monaco-hover { | |
| background-color: #252526; | |
| } | |
| .monaco-editor .monaco-hover { | |
| border: 1px solid #454545; | |
| } | |
| .monaco-editor .monaco-hover .hover-row:not(:first-child):not(:empty) { | |
| border-top: 1px solid rgba(69, 69, 69, 0.5); | |
| } | |
| .monaco-editor .monaco-hover hr { | |
| border-top: 1px solid rgba(69, 69, 69, 0.5); | |
| } | |
| .monaco-editor .monaco-hover hr { | |
| border-bottom: 0px solid rgba(69, 69, 69, 0.5); | |
| } | |
| .monaco-editor .monaco-hover a { | |
| color: #3794ff; | |
| } | |
| .monaco-editor .monaco-hover a:hover { | |
| color: #3794ff; | |
| } | |
| .monaco-editor .monaco-hover { | |
| color: #cccccc; | |
| } | |
| .monaco-editor .monaco-hover .hover-row .actions { | |
| background-color: #2c2c2d; | |
| } | |
| .monaco-editor .monaco-hover code { | |
| background-color: rgba(10, 10, 10, 0.4); | |
| } | |
| .monaco-editor .findOptionsWidget { | |
| background-color: #252526; | |
| } | |
| .monaco-editor .findOptionsWidget { | |
| color: #cccccc; | |
| } | |
| .monaco-editor .findOptionsWidget { | |
| box-shadow: 0 0 8px 2px rgba(0, 0, 0, 0.36); | |
| } | |
| .monaco-editor .findMatch { | |
| background-color: rgba(234, 92, 0, 0.33); | |
| } | |
| .monaco-editor .currentFindMatch { | |
| background-color: #515c6a; | |
| } | |
| .monaco-editor .findScope { | |
| background-color: rgba(58, 61, 65, 0.4); | |
| } | |
| .monaco-editor .find-widget { | |
| background-color: #252526; | |
| } | |
| .monaco-editor .find-widget { | |
| box-shadow: 0 0 8px 2px rgba(0, 0, 0, 0.36); | |
| } | |
| .monaco-editor .find-widget { | |
| color: #cccccc; | |
| } | |
| .monaco-editor .find-widget.no-results .matchesCount { | |
| color: #f48771; | |
| } | |
| .monaco-editor .find-widget .monaco-sash { | |
| background-color: #454545; | |
| } | |
| .monaco-editor .find-widget .button:not(.disabled):hover, | |
| .monaco-editor .find-widget .codicon-find-selection:hover { | |
| background-color: rgba(90, 93, 94, 0.31) !important; | |
| } | |
| .monaco-editor .find-widget .monaco-inputbox.synthetic-focus { | |
| outline-color: #007fd4; | |
| } | |
| .monaco-editor .folded-background { | |
| background-color: rgba(73, 72, 62, 0.3); | |
| } | |
| .monaco-editor .cldr.codicon.codicon-folding-expanded, | |
| .monaco-editor .cldr.codicon.codicon-folding-collapsed { | |
| color: #c5c5c5 !important; | |
| } | |
| .monaco-editor.vs .valueSetReplacement { | |
| outline: solid 2px #888888; | |
| } | |
| .codicon.codicon-symbol-array { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-boolean { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-class { | |
| color: #ee9d28; | |
| } | |
| .codicon.codicon-symbol-method { | |
| color: #b180d7; | |
| } | |
| .codicon.codicon-symbol-color { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-constant { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-constructor { | |
| color: #b180d7; | |
| } | |
| .codicon.codicon-symbol-value, | |
| .codicon.codicon-symbol-enum { | |
| color: #ee9d28; | |
| } | |
| .codicon.codicon-symbol-enum-member { | |
| color: #75beff; | |
| } | |
| .codicon.codicon-symbol-event { | |
| color: #ee9d28; | |
| } | |
| .codicon.codicon-symbol-field { | |
| color: #75beff; | |
| } | |
| .codicon.codicon-symbol-file { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-folder { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-function { | |
| color: #b180d7; | |
| } | |
| .codicon.codicon-symbol-interface { | |
| color: #75beff; | |
| } | |
| .codicon.codicon-symbol-key { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-keyword { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-module { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-namespace { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-null { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-number { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-object { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-operator { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-package { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-property { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-reference { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-snippet { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-string { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-struct { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-text { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-type-parameter { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-unit { | |
| color: #cccccc; | |
| } | |
| .codicon.codicon-symbol-variable { | |
| color: #75beff; | |
| } | |
| .monaco-editor .ghost-text-decoration { | |
| color: rgba(255, 255, 255, 0.34) !important; | |
| } | |
| .monaco-editor .ghost-text-decoration-preview { | |
| color: rgba(255, 255, 255, 0.34) !important; | |
| } | |
| .monaco-editor .suggest-preview-text .ghost-text { | |
| color: rgba(255, 255, 255, 0.34) !important; | |
| } | |
| .monaco-editor .tokens-inspect-widget { | |
| border: 1px solid #454545; | |
| } | |
| .monaco-editor .tokens-inspect-widget .tokens-inspect-separator { | |
| background-color: #454545; | |
| } | |
| .monaco-editor .tokens-inspect-widget { | |
| background-color: #252526; | |
| } | |
| .monaco-editor .tokens-inspect-widget { | |
| color: #cccccc; | |
| } | |
| .monaco-editor .linked-editing-decoration { | |
| background: rgba(255, 0, 0, 0.3); | |
| border-left-color: rgba(255, 0, 0, 0.3); | |
| } | |
| .monaco-editor .detected-link-active { | |
| color: #4e94ce !important; | |
| } | |
| .monaco-editor .parameter-hints-widget { | |
| border: 1px solid #454545; | |
| } | |
| .monaco-editor .parameter-hints-widget.multiple .body { | |
| border-left: 1px solid rgba(69, 69, 69, 0.5); | |
| } | |
| .monaco-editor .parameter-hints-widget .signature.has-docs { | |
| border-bottom: 1px solid rgba(69, 69, 69, 0.5); | |
| } | |
| .monaco-editor .parameter-hints-widget { | |
| background-color: #252526; | |
| } | |
| .monaco-editor .parameter-hints-widget a { | |
| color: #3794ff; | |
| } | |
| .monaco-editor .parameter-hints-widget a:hover { | |
| color: #3794ff; | |
| } | |
| .monaco-editor .parameter-hints-widget { | |
| color: #cccccc; | |
| } | |
| .monaco-editor .parameter-hints-widget code { | |
| background-color: rgba(10, 10, 10, 0.4); | |
| } | |
| .monaco-editor .parameter-hints-widget .parameter.active { | |
| color: #18a3ff | |
| } | |
| .monaco-link { | |
| color: #3794ff; | |
| } | |
| .monaco-link:hover { | |
| color: #3794ff; | |
| } | |
| .monaco-editor .focused .selectionHighlight { | |
| background-color: rgba(149, 184, 220, .15); | |
| } | |
| .monaco-editor .selectionHighlight { | |
| background-color: rgba(173, 214, 255, 0.07); | |
| } | |
| .monaco-editor .wordHighlight { | |
| background-color: rgba(87, 87, 87, 0.72); | |
| } | |
| .monaco-editor .wordHighlightStrong { | |
| background-color: rgba(0, 73, 114, 0.72); | |
| } | |
| .monaco-editor .selectionHighlight { | |
| border: 1px solid #383829; | |
| box-sizing: border-box; | |
| } | |
| .monaco-diff-editor .diff-review-line-number { | |
| color: #858585; | |
| } | |
| .monaco-diff-editor .diff-review-shadow { | |
| box-shadow: #000000 0 -6px 6px -6px inset; | |
| } | |
| .monaco-editor .char-insert, | |
| .monaco-diff-editor .char-insert { | |
| background-color: rgba(155, 185, 85, 0.2); | |
| } | |
| .monaco-editor .line-insert, | |
| .monaco-diff-editor .line-insert { | |
| background-color: rgba(155, 185, 85, 0.2); | |
| } | |
| .monaco-editor .inline-added-margin-view-zone { | |
| background-color: rgba(155, 185, 85, 0.2); | |
| } | |
| .monaco-editor .gutter-insert, | |
| .monaco-diff-editor .gutter-insert { | |
| background-color: rgba(155, 185, 85, 0.2); | |
| } | |
| .monaco-editor .char-delete, | |
| .monaco-diff-editor .char-delete { | |
| background-color: rgba(255, 0, 0, 0.2); | |
| } | |
| .monaco-editor .line-delete, | |
| .monaco-diff-editor .line-delete { | |
| background-color: rgba(255, 0, 0, 0.2); | |
| } | |
| .monaco-editor .inline-deleted-margin-view-zone { | |
| background-color: rgba(255, 0, 0, 0.2); | |
| } | |
| .monaco-editor .gutter-delete, | |
| .monaco-diff-editor .gutter-delete { | |
| background-color: rgba(255, 0, 0, 0.2); | |
| } | |
| .monaco-diff-editor.side-by-side .editor.modified { | |
| box-shadow: -6px 0 5px -5px #000000; | |
| } | |
| .monaco-diff-editor .diffViewport { | |
| background: rgba(121, 121, 121, 0.4); | |
| } | |
| .monaco-diff-editor .diffViewport:hover { | |
| background: rgba(100, 100, 100, 0.7); | |
| } | |
| .monaco-diff-editor .diffViewport:active { | |
| background: rgba(191, 191, 191, 0.4); | |
| } | |
| .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; | |
| } | |
| .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); | |
| } | |
| .monaco-editor .mtk1 { | |
| color: #ffffff !important; | |
| } | |
| .monaco-editor .mtk2 { | |
| color: #002240 !important; | |
| } | |
| .monaco-editor .mtk3 { | |
| color: #cc6666 !important; | |
| } | |
| .monaco-editor .mtk4 { | |
| color: #9cdcfe !important; | |
| } | |
| .monaco-editor .mtk5 { | |
| color: #ce9178 !important; | |
| } | |
| .monaco-editor .mtk6 { | |
| color: #d4d4d4 !important; | |
| } | |
| .monaco-editor .mtk7 { | |
| color: #b5cea8 !important; | |
| } | |
| .monaco-editor .mtk8 { | |
| color: #608b4e !important; | |
| } | |
| .monaco-editor .mtk9 { | |
| color: #0088ff !important; | |
| } | |
| .monaco-editor .mtk10 { | |
| color: #569cd6 !important; | |
| } | |
| .monaco-editor .mtk11 { | |
| color: #ff628c !important; | |
| } | |
| .monaco-editor .mtk12 { | |
| color: #dcdcdc !important; | |
| } | |
| .monaco-editor .mtk13 { | |
| color: #808080 !important; | |
| } | |
| .monaco-editor .mtk14 { | |
| color: #ffdd00 !important; | |
| } | |
| .monaco-editor .mtk15 { | |
| color: #80fcff !important; | |
| } | |
| .monaco-editor .mtk16 { | |
| color: #f44747 !important; | |
| } | |
| .monaco-editor .mtk17 { | |
| color: #f8f8f8 !important; | |
| } | |
| .monaco-editor .mtk18 { | |
| color: #800f00 !important; | |
| } | |
| .monaco-editor .mtk19 { | |
| color: #ff9d00 !important; | |
| } | |
| .monaco-editor .mtk20 { | |
| color: #c586c0 !important; | |
| } | |
| .monaco-editor .mtk21 { | |
| color: #c1afff !important; | |
| } | |
| .monaco-editor .mtk22 { | |
| color: #806f00 !important; | |
| } | |
| .monaco-editor .mtk23 { | |
| color: #4c0900 !important; | |
| } | |
| .monaco-editor .mtk24 { | |
| color: #c8e4fd !important; | |
| } | |
| .monaco-editor .mtk25 { | |
| color: #001221 !important; | |
| } | |
| .monaco-editor .mtk26 { | |
| color: #154f00 !important; | |
| } | |
| .monaco-editor .mtk27 { | |
| color: #b8ffd9 !important; | |
| } | |
| .monaco-editor .mtk28 { | |
| color: #130d26 !important; | |
| } | |
| .monaco-editor .mtk29 { | |
| color: #004480 !important; | |
| } | |
| .monaco-editor .mtk30 { | |
| color: #8fddf6 !important; | |
| } | |
| .monaco-editor .mtk31 { | |
| color: #eb939a !important; | |
| } | |
| .monaco-editor .mtk32 { | |
| color: #000e1a !important; | |
| } | |
| .monaco-editor .mtk33 { | |
| color: #ffee80 !important; | |
| } | |
| .monaco-editor .mtk34 { | |
| color: #f6aa11 !important; | |
| } | |
| .monaco-editor .mtk35 { | |
| color: #8996a8 !important; | |
| } | |
| .monaco-editor .mtk36 { | |
| color: #afc4db !important; | |
| } | |
| .monaco-editor .mtk37 { | |
| color: #f6f080 !important; | |
| } | |
| .monaco-editor .mtk38 { | |
| color: #edf080 !important; | |
| } | |
| .monaco-editor .mtk39 { | |
| color: #a79873 !important; | |
| } | |
| .monaco-editor .mtk40 { | |
| color: #9effff !important; | |
| } | |
| .monaco-editor .mtk41 { | |
| color: #5fe461 !important; | |
| } | |
| .monaco-editor .mtk42 { | |
| color: #ffb454 !important; | |
| } | |
| .monaco-editor .mtk43 { | |
| color: #73817d !important; | |
| } | |
| .monaco-editor .mtk44 { | |
| color: #dd6a6f !important; | |
| } | |
| .monaco-editor .mtk45 { | |
| color: #5bb498 !important; | |
| } | |
| .monaco-editor .mtk46 { | |
| color: #909090 !important; | |
| } | |
| .monaco-editor .mtk47 { | |
| color: #778899 !important; | |
| } | |
| .monaco-editor .mtk48 { | |
| color: #ff00ff !important; | |
| } | |
| .monaco-editor .mtk49 { | |
| color: #e1efff !important; | |
| } | |
| .monaco-editor .mtk50 { | |
| color: #b46695 !important; | |
| } | |
| .monaco-editor .mtk51 { | |
| color: #223545 !important; | |
| } | |
| .monaco-editor .mtk52 { | |
| color: #3ad900 !important; | |
| } | |
| .monaco-editor .mtk53 { | |
| color: #80ff82 !important; | |
| } | |
| .monaco-editor .mtk54 { | |
| color: #edef7d !important; | |
| } | |
| .monaco-editor .mtk55 { | |
| color: #9eff80 !important; | |
| } | |
| .monaco-editor .mtk56 { | |
| color: #80ffc2 !important; | |
| } | |
| .monaco-editor .mtk57 { | |
| color: #ff0000 !important; | |
| } | |
| .monaco-editor .mtk58 { | |
| color: #80ffbb !important; | |
| } | |
| .monaco-editor .mtk59 { | |
| color: #ffb054 !important; | |
| } | |
| .monaco-editor .mtk60 { | |
| color: #ff1e00 !important; | |
| } | |
| .monaco-editor .mtk61 { | |
| color: #9df39f !important; | |
| } | |
| .monaco-editor .mtk62 { | |
| color: #4f76ac !important; | |
| } | |
| .monaco-editor .mtk63 { | |
| color: #3dc9b0 !important; | |
| } | |
| .monaco-editor .mtk64 { | |
| color: #74b0df !important; | |
| } | |
| .monaco-editor .mtk65 { | |
| color: #cccccc !important; | |
| } | |
| .monaco-editor .bracket-highlighting-0 { | |
| color: #e4a9c6 !important; | |
| } | |
| .monaco-editor .bracket-highlighting-1 { | |
| color: #e8c1b3 !important; | |
| } | |
| .monaco-editor .bracket-highlighting-2 { | |
| color: #e7ddcb !important; | |
| } | |
| .monaco-editor .bracket-highlighting-3 { | |
| color: #b6dec2 !important; | |
| } | |
| .monaco-editor .bracket-highlighting-4 { | |
| color: #a4c2f8 !important; | |
| } | |
| .monaco-editor .bracket-highlighting-5 { | |
| color: #ccb9f6 !important; | |
| } | |
| .mtki { | |
| font-style: italic; | |
| } | |
| .mtkb { | |
| font-weight: bold; | |
| } | |
| .mtku { | |
| text-decoration: underline; | |
| text-underline-position: under; | |
| } | |
| .mtks { | |
| text-decoration: line-through; | |
| } | |
| .mtks.mtku { | |
| text-decoration: underline line-through; | |
| text-underline-position: under; | |
| } | |
| /* | |
| Custom code for dark style of other elements | |
| */ | |
| .nav { | |
| --vscode-breadcrumb-background: #2B2B2B; | |
| --vscode-breadcrumb-foreground: #E6E1DC; | |
| } | |
| :root { | |
| --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; | |
| } | |
| .infoview { | |
| color: #E6E1DC !important; | |
| background-color: #2B2B2B !important; | |
| } | |
| .trace-line:hover { | |
| background-color: #196fa9; | |
| } | |
| svg.logo { | |
| filter: invert(1); | |
| } | |
| .app { | |
| background-color: #2B2B2B; | |
| } | |
| /* .monaco-editor .view-lines .view-line { | |
| background-color: #303030; | |
| } | |
| */ | |
| .monaco-editor .view-overlays .current-line { | |
| border: none !important; | |
| } | |
| .monaco-editor .lines-content .core-guide-indent-active { | |
| box-shadow: none; | |
| } | |
| .monaco-aria-container { | |
| background-color: #3a3a3a; | |
| } | |
| .notification-toasts { | |
| color: #E6E1DC !important; | |
| background-color: #3a3a3a !important; | |
| } | |
| .quick-input-widget { | |
| color: #E6E1DC !important; | |
| background-color: #3a3a3a !important; | |
| } | |
| .quick-input-widget .monaco-highlighted-label .highlight, | |
| .quick-input-widget .monaco-highlighted-label .highlight { | |
| color: #0066BF; | |
| } | |
| .vs .quick-input-widget .monaco-list-row.focused .monaco-highlighted-label .highlight, | |
| .vs .quick-input-widget .monaco-list-row.focused .monaco-highlighted-label .highlight { | |
| color: #9DDDFF; | |
| } | |
| .vs-dark .quick-input-widget .monaco-highlighted-label .highlight, | |
| .vs-dark .quick-input-widget .monaco-highlighted-label .highlight { | |
| color: #0097fb; | |
| } | |
| .hc-black .quick-input-widget .monaco-highlighted-label .highlight, | |
| .hc-black .quick-input-widget .monaco-highlighted-label .highlight { | |
| color: #F38518; | |
| } | |
| .hc-light .quick-input-widget .monaco-highlighted-label .highlight, | |
| .hc-light .quick-input-widget .monaco-highlighted-label .highlight { | |
| color: #0F4A85; | |
| } | |
| .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; | |
| } | |
| .monaco-list.list_id_3 .monaco-list-row.focused { color: #ffffff; } | |
| .monaco-list.list_id_3 .monaco-list-row.focused:hover { color: #ffffff; } | |
| .monaco-list.list_id_3 .monaco-list-row.focused .codicon { color: #ffffff; } | |
| .monaco-list.list_id_3 .monaco-list-row.focused { background-color: #0060c0; } | |
| .monaco-list.list_id_3 .monaco-list-row.focused:hover { background-color: #0060c0; } | |
| .monaco-list.list_id_3 .monaco-list-rows { background: #3a3a3a !important; } | |
| .monaco-list.list_id_3 .monaco-list-row { background: #494949 !important; } | |
| .monaco-list.list_id_3 .monaco-list-row:hover { background: #5f5f5f !important; } | |
| .nav .dropdown { | |
| color: #E6E1DC !important; | |
| background-color: #3a3a3a !important; | |
| } | |
| .monaco-editor .monaco-hover code { | |
| background-color: rgba(10, 10, 10, 0.4); | |
| color: #E6E1DC !important; | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment