123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265 |
- @import "../chroma/dark.css";
- @import "../codemirror/dark.css";
-
- :root {
- --is-dark-theme: true;
- --color-primary: #4183c4;
- --color-primary-contrast: #ffffff;
- --color-primary-dark-1: #548fca;
- --color-primary-dark-2: #679cd0;
- --color-primary-dark-3: #7aa8d6;
- --color-primary-dark-4: #8db5dc;
- --color-primary-dark-5: #b3cde7;
- --color-primary-dark-6: #d9e6f3;
- --color-primary-dark-7: #f4f8fb;
- --color-primary-light-1: #3876b3;
- --color-primary-light-2: #31699f;
- --color-primary-light-3: #2b5c8b;
- --color-primary-light-4: #254f77;
- --color-primary-light-5: #193450;
- --color-primary-light-6: #0c1a28;
- --color-primary-light-7: #04080c;
- --color-primary-alpha-10: #4183c419;
- --color-primary-alpha-20: #4183c433;
- --color-primary-alpha-30: #4183c44b;
- --color-primary-alpha-40: #4183c466;
- --color-primary-alpha-50: #4183c480;
- --color-primary-alpha-60: #4183c499;
- --color-primary-alpha-70: #4183c4b3;
- --color-primary-alpha-80: #4183c4cc;
- --color-primary-alpha-90: #4183c4e1;
- --color-primary-hover: var(--color-primary-light-1);
- --color-primary-active: var(--color-primary-light-2);
- --color-secondary: #3b444c;
- --color-secondary-dark-1: #414b54;
- --color-secondary-dark-2: #49545f;
- --color-secondary-dark-3: #576471;
- --color-secondary-dark-4: #677685;
- --color-secondary-dark-5: #758594;
- --color-secondary-dark-6: #8392a0;
- --color-secondary-dark-7: #929eab;
- --color-secondary-dark-8: #a2acb7;
- --color-secondary-dark-9: #a9b3bd;
- --color-secondary-dark-10: #b7bfc7;
- --color-secondary-dark-11: #c5cbd2;
- --color-secondary-dark-12: #cfd4da;
- --color-secondary-dark-13: #d2d7dc;
- --color-secondary-light-1: #313940;
- --color-secondary-light-2: #292f35;
- --color-secondary-light-3: #1d2226;
- --color-secondary-light-4: #171b1e;
- --color-secondary-alpha-10: #3b444c19;
- --color-secondary-alpha-20: #3b444c33;
- --color-secondary-alpha-30: #3b444c4b;
- --color-secondary-alpha-40: #3b444c66;
- --color-secondary-alpha-50: #3b444c80;
- --color-secondary-alpha-60: #3b444c99;
- --color-secondary-alpha-70: #3b444cb3;
- --color-secondary-alpha-80: #3b444ccc;
- --color-secondary-alpha-90: #3b444ce1;
- --color-secondary-button: var(--color-secondary-dark-4);
- --color-secondary-hover: var(--color-secondary-dark-3);
- --color-secondary-active: var(--color-secondary-dark-2);
- /* console colors - used for actions console and console files */
- --color-console-fg: #f7f8f9;
- --color-console-fg-subtle: #bdc4cc;
- --color-console-bg: #171b1e;
- --color-console-border: #2e353b;
- --color-console-hover-bg: #272d33;
- --color-console-active-bg: #2e353b;
- --color-console-menu-bg: #262b31;
- --color-console-menu-border: #414b55;
- /* named colors */
- --color-red: #cc4848;
- --color-orange: #cc580c;
- --color-yellow: #cc9903;
- --color-olive: #91a313;
- --color-green: #87ab63;
- --color-teal: #00918a;
- --color-blue: #3a8ac6;
- --color-violet: #906ae1;
- --color-purple: #b259d0;
- --color-pink: #d22e8b;
- --color-brown: #a47252;
- --color-black: #1d2328;
- /* light variants - produced via Sass scale-color(color, $lightness: +10%) */
- --color-red-light: #d15a5a;
- --color-orange-light: #f6a066;
- --color-yellow-light: #eaaf03;
- --color-olive-light: #abc016;
- --color-green-light: #93b373;
- --color-teal-light: #00b6ad;
- --color-blue-light: #4e96cc;
- --color-violet-light: #9b79e4;
- --color-purple-light: #ba6ad5;
- --color-pink-light: #d74397;
- --color-brown-light: #b08061;
- --color-black-light: #424851;
- /* dark 1 variants - produced via Sass scale-color(color, $lightness: -10%) */
- --color-red-dark-1: #c23636;
- --color-orange-dark-1: #f38236;
- --color-yellow-dark-1: #b88a03;
- --color-olive-dark-1: #839311;
- --color-green-dark-1: #7a9e55;
- --color-teal-dark-1: #00837c;
- --color-blue-dark-1: #347cb3;
- --color-violet-dark-1: #7b4edb;
- --color-purple-dark-1: #a742c9;
- --color-pink-dark-1: #be297d;
- --color-brown-dark-1: #94674a;
- --color-black-dark-1: #292e38;
- /* dark 2 variants - produced via Sass scale-color(color, $lightness: -20%) */
- --color-red-dark-2: #ad3030;
- --color-orange-dark-2: #f16e17;
- --color-yellow-dark-2: #a37a02;
- --color-olive-dark-2: #74820f;
- --color-green-dark-2: #6c8c4c;
- --color-teal-dark-2: #00746e;
- --color-blue-dark-2: #2e6e9f;
- --color-violet-dark-2: #6733d6;
- --color-purple-dark-2: #9834b9;
- --color-pink-dark-2: #a9246f;
- --color-brown-dark-2: #835b42;
- --color-black-dark-2: #272930;
- /* ansi colors used for actions console and console files */
- --color-ansi-black: #1e2327;
- --color-ansi-red: #cc4848;
- --color-ansi-green: #87ab63;
- --color-ansi-yellow: #cc9903;
- --color-ansi-blue: #3a8ac6;
- --color-ansi-magenta: #d22e8b;
- --color-ansi-cyan: #00918a;
- --color-ansi-white: var(--color-console-fg-subtle);
- --color-ansi-bright-black: #424851;
- --color-ansi-bright-red: #d15a5a;
- --color-ansi-bright-green: #93b373;
- --color-ansi-bright-yellow: #eaaf03;
- --color-ansi-bright-blue: #4e96cc;
- --color-ansi-bright-magenta: #d74397;
- --color-ansi-bright-cyan: #00b6ad;
- --color-ansi-bright-white: var(--color-console-fg);
- /* other colors */
- --color-grey: #384149;
- --color-grey-light: #818f9e;
- --color-gold: #b1983b;
- --color-white: #ffffff;
- --color-diff-added-linenum-bg: #274227;
- --color-diff-added-row-bg: #203224;
- --color-diff-added-row-border: #314a37;
- --color-diff-added-word-bg: #3c653c;
- --color-diff-moved-row-bg: #818044;
- --color-diff-moved-row-border: #bcca6f;
- --color-diff-removed-linenum-bg: #482121;
- --color-diff-removed-row-bg: #301e1e;
- --color-diff-removed-row-border: #634343;
- --color-diff-removed-word-bg: #6f3333;
- --color-diff-inactive: #22282d;
- --color-error-border: #a04141;
- --color-error-bg: #522;
- --color-error-bg-active: #744;
- --color-error-bg-hover: #633;
- --color-error-text: #f9cbcb;
- --color-success-border: #458a57;
- --color-success-bg: #284034;
- --color-success-text: #6cc664;
- --color-warning-border: #bb9d00;
- --color-warning-bg: #3a3a30;
- --color-warning-text: #fbbd08;
- --color-info-border: #306090;
- --color-info-bg: #26354c;
- --color-info-text: #38a8e8;
- --color-red-badge: #db2828;
- --color-red-badge-bg: #db28281a;
- --color-red-badge-hover-bg: #db28284d;
- --color-green-badge: #21ba45;
- --color-green-badge-bg: #21ba451a;
- --color-green-badge-hover-bg: #21ba454d;
- --color-yellow-badge: #fbbd08;
- --color-yellow-badge-bg: #fbbd081a;
- --color-yellow-badge-hover-bg: #fbbd084d;
- --color-orange-badge: #f2711c;
- --color-orange-badge-bg: #f2711c1a;
- --color-orange-badge-hover-bg: #f2711c4d;
- --color-git: #f05133;
- /* target-based colors */
- --color-body: #1b1f23;
- --color-box-header: #1a1d1f;
- --color-box-body: #14171a;
- --color-box-body-highlight: #1e2226;
- --color-text-dark: #f7f8f9;
- --color-text: #d0d5da;
- --color-text-light: #bcc3cb;
- --color-text-light-1: #a5afb9;
- --color-text-light-2: #8f9ba8;
- --color-text-light-3: #788797;
- --color-footer: var(--color-nav-bg);
- --color-timeline: #343c44;
- --color-input-text: var(--color-text-dark);
- --color-input-background: #171a1e;
- --color-input-toggle-background: #2e353c;
- --color-input-border: var(--color-secondary);
- --color-input-border-hover: var(--color-secondary-dark-1);
- --color-light: #00001728;
- --color-light-mimic-enabled: rgba(0, 0, 0, calc(40 / 255 * 222 / 255 / var(--opacity-disabled)));
- --color-light-border: #e8f3ff28;
- --color-hover: #e8f3ff19;
- --color-active: #e8f3ff24;
- --color-menu: #171a1e;
- --color-card: #171a1e;
- --color-markup-table-row: #e8f3ff0f;
- --color-markup-code-block: #e8f3ff12;
- --color-markup-code-inline: #e8f3ff28;
- --color-button: #171a1e;
- --color-code-bg: #14171a;
- --color-shadow: #00001758;
- --color-secondary-bg: #2a3137;
- --color-expand-button: #2f363d;
- --color-placeholder-text: var(--color-text-light-3);
- --color-editor-line-highlight: var(--color-primary-light-5);
- --color-project-board-bg: var(--color-secondary-light-2);
- --color-caret: var(--color-text); /* should ideally be --color-text-dark, see #15651 */
- --color-reaction-bg: #e8f3ff12;
- --color-reaction-hover-bg: var(--color-primary-light-4);
- --color-reaction-active-bg: var(--color-primary-light-5);
- --color-tooltip-text: #f9fafb;
- --color-tooltip-bg: #000b17f0;
- --color-nav-bg: #16191d;
- --color-nav-hover-bg: var(--color-secondary-light-1);
- --color-nav-text: var(--color-text);
- --color-secondary-nav-bg: #181c20;
- --color-label-text: var(--color-text);
- --color-label-bg: #7282924b;
- --color-label-hover-bg: #728292a0;
- --color-label-active-bg: #728292ff;
- --color-accent: var(--color-primary-light-1);
- --color-small-accent: var(--color-primary-light-5);
- --color-highlight-fg: #87651e;
- --color-highlight-bg: #352c1c;
- --color-overlay-backdrop: #080808c0;
- accent-color: var(--color-accent);
- color-scheme: dark;
- }
-
- /* invert emojis that are hard to read otherwise */
- .emoji[aria-label="check mark"],
- .emoji[aria-label="currency exchange"],
- .emoji[aria-label="TOP arrow"],
- .emoji[aria-label="END arrow"],
- .emoji[aria-label="ON! arrow"],
- .emoji[aria-label="SOON arrow"],
- .emoji[aria-label="heavy dollar sign"],
- .emoji[aria-label="copyright"],
- .emoji[aria-label="registered"],
- .emoji[aria-label="trade mark"],
- .emoji[aria-label="multiply"],
- .emoji[aria-label="plus"],
- .emoji[aria-label="minus"],
- .emoji[aria-label="divide"],
- .emoji[aria-label="curly loop"],
- .emoji[aria-label="double curly loop"],
- .emoji[aria-label="wavy dash"],
- .emoji[aria-label="paw prints"],
- .emoji[aria-label="musical note"],
- .emoji[aria-label="musical notes"] {
- filter: invert(100%) hue-rotate(180deg);
- }
|