[data-color-mode="light"][data-light-theme="light_tritanopia_high_contrast"],
[data-color-mode="light"][data-light-theme="light_tritanopia_high_contrast"] ::backdrop,
[data-color-mode="auto"][data-light-theme="light_tritanopia_high_contrast"],
[data-color-mode="auto"][data-light-theme="light_tritanopia_high_contrast"] ::backdrop {
  --base-color-black: #010409;
  --base-color-blue-0: #dff7ff;
  --base-color-blue-1: #9cd7ff;
  --base-color-blue-2: #67b3fd;
  --base-color-blue-3: #368cf9;
  --base-color-blue-4: #1168e3;
  --base-color-blue-5: #0349b4;
  --base-color-blue-6: #023b95;
  --base-color-blue-7: #022f7a;
  --base-color-blue-8: #032563;
  --base-color-blue-9: #021a4a;
  --base-color-coral-0: #fff0ed;
  --base-color-coral-1: #ffc2b6;
  --base-color-coral-2: #ff8f7e;
  --base-color-coral-3: #cd3425;
  --base-color-coral-4: #ef5b48;
  --base-color-coral-5: #9f1710;
  --base-color-coral-6: #870706;
  --base-color-coral-7: #6f0107;
  --base-color-coral-8: #5b0002;
  --base-color-coral-9: #430200;
  --base-color-green-0: #d2fedb;
  --base-color-green-1: #82e596;
  --base-color-green-2: #43c663;
  --base-color-green-3: #26a148;
  --base-color-green-4: #117f32;
  --base-color-green-5: #055d20;
  --base-color-green-6: #024c1a;
  --base-color-green-7: #013d14;
  --base-color-green-8: #003110;
  --base-color-green-9: #00230b;
  --base-color-neutral-1: #f6f8fa;
  --base-color-neutral-10: #454c54;
  --base-color-neutral-11: #393f46;
  --base-color-neutral-12: #25292e;
  --base-color-neutral-2: #eff2f5;
  --base-color-neutral-3: #e6eaef;
  --base-color-neutral-4: #e0e6eb;
  --base-color-neutral-5: #dae0e7;
  --base-color-neutral-6: #d1d9e0;
  --base-color-neutral-7: #c8d1da;
  --base-color-neutral-8: #818b98;
  --base-color-neutral-9: #59636e;
  --base-color-orange-0: #fff2d5;
  --base-color-orange-1: #ffc67b;
  --base-color-orange-2: #f99636;
  --base-color-orange-3: #dc6d1a;
  --base-color-orange-4: #b45105;
  --base-color-orange-5: #873800;
  --base-color-orange-6: #702c00;
  --base-color-orange-7: #5b2300;
  --base-color-orange-8: #491b00;
  --base-color-orange-9: #361200;
  --base-color-pink-0: #feeff7;
  --base-color-pink-1: #ffbde0;
  --base-color-pink-2: #fc87ca;
  --base-color-pink-3: #ed4baf;
  --base-color-pink-4: #c9248e;
  --base-color-pink-5: #971368;
  --base-color-pink-6: #7d0c57;
  --base-color-pink-7: #660847;
  --base-color-pink-8: #53043a;
  --base-color-pink-9: #3e022b;
  --base-color-purple-0: #faf0fe;
  --base-color-purple-1: #e0c5ff;
  --base-color-purple-2: #c49bff;
  --base-color-purple-3: #a371f7;
  --base-color-purple-4: #844ae7;
  --base-color-purple-5: #622cbc;
  --base-color-purple-6: #512598;
  --base-color-purple-7: #411d7b;
  --base-color-purple-8: #341763;
  --base-color-purple-9: #260f49;
  --base-color-red-0: #fff0ee;
  --base-color-red-1: #ffc1bc;
  --base-color-red-2: #ff8e8a;
  --base-color-red-3: #ee5a5d;
  --base-color-red-4: #d5232c;
  --base-color-red-5: #a0111f;
  --base-color-red-6: #86061d;
  --base-color-red-7: #6e011a;
  --base-color-red-8: #5a0016;
  --base-color-red-9: #430011;
  --base-color-transparent: #ffffff00;
  --base-color-white: #ffffff;
  --base-color-yellow-0: #fcf7be;
  --base-color-yellow-1: #f0ce53;
  --base-color-yellow-2: #d5a824;
  --base-color-yellow-3: #b58407;
  --base-color-yellow-4: #956400;
  --base-color-yellow-5: #744500;
  --base-color-yellow-6: #603700;
  --base-color-yellow-7: #4e2c00;
  --base-color-yellow-8: #3f2200;
  --base-color-yellow-9: #2e1800;
  --base-display-color-auburn-0: #f2e9e9;
  --base-display-color-auburn-1: #e6d6d5;
  --base-display-color-auburn-2: #d4b7b5;
  --base-display-color-auburn-3: #c59e9b;
  --base-display-color-auburn-4: #b4827e;
  --base-display-color-auburn-5: #9d615c;
  --base-display-color-auburn-6: #8a5551;
  --base-display-color-auburn-7: #744744;
  --base-display-color-auburn-8: #5d3937;
  --base-display-color-auburn-9: #432928;
  --base-display-color-black: #0d1117;
  --base-display-color-blue-0: #d1f0ff;
  --base-display-color-blue-1: #ade1ff;
  --base-display-color-blue-2: #75c8ff;
  --base-display-color-blue-3: #47afff;
  --base-display-color-blue-4: #0f8fff;
  --base-display-color-blue-5: #006edb;
  --base-display-color-blue-6: #005fcc;
  --base-display-color-blue-7: #004db3;
  --base-display-color-blue-8: #003d99;
  --base-display-color-blue-9: #002b75;
  --base-display-color-brown-0: #eeeae2;
  --base-display-color-brown-1: #dfd7c8;
  --base-display-color-brown-2: #cbbda4;
  --base-display-color-brown-3: #b8a484;
  --base-display-color-brown-4: #a68b64;
  --base-display-color-brown-5: #856d4c;
  --base-display-color-brown-6: #755f43;
  --base-display-color-brown-7: #64513a;
  --base-display-color-brown-8: #51412f;
  --base-display-color-brown-9: #3a2e22;
  --base-display-color-coral-0: #ffe5db;
  --base-display-color-coral-1: #fecebe;
  --base-display-color-coral-2: #fcab92;
  --base-display-color-coral-3: #f88768;
  --base-display-color-coral-4: #f25f3a;
  --base-display-color-coral-5: #d43511;
  --base-display-color-coral-6: #ba2e12;
  --base-display-color-coral-7: #9b2712;
  --base-display-color-coral-8: #7e2011;
  --base-display-color-coral-9: #5d180e;
  --base-display-color-cyan-0: #bdf4ff;
  --base-display-color-cyan-1: #7ae9ff;
  --base-display-color-cyan-2: #00d0fa;
  --base-display-color-cyan-3: #00b7db;
  --base-display-color-cyan-4: #0099b8;
  --base-display-color-cyan-5: #007b94;
  --base-display-color-cyan-6: #006a80;
  --base-display-color-cyan-7: #00596b;
  --base-display-color-cyan-8: #004857;
  --base-display-color-cyan-9: #003742;
  --base-display-color-gray-0: #e8ecf2;
  --base-display-color-gray-1: #d2dae4;
  --base-display-color-gray-2: #b4c0cf;
  --base-display-color-gray-3: #9ba9bb;
  --base-display-color-gray-4: #808fa3;
  --base-display-color-gray-5: #647182;
  --base-display-color-gray-6: #5c6570;
  --base-display-color-gray-7: #4e535a;
  --base-display-color-gray-8: #424448;
  --base-display-color-gray-9: #303031;
  --base-display-color-green-0: #caf7ca;
  --base-display-color-green-1: #9ceda0;
  --base-display-color-green-2: #54d961;
  --base-display-color-green-3: #31bf46;
  --base-display-color-green-4: #30a147;
  --base-display-color-green-5: #2c8141;
  --base-display-color-green-6: #2b6e3f;
  --base-display-color-green-7: #285c3b;
  --base-display-color-green-8: #254b34;
  --base-display-color-green-9: #1d3528;
  --base-display-color-indigo-0: #e5e9ff;
  --base-display-color-indigo-1: #d2d7fe;
  --base-display-color-indigo-2: #b1b9fb;
  --base-display-color-indigo-3: #979ff7;
  --base-display-color-indigo-4: #7a82f0;
  --base-display-color-indigo-5: #5a61e7;
  --base-display-color-indigo-6: #494edf;
  --base-display-color-indigo-7: #393cd5;
  --base-display-color-indigo-8: #2d2db4;
  --base-display-color-indigo-9: #25247b;
  --base-display-color-lemon-0: #f7eea1;
  --base-display-color-lemon-1: #f0db3d;
  --base-display-color-lemon-2: #d8bd0e;
  --base-display-color-lemon-3: #c2a60a;
  --base-display-color-lemon-4: #a68c07;
  --base-display-color-lemon-5: #866e04;
  --base-display-color-lemon-6: #786002;
  --base-display-color-lemon-7: #654f01;
  --base-display-color-lemon-8: #523f00;
  --base-display-color-lemon-9: #3d2e00;
  --base-display-color-lime-0: #e3f2b5;
  --base-display-color-lime-1: #c7e580;
  --base-display-color-lime-2: #9bd039;
  --base-display-color-lime-3: #80b530;
  --base-display-color-lime-4: #6c9d2f;
  --base-display-color-lime-5: #527a29;
  --base-display-color-lime-6: #476c28;
  --base-display-color-lime-7: #3a5b25;
  --base-display-color-lime-8: #2f4a21;
  --base-display-color-lime-9: #213319;
  --base-display-color-olive-0: #f0f0ad;
  --base-display-color-olive-1: #dbe170;
  --base-display-color-olive-2: #b9c832;
  --base-display-color-olive-3: #9bae32;
  --base-display-color-olive-4: #819532;
  --base-display-color-olive-5: #64762d;
  --base-display-color-olive-6: #56682c;
  --base-display-color-olive-7: #495a2b;
  --base-display-color-olive-8: #3b4927;
  --base-display-color-olive-9: #2a331f;
  --base-display-color-orange-0: #ffe7d1;
  --base-display-color-orange-1: #fecfaa;
  --base-display-color-orange-2: #fbaf74;
  --base-display-color-orange-3: #f68c41;
  --base-display-color-orange-4: #eb670f;
  --base-display-color-orange-5: #b8500f;
  --base-display-color-orange-6: #a24610;
  --base-display-color-orange-7: #8d3c11;
  --base-display-color-orange-8: #70300f;
  --base-display-color-orange-9: #54230d;
  --base-display-color-pine-0: #bff8db;
  --base-display-color-pine-1: #80efb9;
  --base-display-color-pine-2: #1dd781;
  --base-display-color-pine-3: #1dbf76;
  --base-display-color-pine-4: #1aa267;
  --base-display-color-pine-5: #167e53;
  --base-display-color-pine-6: #156f4b;
  --base-display-color-pine-7: #135d41;
  --base-display-color-pine-8: #114b36;
  --base-display-color-pine-9: #0d3627;
  --base-display-color-pink-0: #ffe5f1;
  --base-display-color-pink-1: #fdc9e2;
  --base-display-color-pink-2: #f8a5cf;
  --base-display-color-pink-3: #f184bc;
  --base-display-color-pink-4: #e55da5;
  --base-display-color-pink-5: #ce2c85;
  --base-display-color-pink-6: #b12f79;
  --base-display-color-pink-7: #8e2e66;
  --base-display-color-pink-8: #6e2b53;
  --base-display-color-pink-9: #4d233d;
  --base-display-color-plum-0: #f8e5ff;
  --base-display-color-plum-1: #f0cdfe;
  --base-display-color-plum-2: #e2a7fb;
  --base-display-color-plum-3: #d487f7;
  --base-display-color-plum-4: #c264f2;
  --base-display-color-plum-5: #a830e8;
  --base-display-color-plum-6: #961edc;
  --base-display-color-plum-7: #7d1eb8;
  --base-display-color-plum-8: #651d96;
  --base-display-color-plum-9: #471769;
  --base-display-color-purple-0: #f1e5ff;
  --base-display-color-purple-1: #e6d2fe;
  --base-display-color-purple-2: #d1b1fc;
  --base-display-color-purple-3: #bc91f8;
  --base-display-color-purple-4: #a672f3;
  --base-display-color-purple-5: #894ceb;
  --base-display-color-purple-6: #783ae4;
  --base-display-color-purple-7: #6223d7;
  --base-display-color-purple-8: #4f21ab;
  --base-display-color-purple-9: #391b79;
  --base-display-color-red-0: #ffe2e0;
  --base-display-color-red-1: #fecdcd;
  --base-display-color-red-2: #fda5a7;
  --base-display-color-red-3: #fb8389;
  --base-display-color-red-4: #f85461;
  --base-display-color-red-5: #df0c24;
  --base-display-color-red-6: #c50d28;
  --base-display-color-red-7: #a60c29;
  --base-display-color-red-8: #880c27;
  --base-display-color-red-9: #610a20;
  --base-display-color-teal-0: #c7f5ef;
  --base-display-color-teal-1: #89ebe1;
  --base-display-color-teal-2: #22d3c7;
  --base-display-color-teal-3: #1db9b4;
  --base-display-color-teal-4: #179b9b;
  --base-display-color-teal-5: #127e81;
  --base-display-color-teal-6: #106e75;
  --base-display-color-teal-7: #0d5b63;
  --base-display-color-teal-8: #0a4852;
  --base-display-color-teal-9: #073740;
  --base-display-color-white: #ffffff;
  --base-display-color-yellow-0: #ffec9e;
  --base-display-color-yellow-1: #ffd642;
  --base-display-color-yellow-2: #ebb400;
  --base-display-color-yellow-3: #d19d00;
  --base-display-color-yellow-4: #b88700;
  --base-display-color-yellow-5: #946a00;
  --base-display-color-yellow-6: #805900;
  --base-display-color-yellow-7: #704d00;
  --base-display-color-yellow-8: #5c3d00;
  --base-display-color-yellow-9: #422b00;
  --borderRadius-full: 624.9375rem; /** Use this border radius for pill shaped elements */
  --borderRadius-large: 0.75rem;
  --borderRadius-medium: 0.375rem;
  --borderRadius-small: 0.1875rem;
  --borderWidth-thick: 0.125rem;
  --borderWidth-thicker: 0.25rem;
  --borderWidth-thin: 0.0625rem;
  --button-outline-bgColor-active: #033f9d;
  --button-primary-bgColor-active: #075fc8;
  --button-primary-bgColor-disabled: #92caff;
  --button-primary-bgColor-hover: #0864d1;
  --color-ansi-cyan: #1b7c83;
  --color-ansi-cyan-bright: #3192aa;
  --control-checked-bgColor-active: #033f9d;
  --control-checked-bgColor-hover: #0344a8;
  --control-checked-borderColor-active: #033f9d;
  --control-checked-borderColor-hover: #0344a8;
  --control-danger-bgColor-active: #8c0b1d;
  --outline-focus-offset: -0.125rem;
  --outline-focus-width: 0.125rem;
  --reactionButton-selected-bgColor-hover: #caecff;
  --avatarStack-fade-bgColor-default: var(--base-color-neutral-7);
  --avatarStack-fade-bgColor-muted: var(--base-color-neutral-5);
  --base-color-neutral-0: var(--base-color-white);
  --base-color-neutral-13: var(--base-color-black);
  --bgColor-accent-emphasis: var(--base-color-blue-5);
  --bgColor-accent-muted: var(--base-color-blue-0);
  --bgColor-attention-emphasis: var(--base-color-yellow-5);
  --bgColor-attention-muted: var(--base-color-yellow-0);
  --bgColor-danger-emphasis: var(--base-color-red-5);
  --bgColor-danger-muted: var(--base-color-red-0);
  --bgColor-disabled: var(--base-color-neutral-4);
  --bgColor-done-emphasis: var(--base-color-purple-5);
  --bgColor-done-muted: var(--base-color-purple-0);
  --bgColor-emphasis: var(--base-color-neutral-12);
  --bgColor-inset: var(--base-color-neutral-2);
  --bgColor-inverse: var(--base-color-neutral-12);
  --bgColor-muted: var(--base-color-neutral-3);
  --bgColor-neutral-emphasis: var(--base-color-neutral-10);
  --bgColor-neutral-muted: var(--base-color-neutral-4);
  --bgColor-open-emphasis: var(--base-color-red-5);
  --bgColor-open-muted: var(--base-color-red-0);
  --bgColor-severe-emphasis: var(--base-color-red-5);
  --bgColor-severe-muted: var(--base-color-red-0);
  --bgColor-sponsors-emphasis: var(--base-color-pink-5);
  --bgColor-sponsors-muted: var(--base-color-pink-0);
  --bgColor-success-emphasis: var(--base-color-blue-5);
  --bgColor-success-muted: var(--base-color-blue-0);
  --bgColor-transparent: var(--base-color-transparent);
  --borderColor-accent-emphasis: var(--base-color-blue-5);
  --borderColor-accent-muted: var(--base-color-blue-3);
  --borderColor-attention-emphasis: var(--base-color-yellow-5);
  --borderColor-attention-muted: var(--base-color-yellow-3);
  --borderColor-danger-emphasis: var(--base-color-red-5);
  --borderColor-danger-muted: var(--base-color-red-3);
  --borderColor-default: var(--base-color-neutral-10);
  --borderColor-disabled: #59636e1f;
  --borderColor-done-emphasis: var(--base-color-purple-5);
  --borderColor-done-muted: var(--base-color-purple-3);
  --borderColor-neutral-emphasis: var(--base-color-neutral-9);
  --borderColor-open-emphasis: var(--base-color-red-5);
  --borderColor-open-muted: var(--base-color-red-3);
  --borderColor-severe-emphasis: var(--base-color-red-5);
  --borderColor-severe-muted: var(--base-color-red-3);
  --borderColor-sponsors-emphasis: var(--base-color-pink-5);
  --borderColor-sponsors-muted: var(--base-color-pink-3);
  --borderColor-success-emphasis: var(--base-color-blue-5);
  --borderColor-success-muted: var(--base-color-blue-3);
  --borderColor-translucent: var(--base-color-neutral-9);
  --borderColor-transparent: var(--base-color-transparent);
  --borderRadius-default: var(--borderRadius-medium);
  --borderWidth-default: var(--borderWidth-thin);
  --boxShadow-thick: inset 0 0 0 var(--borderWidth-thick);
  --boxShadow-thicker: inset 0 0 0 var(--borderWidth-thicker);
  --boxShadow-thin: inset 0 0 0 var(--borderWidth-thin); /** Thin shadow for borders */
  --button-danger-bgColor-active: var(--base-color-red-6);
  --button-danger-borderColor-hover: var(--base-color-red-7);
  --button-danger-shadow-selected: inset 0px 1px 0px 0px #43001133;
  --button-inactive-bgColor: var(--base-color-neutral-3);
  --button-inactive-fgColor: var(--base-color-neutral-10);
  --button-invisible-bgColor-disabled: var(--base-color-transparent);
  --button-invisible-borderColor-disabled: var(--base-color-transparent);
  --button-invisible-fgColor-hover: var(--base-color-neutral-11);
  --button-invisible-iconColor-hover: var(--base-color-neutral-11);
  --button-outline-borderColor-hover: var(--base-color-blue-7);
  --button-outline-shadow-selected: inset 0px 1px 0px 0px #021a4a33;
  --button-primary-borderColor-disabled: var(--button-primary-bgColor-disabled);
  --button-primary-borderColor-rest: var(--base-color-blue-7);
  --button-primary-shadow-selected: inset 0px 1px 0px 0px #00230b4d;
  --button-star-iconColor: var(--base-color-yellow-2);
  --buttonCounter-default-bgColor-rest: var(--base-color-neutral-7);
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
  --buttonCounter-primary-bgColor-rest: #00230b33;
  --buttonKeybindingHint-danger-bgColor-active: #01040966;
  --buttonKeybindingHint-danger-bgColor-hover: #01040933;
  --buttonKeybindingHint-danger-borderColor-hover: var(--base-color-white);
  --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
  --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
  --buttonKeybindingHint-primary-borderColor-rest: var(--base-color-white);
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
  --codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
  --codeMirror-syntax-fgColor-keyword: var(--base-color-red-5);
  --codeMirror-syntax-fgColor-storage: var(--base-color-red-5);
  --codeMirror-syntax-fgColor-string: var(--base-color-blue-8);
  --codeMirror-syntax-fgColor-support: var(--base-color-blue-6);
  --codeMirror-syntax-fgColor-variable: var(--base-color-red-6);
  --color-ansi-black-bright: var(--base-color-neutral-11);
  --color-ansi-blue: var(--base-color-blue-5);
  --color-ansi-blue-bright: var(--base-color-blue-4);
  --color-ansi-gray: var(--base-color-neutral-9);
  --color-ansi-green: var(--base-color-blue-6);
  --color-ansi-green-bright: var(--base-color-blue-5);
  --color-ansi-magenta: var(--base-color-purple-5);
  --color-ansi-magenta-bright: var(--base-color-purple-4);
  --color-ansi-red: var(--base-color-red-5);
  --color-ansi-red-bright: var(--base-color-red-6);
  --color-ansi-white: var(--base-color-neutral-9);
  --color-ansi-white-bright: var(--base-color-neutral-8);
  --color-ansi-yellow: var(--base-color-yellow-8);
  --color-ansi-yellow-bright: var(--base-color-yellow-7);
  --color-prettylights-syntax-brackethighlighter-angle: var(--base-color-neutral-9);
  --color-prettylights-syntax-brackethighlighter-unmatched: var(--base-color-red-7);
  --color-prettylights-syntax-carriage-return-bg: var(--base-color-red-5);
  --color-prettylights-syntax-carriage-return-text: var(--base-color-neutral-1);
  --color-prettylights-syntax-comment: var(--base-color-neutral-9);
  --color-prettylights-syntax-constant: var(--base-color-blue-6);
  --color-prettylights-syntax-constant-other-reference-link: var(--base-color-blue-8);
  --color-prettylights-syntax-entity: var(--base-color-purple-6);
  --color-prettylights-syntax-entity-tag: var(--base-color-blue-6);
  --color-prettylights-syntax-invalid-illegal-bg: var(--base-color-red-7);
  --color-prettylights-syntax-invalid-illegal-text: var(--base-color-neutral-1);
  --color-prettylights-syntax-keyword: var(--base-color-red-5);
  --color-prettylights-syntax-markup-changed-bg: var(--base-color-red-1);
  --color-prettylights-syntax-markup-changed-text: var(--base-color-red-6);
  --color-prettylights-syntax-markup-deleted-bg: var(--base-color-red-0);
  --color-prettylights-syntax-markup-deleted-text: var(--base-color-red-7);
  --color-prettylights-syntax-markup-heading: var(--base-color-blue-6);
  --color-prettylights-syntax-markup-ignored-bg: var(--base-color-blue-6);
  --color-prettylights-syntax-markup-ignored-text: var(--base-color-neutral-6);
  --color-prettylights-syntax-markup-inserted-bg: var(--base-color-blue-0);
  --color-prettylights-syntax-markup-inserted-text: var(--base-color-blue-6);
  --color-prettylights-syntax-markup-list: var(--base-color-yellow-9);
  --color-prettylights-syntax-meta-diff-range: var(--base-color-purple-5);
  --color-prettylights-syntax-string: var(--base-color-blue-8);
  --color-prettylights-syntax-string-regexp: var(--base-color-blue-6);
  --color-prettylights-syntax-sublimelinter-gutter-mark: var(--base-color-neutral-8);
  --color-prettylights-syntax-variable: var(--base-color-red-6);
  --contribution-default-bgColor-1: var(--base-color-green-1);
  --contribution-default-bgColor-2: var(--base-color-green-3);
  --contribution-default-bgColor-3: var(--base-color-green-4);
  --contribution-default-bgColor-4: var(--base-color-green-6);
  --contribution-default-borderColor-0: var(--base-color-black);
  --contribution-halloween-bgColor-1: var(--base-display-color-lemon-1);
  --contribution-halloween-bgColor-2: var(--base-display-color-yellow-1);
  --contribution-halloween-bgColor-3: var(--base-display-color-orange-3);
  --contribution-halloween-bgColor-4: var(--base-color-black);
  --contribution-winter-bgColor-1: var(--base-color-blue-1);
  --contribution-winter-bgColor-2: var(--base-color-blue-3);
  --contribution-winter-bgColor-3: var(--base-color-blue-5);
  --contribution-winter-bgColor-4: var(--base-color-blue-8);
  --control-bgColor-active: var(--base-color-neutral-6);
  --control-bgColor-hover: var(--base-color-neutral-5);
  --control-bgColor-rest: var(--base-color-neutral-4);
  --control-fgColor-placeholder: var(--base-color-neutral-10);
  --control-fgColor-rest: var(--base-color-neutral-12);
  --control-transparent-bgColor-active: var(--base-color-neutral-6);
  --control-transparent-bgColor-hover: var(--base-color-neutral-5);
  --control-transparent-bgColor-rest: var(--base-color-transparent);
  --control-transparent-bgColor-selected: var(--base-color-neutral-5);
  --control-transparent-borderColor-rest: var(--base-color-transparent);
  --controlTrack-bgColor-active: var(--base-color-neutral-7);
  --controlTrack-bgColor-hover: var(--base-color-neutral-6);
  --controlTrack-bgColor-rest: var(--base-color-neutral-5);
  --controlTrack-fgColor-rest: var(--base-color-neutral-9);
  --data-auburn-color-emphasis: var(--base-display-color-auburn-5);
  --data-auburn-color-muted: var(--base-display-color-auburn-0);
  --data-blue-color-emphasis: var(--base-display-color-blue-5);
  --data-blue-color-muted: var(--base-display-color-blue-0);
  --data-brown-color-emphasis: var(--base-display-color-brown-5);
  --data-brown-color-muted: var(--base-display-color-brown-0);
  --data-coral-color-emphasis: var(--base-display-color-coral-5);
  --data-coral-color-muted: var(--base-display-color-coral-0);
  --data-gray-color-emphasis: var(--base-display-color-gray-4);
  --data-gray-color-muted: var(--base-display-color-gray-0);
  --data-green-color-emphasis: var(--base-display-color-green-4);
  --data-green-color-muted: var(--base-display-color-green-0);
  --data-lemon-color-emphasis: var(--base-display-color-lemon-5);
  --data-lemon-color-muted: var(--base-display-color-lemon-0);
  --data-lime-color-emphasis: var(--base-display-color-lime-5);
  --data-lime-color-muted: var(--base-display-color-lime-0);
  --data-olive-color-emphasis: var(--base-display-color-olive-5);
  --data-olive-color-muted: var(--base-display-color-olive-0);
  --data-orange-color-emphasis: var(--base-display-color-orange-4);
  --data-orange-color-muted: var(--base-display-color-orange-0);
  --data-pine-color-emphasis: var(--base-display-color-pine-5);
  --data-pine-color-muted: var(--base-display-color-pine-0);
  --data-pink-color-emphasis: var(--base-display-color-pink-5);
  --data-pink-color-muted: var(--base-display-color-pink-0);
  --data-plum-color-emphasis: var(--base-display-color-plum-5);
  --data-plum-color-muted: var(--base-display-color-plum-0);
  --data-purple-color-emphasis: var(--base-display-color-purple-5);
  --data-purple-color-muted: var(--base-display-color-purple-0);
  --data-red-color-emphasis: var(--base-display-color-red-5);
  --data-red-color-muted: var(--base-display-color-red-0);
  --data-teal-color-emphasis: var(--base-display-color-teal-4);
  --data-teal-color-muted: var(--base-display-color-teal-0);
  --data-yellow-color-emphasis: var(--base-display-color-yellow-4);
  --data-yellow-color-muted: var(--base-display-color-yellow-0);
  --diffBlob-additionNum-bgColor: var(--base-color-blue-1);
  --diffBlob-additionWord-bgColor: var(--base-color-blue-5);
  --diffBlob-deletionNum-bgColor: var(--base-color-red-1);
  --diffBlob-deletionWord-bgColor: var(--base-color-red-5);
  --diffBlob-hunkLine-bgColor: var(--base-color-neutral-1);
  --diffBlob-hunkNum-bgColor-hover: var(--base-color-neutral-7);
  --diffBlob-hunkNum-bgColor-rest: var(--base-color-neutral-3);
  --display-auburn-bgColor-emphasis: var(--base-display-color-auburn-7);
  --display-auburn-bgColor-muted: var(--base-display-color-auburn-0);
  --display-auburn-borderColor-emphasis: var(--base-display-color-auburn-6);
  --display-auburn-borderColor-muted: var(--base-display-color-auburn-1);
  --display-auburn-fgColor: var(--base-display-color-auburn-8);
  --display-auburn-scale-0: var(--base-display-color-auburn-0);
  --display-auburn-scale-1: var(--base-display-color-auburn-1);
  --display-auburn-scale-2: var(--base-display-color-auburn-2);
  --display-auburn-scale-3: var(--base-display-color-auburn-3);
  --display-auburn-scale-4: var(--base-display-color-auburn-4);
  --display-auburn-scale-5: var(--base-display-color-auburn-5);
  --display-auburn-scale-6: var(--base-display-color-auburn-6);
  --display-auburn-scale-7: var(--base-display-color-auburn-7);
  --display-auburn-scale-8: var(--base-display-color-auburn-8);
  --display-auburn-scale-9: var(--base-display-color-auburn-9);
  --display-blue-bgColor-emphasis: var(--base-display-color-blue-7);
  --display-blue-bgColor-muted: var(--base-display-color-blue-0);
  --display-blue-borderColor-emphasis: var(--base-display-color-blue-6);
  --display-blue-borderColor-muted: var(--base-display-color-blue-1);
  --display-blue-fgColor: var(--base-display-color-blue-8);
  --display-blue-scale-0: var(--base-display-color-blue-0);
  --display-blue-scale-1: var(--base-display-color-blue-1);
  --display-blue-scale-2: var(--base-display-color-blue-2);
  --display-blue-scale-3: var(--base-display-color-blue-3);
  --display-blue-scale-4: var(--base-display-color-blue-4);
  --display-blue-scale-5: var(--base-display-color-blue-5);
  --display-blue-scale-6: var(--base-display-color-blue-6);
  --display-blue-scale-7: var(--base-display-color-blue-7);
  --display-blue-scale-8: var(--base-display-color-blue-8);
  --display-blue-scale-9: var(--base-display-color-blue-9);
  --display-brown-bgColor-emphasis: var(--base-display-color-brown-7);
  --display-brown-bgColor-muted: var(--base-display-color-brown-0);
  --display-brown-borderColor-emphasis: var(--base-display-color-brown-6);
  --display-brown-borderColor-muted: var(--base-display-color-brown-1);
  --display-brown-fgColor: var(--base-display-color-brown-8);
  --display-brown-scale-0: var(--base-display-color-brown-0);
  --display-brown-scale-1: var(--base-display-color-brown-1);
  --display-brown-scale-2: var(--base-display-color-brown-2);
  --display-brown-scale-3: var(--base-display-color-brown-3);
  --display-brown-scale-4: var(--base-display-color-brown-4);
  --display-brown-scale-5: var(--base-display-color-brown-5);
  --display-brown-scale-6: var(--base-display-color-brown-6);
  --display-brown-scale-7: var(--base-display-color-brown-7);
  --display-brown-scale-8: var(--base-display-color-brown-8);
  --display-brown-scale-9: var(--base-display-color-brown-9);
  --display-coral-bgColor-emphasis: var(--base-display-color-coral-7);
  --display-coral-bgColor-muted: var(--base-display-color-coral-0);
  --display-coral-borderColor-emphasis: var(--base-display-color-coral-6);
  --display-coral-borderColor-muted: var(--base-display-color-coral-1);
  --display-coral-fgColor: var(--base-display-color-coral-8);
  --display-coral-scale-0: var(--base-display-color-coral-0);
  --display-coral-scale-1: var(--base-display-color-coral-1);
  --display-coral-scale-2: var(--base-display-color-coral-2);
  --display-coral-scale-3: var(--base-display-color-coral-3);
  --display-coral-scale-4: var(--base-display-color-coral-4);
  --display-coral-scale-5: var(--base-display-color-coral-5);
  --display-coral-scale-6: var(--base-display-color-coral-6);
  --display-coral-scale-7: var(--base-display-color-coral-7);
  --display-coral-scale-8: var(--base-display-color-coral-8);
  --display-coral-scale-9: var(--base-display-color-coral-9);
  --display-cyan-bgColor-emphasis: var(--base-display-color-cyan-7);
  --display-cyan-bgColor-muted: var(--base-display-color-cyan-0);
  --display-cyan-borderColor-emphasis: var(--base-display-color-cyan-6);
  --display-cyan-borderColor-muted: var(--base-display-color-cyan-1);
  --display-cyan-fgColor: var(--base-display-color-cyan-8);
  --display-cyan-scale-0: var(--base-display-color-cyan-0);
  --display-cyan-scale-1: var(--base-display-color-cyan-1);
  --display-cyan-scale-2: var(--base-display-color-cyan-2);
  --display-cyan-scale-3: var(--base-display-color-cyan-3);
  --display-cyan-scale-4: var(--base-display-color-cyan-4);
  --display-cyan-scale-5: var(--base-display-color-cyan-5);
  --display-cyan-scale-6: var(--base-display-color-cyan-6);
  --display-cyan-scale-7: var(--base-display-color-cyan-7);
  --display-cyan-scale-8: var(--base-display-color-cyan-8);
  --display-cyan-scale-9: var(--base-display-color-cyan-9);
  --display-gray-bgColor-emphasis: var(--base-display-color-gray-7);
  --display-gray-bgColor-muted: var(--base-display-color-gray-0);
  --display-gray-borderColor-emphasis: var(--base-display-color-gray-6);
  --display-gray-borderColor-muted: var(--base-display-color-gray-1);
  --display-gray-fgColor: var(--base-display-color-gray-8);
  --display-gray-scale-0: var(--base-display-color-gray-0);
  --display-gray-scale-1: var(--base-display-color-gray-1);
  --display-gray-scale-2: var(--base-display-color-gray-2);
  --display-gray-scale-3: var(--base-display-color-gray-3);
  --display-gray-scale-4: var(--base-display-color-gray-4);
  --display-gray-scale-5: var(--base-display-color-gray-5);
  --display-gray-scale-6: var(--base-display-color-gray-6);
  --display-gray-scale-7: var(--base-display-color-gray-7);
  --display-gray-scale-8: var(--base-display-color-gray-8);
  --display-gray-scale-9: var(--base-display-color-gray-9);
  --display-green-bgColor-emphasis: var(--base-display-color-green-7);
  --display-green-bgColor-muted: var(--base-display-color-green-0);
  --display-green-borderColor-emphasis: var(--base-display-color-green-6);
  --display-green-borderColor-muted: var(--base-display-color-green-1);
  --display-green-fgColor: var(--base-display-color-green-8);
  --display-green-scale-0: var(--base-display-color-green-0);
  --display-green-scale-1: var(--base-display-color-green-1);
  --display-green-scale-2: var(--base-display-color-green-2);
  --display-green-scale-3: var(--base-display-color-green-3);
  --display-green-scale-4: var(--base-display-color-green-4);
  --display-green-scale-5: var(--base-display-color-green-5);
  --display-green-scale-6: var(--base-display-color-green-6);
  --display-green-scale-7: var(--base-display-color-green-7);
  --display-green-scale-8: var(--base-display-color-green-8);
  --display-green-scale-9: var(--base-display-color-green-9);
  --display-indigo-bgColor-emphasis: var(--base-display-color-indigo-7);
  --display-indigo-bgColor-muted: var(--base-display-color-indigo-0);
  --display-indigo-borderColor-emphasis: var(--base-display-color-indigo-6);
  --display-indigo-borderColor-muted: var(--base-display-color-indigo-1);
  --display-indigo-fgColor: var(--base-display-color-indigo-8);
  --display-indigo-scale-0: var(--base-display-color-indigo-0);
  --display-indigo-scale-1: var(--base-display-color-indigo-1);
  --display-indigo-scale-2: var(--base-display-color-indigo-2);
  --display-indigo-scale-3: var(--base-display-color-indigo-3);
  --display-indigo-scale-4: var(--base-display-color-indigo-4);
  --display-indigo-scale-5: var(--base-display-color-indigo-5);
  --display-indigo-scale-6: var(--base-display-color-indigo-6);
  --display-indigo-scale-7: var(--base-display-color-indigo-7);
  --display-indigo-scale-8: var(--base-display-color-indigo-8);
  --display-indigo-scale-9: var(--base-display-color-indigo-9);
  --display-lemon-bgColor-emphasis: var(--base-display-color-lemon-7);
  --display-lemon-bgColor-muted: var(--base-display-color-lemon-0);
  --display-lemon-borderColor-emphasis: var(--base-display-color-lemon-6);
  --display-lemon-borderColor-muted: var(--base-display-color-lemon-1);
  --display-lemon-fgColor: var(--base-display-color-lemon-8);
  --display-lemon-scale-0: var(--base-display-color-lemon-0);
  --display-lemon-scale-1: var(--base-display-color-lemon-1);
  --display-lemon-scale-2: var(--base-display-color-lemon-2);
  --display-lemon-scale-3: var(--base-display-color-lemon-3);
  --display-lemon-scale-4: var(--base-display-color-lemon-4);
  --display-lemon-scale-5: var(--base-display-color-lemon-5);
  --display-lemon-scale-6: var(--base-display-color-lemon-6);
  --display-lemon-scale-7: var(--base-display-color-lemon-7);
  --display-lemon-scale-8: var(--base-display-color-lemon-8);
  --display-lemon-scale-9: var(--base-display-color-lemon-9);
  --display-lime-bgColor-emphasis: var(--base-display-color-lime-7);
  --display-lime-bgColor-muted: var(--base-display-color-lime-0);
  --display-lime-borderColor-emphasis: var(--base-display-color-lime-6);
  --display-lime-borderColor-muted: var(--base-display-color-lime-1);
  --display-lime-fgColor: var(--base-display-color-lime-8);
  --display-lime-scale-0: var(--base-display-color-lime-0);
  --display-lime-scale-1: var(--base-display-color-lime-1);
  --display-lime-scale-2: var(--base-display-color-lime-2);
  --display-lime-scale-3: var(--base-display-color-lime-3);
  --display-lime-scale-4: var(--base-display-color-lime-4);
  --display-lime-scale-5: var(--base-display-color-lime-5);
  --display-lime-scale-6: var(--base-display-color-lime-6);
  --display-lime-scale-7: var(--base-display-color-lime-7);
  --display-lime-scale-8: var(--base-display-color-lime-8);
  --display-lime-scale-9: var(--base-display-color-lime-9);
  --display-olive-bgColor-emphasis: var(--base-display-color-olive-7);
  --display-olive-bgColor-muted: var(--base-display-color-olive-0);
  --display-olive-borderColor-emphasis: var(--base-display-color-olive-6);
  --display-olive-borderColor-muted: var(--base-display-color-olive-1);
  --display-olive-fgColor: var(--base-display-color-olive-8);
  --display-olive-scale-0: var(--base-display-color-olive-0);
  --display-olive-scale-1: var(--base-display-color-olive-1);
  --display-olive-scale-2: var(--base-display-color-olive-2);
  --display-olive-scale-3: var(--base-display-color-olive-3);
  --display-olive-scale-4: var(--base-display-color-olive-4);
  --display-olive-scale-5: var(--base-display-color-olive-5);
  --display-olive-scale-6: var(--base-display-color-olive-6);
  --display-olive-scale-7: var(--base-display-color-olive-7);
  --display-olive-scale-8: var(--base-display-color-olive-8);
  --display-olive-scale-9: var(--base-display-color-olive-9);
  --display-orange-bgColor-emphasis: var(--base-display-color-orange-7);
  --display-orange-bgColor-muted: var(--base-display-color-orange-0);
  --display-orange-borderColor-emphasis: var(--base-display-color-orange-6);
  --display-orange-borderColor-muted: var(--base-display-color-orange-1);
  --display-orange-fgColor: var(--base-display-color-orange-8);
  --display-orange-scale-0: var(--base-display-color-orange-0);
  --display-orange-scale-1: var(--base-display-color-orange-1);
  --display-orange-scale-2: var(--base-display-color-orange-2);
  --display-orange-scale-3: var(--base-display-color-orange-3);
  --display-orange-scale-4: var(--base-display-color-orange-4);
  --display-orange-scale-5: var(--base-display-color-orange-5);
  --display-orange-scale-6: var(--base-display-color-orange-6);
  --display-orange-scale-7: var(--base-display-color-orange-7);
  --display-orange-scale-8: var(--base-display-color-orange-8);
  --display-orange-scale-9: var(--base-display-color-orange-9);
  --display-pine-bgColor-emphasis: var(--base-display-color-pine-7);
  --display-pine-bgColor-muted: var(--base-display-color-pine-0);
  --display-pine-borderColor-emphasis: var(--base-display-color-pine-6);
  --display-pine-borderColor-muted: var(--base-display-color-pine-1);
  --display-pine-fgColor: var(--base-display-color-pine-8);
  --display-pine-scale-0: var(--base-display-color-pine-0);
  --display-pine-scale-1: var(--base-display-color-pine-1);
  --display-pine-scale-2: var(--base-display-color-pine-2);
  --display-pine-scale-3: var(--base-display-color-pine-3);
  --display-pine-scale-4: var(--base-display-color-pine-4);
  --display-pine-scale-5: var(--base-display-color-pine-5);
  --display-pine-scale-6: var(--base-display-color-pine-6);
  --display-pine-scale-7: var(--base-display-color-pine-7);
  --display-pine-scale-8: var(--base-display-color-pine-8);
  --display-pine-scale-9: var(--base-display-color-pine-9);
  --display-pink-bgColor-emphasis: var(--base-display-color-pink-7);
  --display-pink-bgColor-muted: var(--base-display-color-pink-0);
  --display-pink-borderColor-emphasis: var(--base-display-color-pink-6);
  --display-pink-borderColor-muted: var(--base-display-color-pink-1);
  --display-pink-fgColor: var(--base-display-color-pink-8);
  --display-pink-scale-0: var(--base-display-color-pink-0);
  --display-pink-scale-1: var(--base-display-color-pink-1);
  --display-pink-scale-2: var(--base-display-color-pink-2);
  --display-pink-scale-3: var(--base-display-color-pink-3);
  --display-pink-scale-4: var(--base-display-color-pink-4);
  --display-pink-scale-5: var(--base-display-color-pink-5);
  --display-pink-scale-6: var(--base-display-color-pink-6);
  --display-pink-scale-7: var(--base-display-color-pink-7);
  --display-pink-scale-8: var(--base-display-color-pink-8);
  --display-pink-scale-9: var(--base-display-color-pink-9);
  --display-plum-bgColor-emphasis: var(--base-display-color-plum-7);
  --display-plum-bgColor-muted: var(--base-display-color-plum-0);
  --display-plum-borderColor-emphasis: var(--base-display-color-plum-6);
  --display-plum-borderColor-muted: var(--base-display-color-plum-1);
  --display-plum-fgColor: var(--base-display-color-plum-8);
  --display-plum-scale-0: var(--base-display-color-plum-0);
  --display-plum-scale-1: var(--base-display-color-plum-1);
  --display-plum-scale-2: var(--base-display-color-plum-2);
  --display-plum-scale-3: var(--base-display-color-plum-3);
  --display-plum-scale-4: var(--base-display-color-plum-4);
  --display-plum-scale-5: var(--base-display-color-plum-5);
  --display-plum-scale-6: var(--base-display-color-plum-6);
  --display-plum-scale-7: var(--base-display-color-plum-7);
  --display-plum-scale-8: var(--base-display-color-plum-8);
  --display-plum-scale-9: var(--base-display-color-plum-9);
  --display-purple-bgColor-emphasis: var(--base-display-color-purple-7);
  --display-purple-bgColor-muted: var(--base-display-color-purple-0);
  --display-purple-borderColor-emphasis: var(--base-display-color-purple-6);
  --display-purple-borderColor-muted: var(--base-display-color-purple-1);
  --display-purple-fgColor: var(--base-display-color-purple-8);
  --display-purple-scale-0: var(--base-display-color-purple-0);
  --display-purple-scale-1: var(--base-display-color-purple-1);
  --display-purple-scale-2: var(--base-display-color-purple-2);
  --display-purple-scale-3: var(--base-display-color-purple-3);
  --display-purple-scale-4: var(--base-display-color-purple-4);
  --display-purple-scale-5: var(--base-display-color-purple-5);
  --display-purple-scale-6: var(--base-display-color-purple-6);
  --display-purple-scale-7: var(--base-display-color-purple-7);
  --display-purple-scale-8: var(--base-display-color-purple-8);
  --display-purple-scale-9: var(--base-display-color-purple-9);
  --display-red-bgColor-emphasis: var(--base-display-color-red-7);
  --display-red-bgColor-muted: var(--base-display-color-red-0);
  --display-red-borderColor-emphasis: var(--base-display-color-red-6);
  --display-red-borderColor-muted: var(--base-display-color-red-1);
  --display-red-fgColor: var(--base-display-color-red-8);
  --display-red-scale-0: var(--base-display-color-red-0);
  --display-red-scale-1: var(--base-display-color-red-1);
  --display-red-scale-2: var(--base-display-color-red-2);
  --display-red-scale-3: var(--base-display-color-red-3);
  --display-red-scale-4: var(--base-display-color-red-4);
  --display-red-scale-5: var(--base-display-color-red-5);
  --display-red-scale-6: var(--base-display-color-red-6);
  --display-red-scale-7: var(--base-display-color-red-7);
  --display-red-scale-8: var(--base-display-color-red-8);
  --display-red-scale-9: var(--base-display-color-red-9);
  --display-teal-bgColor-emphasis: var(--base-display-color-teal-7);
  --display-teal-bgColor-muted: var(--base-display-color-teal-0);
  --display-teal-borderColor-emphasis: var(--base-display-color-teal-6);
  --display-teal-borderColor-muted: var(--base-display-color-teal-1);
  --display-teal-fgColor: var(--base-display-color-teal-8);
  --display-teal-scale-0: var(--base-display-color-teal-0);
  --display-teal-scale-1: var(--base-display-color-teal-1);
  --display-teal-scale-2: var(--base-display-color-teal-2);
  --display-teal-scale-3: var(--base-display-color-teal-3);
  --display-teal-scale-4: var(--base-display-color-teal-4);
  --display-teal-scale-5: var(--base-display-color-teal-5);
  --display-teal-scale-6: var(--base-display-color-teal-6);
  --display-teal-scale-7: var(--base-display-color-teal-7);
  --display-teal-scale-8: var(--base-display-color-teal-8);
  --display-teal-scale-9: var(--base-display-color-teal-9);
  --display-yellow-bgColor-emphasis: var(--base-display-color-yellow-7);
  --display-yellow-bgColor-muted: var(--base-display-color-yellow-0);
  --display-yellow-borderColor-emphasis: var(--base-display-color-yellow-6);
  --display-yellow-borderColor-muted: var(--base-display-color-yellow-1);
  --display-yellow-fgColor: var(--base-display-color-yellow-8);
  --display-yellow-scale-0: var(--base-display-color-yellow-0);
  --display-yellow-scale-1: var(--base-display-color-yellow-1);
  --display-yellow-scale-2: var(--base-display-color-yellow-2);
  --display-yellow-scale-3: var(--base-display-color-yellow-3);
  --display-yellow-scale-4: var(--base-display-color-yellow-4);
  --display-yellow-scale-5: var(--base-display-color-yellow-5);
  --display-yellow-scale-6: var(--base-display-color-yellow-6);
  --display-yellow-scale-7: var(--base-display-color-yellow-7);
  --display-yellow-scale-8: var(--base-display-color-yellow-8);
  --display-yellow-scale-9: var(--base-display-color-yellow-9);
  --fgColor-accent: var(--base-color-blue-6);
  --fgColor-attention: var(--base-color-yellow-6);
  --fgColor-danger: var(--base-color-red-6);
  --fgColor-disabled: var(--base-color-neutral-9);
  --fgColor-done: var(--base-color-purple-6);
  --fgColor-muted: var(--base-color-neutral-11);
  --fgColor-neutral: var(--base-color-neutral-11);
  --fgColor-open: var(--base-color-red-6);
  --fgColor-severe: var(--base-color-red-6);
  --fgColor-sponsors: var(--base-color-pink-6);
  --fgColor-success: var(--base-color-blue-6);
  --header-bgColor: var(--base-color-neutral-12);
  --header-borderColor-divider: var(--base-color-neutral-7);
  --headerSearch-bgColor: var(--base-color-neutral-12);
  --headerSearch-borderColor: var(--base-color-neutral-8);
  --highlight-neutral-bgColor: var(--base-color-yellow-0);
  --label-auburn-bgColor-active: var(--base-display-color-auburn-2);
  --label-auburn-bgColor-hover: var(--base-display-color-auburn-1);
  --label-auburn-bgColor-rest: var(--base-display-color-auburn-0);
  --label-auburn-fgColor-active: var(--base-display-color-auburn-8);
  --label-auburn-fgColor-hover: var(--base-display-color-auburn-7);
  --label-auburn-fgColor-rest: var(--base-display-color-auburn-6);
  --label-blue-bgColor-active: var(--base-display-color-blue-2);
  --label-blue-bgColor-hover: var(--base-display-color-blue-1);
  --label-blue-bgColor-rest: var(--base-display-color-blue-0);
  --label-blue-fgColor-active: var(--base-display-color-blue-8);
  --label-blue-fgColor-hover: var(--base-display-color-blue-7);
  --label-blue-fgColor-rest: var(--base-display-color-blue-6);
  --label-brown-bgColor-active: var(--base-display-color-brown-2);
  --label-brown-bgColor-hover: var(--base-display-color-brown-1);
  --label-brown-bgColor-rest: var(--base-display-color-brown-0);
  --label-brown-fgColor-active: var(--base-display-color-brown-8);
  --label-brown-fgColor-hover: var(--base-display-color-brown-7);
  --label-brown-fgColor-rest: var(--base-display-color-brown-6);
  --label-coral-bgColor-active: var(--base-display-color-coral-2);
  --label-coral-bgColor-hover: var(--base-display-color-coral-1);
  --label-coral-bgColor-rest: var(--base-display-color-coral-0);
  --label-coral-fgColor-active: var(--base-display-color-coral-8);
  --label-coral-fgColor-hover: var(--base-display-color-coral-7);
  --label-coral-fgColor-rest: var(--base-display-color-coral-6);
  --label-cyan-bgColor-active: var(--base-display-color-cyan-2);
  --label-cyan-bgColor-hover: var(--base-display-color-cyan-1);
  --label-cyan-bgColor-rest: var(--base-display-color-cyan-0);
  --label-cyan-fgColor-active: var(--base-display-color-cyan-8);
  --label-cyan-fgColor-hover: var(--base-display-color-cyan-7);
  --label-cyan-fgColor-rest: var(--base-display-color-cyan-6);
  --label-gray-bgColor-active: var(--base-display-color-gray-2);
  --label-gray-bgColor-hover: var(--base-display-color-gray-1);
  --label-gray-bgColor-rest: var(--base-display-color-gray-0);
  --label-gray-fgColor-active: var(--base-display-color-gray-8);
  --label-gray-fgColor-hover: var(--base-display-color-gray-7);
  --label-gray-fgColor-rest: var(--base-display-color-gray-6);
  --label-green-bgColor-active: var(--base-display-color-green-2);
  --label-green-bgColor-hover: var(--base-display-color-green-1);
  --label-green-bgColor-rest: var(--base-display-color-green-0);
  --label-green-fgColor-active: var(--base-display-color-green-8);
  --label-green-fgColor-hover: var(--base-display-color-green-7);
  --label-green-fgColor-rest: var(--base-display-color-green-6);
  --label-indigo-bgColor-active: var(--base-display-color-indigo-2);
  --label-indigo-bgColor-hover: var(--base-display-color-indigo-1);
  --label-indigo-bgColor-rest: var(--base-display-color-indigo-0);
  --label-indigo-fgColor-active: var(--base-display-color-indigo-8);
  --label-indigo-fgColor-hover: var(--base-display-color-indigo-7);
  --label-indigo-fgColor-rest: var(--base-display-color-indigo-6);
  --label-lemon-bgColor-active: var(--base-display-color-lemon-2);
  --label-lemon-bgColor-hover: var(--base-display-color-lemon-1);
  --label-lemon-bgColor-rest: var(--base-display-color-lemon-0);
  --label-lemon-fgColor-active: var(--base-display-color-lemon-8);
  --label-lemon-fgColor-hover: var(--base-display-color-lemon-7);
  --label-lemon-fgColor-rest: var(--base-display-color-lemon-6);
  --label-lime-bgColor-active: var(--base-display-color-lime-2);
  --label-lime-bgColor-hover: var(--base-display-color-lime-1);
  --label-lime-bgColor-rest: var(--base-display-color-lime-0);
  --label-lime-fgColor-active: var(--base-display-color-lime-8);
  --label-lime-fgColor-hover: var(--base-display-color-lime-7);
  --label-lime-fgColor-rest: var(--base-display-color-lime-6);
  --label-olive-bgColor-active: var(--base-display-color-olive-2);
  --label-olive-bgColor-hover: var(--base-display-color-olive-1);
  --label-olive-bgColor-rest: var(--base-display-color-olive-0);
  --label-olive-fgColor-active: var(--base-display-color-olive-8);
  --label-olive-fgColor-hover: var(--base-display-color-olive-7);
  --label-olive-fgColor-rest: var(--base-display-color-olive-6);
  --label-orange-bgColor-active: var(--base-display-color-orange-2);
  --label-orange-bgColor-hover: var(--base-display-color-orange-1);
  --label-orange-bgColor-rest: var(--base-display-color-orange-0);
  --label-orange-fgColor-active: var(--base-display-color-orange-8);
  --label-orange-fgColor-hover: var(--base-display-color-orange-7);
  --label-orange-fgColor-rest: var(--base-display-color-orange-6);
  --label-pine-bgColor-active: var(--base-display-color-pine-2);
  --label-pine-bgColor-hover: var(--base-display-color-pine-1);
  --label-pine-bgColor-rest: var(--base-display-color-pine-0);
  --label-pine-fgColor-active: var(--base-display-color-pine-8);
  --label-pine-fgColor-hover: var(--base-display-color-pine-7);
  --label-pine-fgColor-rest: var(--base-display-color-pine-6);
  --label-pink-bgColor-active: var(--base-display-color-pink-2);
  --label-pink-bgColor-hover: var(--base-display-color-pink-1);
  --label-pink-bgColor-rest: var(--base-display-color-pink-0);
  --label-pink-fgColor-active: var(--base-display-color-pink-8);
  --label-pink-fgColor-hover: var(--base-display-color-pink-7);
  --label-pink-fgColor-rest: var(--base-display-color-pink-6);
  --label-plum-bgColor-active: var(--base-display-color-plum-2);
  --label-plum-bgColor-hover: var(--base-display-color-plum-1);
  --label-plum-bgColor-rest: var(--base-display-color-plum-0);
  --label-plum-fgColor-active: var(--base-display-color-plum-8);
  --label-plum-fgColor-hover: var(--base-display-color-plum-7);
  --label-plum-fgColor-rest: var(--base-display-color-plum-6);
  --label-purple-bgColor-active: var(--base-display-color-purple-2);
  --label-purple-bgColor-hover: var(--base-display-color-purple-1);
  --label-purple-bgColor-rest: var(--base-display-color-purple-0);
  --label-purple-fgColor-active: var(--base-display-color-purple-8);
  --label-purple-fgColor-hover: var(--base-display-color-purple-7);
  --label-purple-fgColor-rest: var(--base-display-color-purple-6);
  --label-red-bgColor-active: var(--base-display-color-red-2);
  --label-red-bgColor-hover: var(--base-display-color-red-1);
  --label-red-bgColor-rest: var(--base-display-color-red-0);
  --label-red-fgColor-active: var(--base-display-color-red-8);
  --label-red-fgColor-hover: var(--base-display-color-red-7);
  --label-red-fgColor-rest: var(--base-display-color-red-6);
  --label-teal-bgColor-active: var(--base-display-color-teal-2);
  --label-teal-bgColor-hover: var(--base-display-color-teal-1);
  --label-teal-bgColor-rest: var(--base-display-color-teal-0);
  --label-teal-fgColor-active: var(--base-display-color-teal-8);
  --label-teal-fgColor-hover: var(--base-display-color-teal-7);
  --label-teal-fgColor-rest: var(--base-display-color-teal-6);
  --label-yellow-bgColor-active: var(--base-display-color-yellow-2);
  --label-yellow-bgColor-hover: var(--base-display-color-yellow-1);
  --label-yellow-bgColor-rest: var(--base-display-color-yellow-0);
  --label-yellow-fgColor-active: var(--base-display-color-yellow-8);
  --label-yellow-fgColor-hover: var(--base-display-color-yellow-7);
  --label-yellow-fgColor-rest: var(--base-display-color-yellow-6);
  --menu-bgColor-active: var(--base-color-transparent);
  --overlay-backdrop-bgColor: #393f4666;
  --progressBar-bgColor-neutral: var(--base-color-neutral-8);
  --progressBar-track-borderColor: var(--base-color-neutral-11);
  --reactionButton-selected-bgColor-rest: var(--base-color-blue-0);
  --reactionButton-selected-fgColor-hover: var(--base-color-blue-6);
  --selectMenu-bgColor-active: var(--base-color-blue-1);
  --selectMenu-borderColor: var(--base-color-transparent);
  --shadow-floating-legacy: 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
  --shadow-resting-medium: 0px 1px 1px 0px #25292e1a, 0px 3px 6px 0px #25292e1f;
  --skeletonLoader-bgColor: var(--base-color-neutral-5);
  --treeViewItem-leadingVisual-iconColor-rest: var(--base-color-blue-3);
  --underlineNav-borderColor-active: var(--base-color-coral-3);
  --avatar-bgColor: var(--base-color-neutral-0);
  --avatar-shadow: 0px 0px 0px 2px #ffffffcc;
  --base-color-inset: var(--base-color-neutral-0);
  --bgColor-black: var(--base-color-neutral-13);
  --bgColor-closed-emphasis: var(--bgColor-neutral-emphasis);
  --bgColor-closed-muted: var(--bgColor-neutral-muted);
  --bgColor-default: var(--base-color-neutral-0);
  --bgColor-draft-emphasis: var(--bgColor-neutral-emphasis);
  --bgColor-draft-muted: var(--bgColor-neutral-muted);
  --bgColor-upsell-emphasis: var(--bgColor-done-emphasis);
  --bgColor-upsell-muted: var(--bgColor-done-muted);
  --bgColor-white: var(--base-color-neutral-0);
  --border-accent-emphasis: 0.0625rem solid #0349b4;
  --border-accent-muted: 0.0625rem solid #368cf9;
  --border-attention-emphasis: 0.0625rem solid #744500;
  --border-attention-muted: 0.0625rem solid #b58407;
  --border-danger-emphasis: 0.0625rem solid #a0111f;
  --border-danger-muted: 0.0625rem solid #ee5a5d;
  --border-default: 0.0625rem solid #454c54;
  --border-disabled: 0.0625rem solid #59636e1f;
  --border-done-emphasis: 0.0625rem solid #622cbc;
  --border-done-muted: 0.0625rem solid #a371f7;
  --border-neutral-emphasis: 0.0625rem solid #59636e;
  --border-severe-emphasis: 0.0625rem solid #a0111f;
  --border-severe-muted: 0.0625rem solid #ee5a5d;
  --border-sponsors-emphasis: 0.0625rem solid #971368;
  --border-sponsors-muted: 0.0625rem solid #ed4baf;
  --border-success-emphasis: 0.0625rem solid #0349b4;
  --border-success-muted: 0.0625rem solid #368cf9;
  --border-transparent: 0.0625rem solid #ffffff00;
  --borderColor-closed-muted: var(--borderColor-default);
  --borderColor-draft-emphasis: var(--borderColor-neutral-emphasis);
  --borderColor-draft-muted: var(--borderColor-default);
  --borderColor-emphasis: var(--borderColor-default);
  --borderColor-muted: var(--borderColor-default);
  --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
  --borderColor-upsell-muted: var(--borderColor-done-muted);
  --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
  --button-danger-bgColor-rest: var(--control-bgColor-rest);
  --button-danger-borderColor-active: var(--button-danger-borderColor-hover);
  --button-danger-fgColor-active: var(--base-color-neutral-0);
  --button-danger-fgColor-disabled: #86061d80;
  --button-danger-fgColor-hover: var(--base-color-neutral-0);
  --button-danger-fgColor-rest: var(--fgColor-danger);
  --button-danger-iconColor-hover: var(--base-color-neutral-0);
  --button-default-bgColor-active: var(--control-bgColor-active);
  --button-default-bgColor-hover: var(--control-bgColor-hover);
  --button-default-bgColor-rest: var(--control-bgColor-rest);
  --button-default-bgColor-selected: var(--control-bgColor-active);
  --button-default-fgColor-rest: var(--control-fgColor-rest);
  --button-default-shadow-resting: 0px 1px 0px 0px #0104090a;
  --button-invisible-bgColor-active: var(--control-transparent-bgColor-active);
  --button-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
  --button-invisible-bgColor-rest: var(--control-transparent-bgColor-rest);
  --button-invisible-borderColor-rest: var(--control-transparent-borderColor-rest);
  --button-invisible-fgColor-active: var(--control-fgColor-rest);
  --button-invisible-fgColor-rest: var(--control-fgColor-rest);
  --button-invisible-iconColor-rest: var(--fgColor-muted);
  --button-outline-bgColor-hover: var(--bgColor-accent-emphasis);
  --button-outline-bgColor-rest: var(--control-bgColor-rest);
  --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
  --button-outline-fgColor-active: var(--base-color-neutral-0);
  --button-outline-fgColor-disabled: #023b9580;
  --button-outline-fgColor-hover: var(--base-color-neutral-0);
  --button-outline-fgColor-rest: var(--fgColor-accent);
  --button-primary-bgColor-rest: var(--bgColor-success-emphasis);
  --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
  --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
  --button-primary-fgColor-disabled: #ffffffcc;
  --buttonCounter-danger-bgColor-disabled: #a0111f0d;
  --buttonCounter-danger-bgColor-hover: #ffffff33;
  --buttonCounter-danger-bgColor-rest: #a0111f1a;
  --buttonCounter-danger-fgColor-disabled: #86061d80;
  --buttonCounter-danger-fgColor-hover: var(--base-color-neutral-0);
  --buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
  --buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
  --buttonCounter-outline-bgColor-disabled: #0349b40d;
  --buttonCounter-outline-bgColor-hover: #ffffff33;
  --buttonCounter-outline-bgColor-rest: #0349b41a;
  --buttonCounter-outline-fgColor-disabled: #023b9580;
  --buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
  --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
  --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
  --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
  --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
  --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
  --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
  --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
  --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
  --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
  --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
  --buttonKeybindingHint-primary-bgColor-disabled: #00230b1a;
  --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
  --codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
  --codeMirror-lineNumber-fgColor: var(--fgColor-muted);
  --codeMirror-selection-bgColor: var(--borderColor-accent-muted);
  --codeMirror-syntax-fgColor-comment: var(--base-color-neutral-13);
  --color-ansi-black: var(--base-color-neutral-13);
  --color-prettylights-syntax-markup-bold: var(--base-color-neutral-13);
  --color-prettylights-syntax-markup-italic: var(--base-color-neutral-13);
  --color-prettylights-syntax-storage-modifier-import: var(--base-color-neutral-13);
  --contribution-default-bgColor-0: var(--base-color-neutral-0);
  --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
  --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
  --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
  --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
  --control-bgColor-disabled: var(--bgColor-disabled);
  --control-bgColor-selected: var(--control-bgColor-rest);
  --control-borderColor-danger: var(--borderColor-danger-emphasis);
  --control-borderColor-disabled: var(--borderColor-disabled);
  --control-borderColor-rest: var(--borderColor-default);
  --control-borderColor-success: var(--borderColor-success-emphasis);
  --control-borderColor-warning: var(--borderColor-attention-emphasis);
  --control-checked-bgColor-disabled: var(--fgColor-disabled);
  --control-checked-bgColor-rest: var(--bgColor-accent-emphasis);
  --control-danger-bgColor-hover: var(--bgColor-danger-emphasis);
  --control-danger-fgColor-rest: var(--fgColor-danger);
  --control-fgColor-disabled: var(--fgColor-disabled);
  --control-iconColor-rest: var(--fgColor-muted);
  --control-transparent-bgColor-disabled: var(--bgColor-disabled);
  --control-transparent-borderColor-active: var(--borderColor-default);
  --control-transparent-borderColor-hover: var(--borderColor-default);
  --controlKnob-bgColor-checked: var(--base-color-neutral-0);
  --controlKnob-bgColor-rest: var(--base-color-neutral-0);
  --controlTrack-bgColor-disabled: var(--fgColor-disabled);
  --controlTrack-borderColor-disabled: var(--fgColor-disabled);
  --counter-bgColor-emphasis: var(--bgColor-neutral-emphasis);
  --counter-bgColor-muted: var(--bgColor-neutral-muted);
  --counter-borderColor: var(--borderColor-default);
  --diffBlob-additionLine-bgColor: var(--bgColor-success-muted);
  --diffBlob-deletionLine-bgColor: var(--bgColor-danger-muted);
  --diffBlob-emptyLine-bgColor: var(--bgColor-muted);
  --diffBlob-emptyNum-bgColor: var(--bgColor-muted);
  --diffBlob-hunkLine-fgColor: var(--fgColor-muted);
  --fgColor-black: var(--base-color-neutral-13);
  --fgColor-closed: var(--fgColor-muted);
  --fgColor-default: var(--base-color-neutral-13);
  --fgColor-draft: var(--fgColor-neutral);
  --fgColor-link: var(--fgColor-accent);
  --fgColor-onEmphasis: var(--base-color-neutral-0);
  --fgColor-onInverse: var(--base-color-neutral-0);
  --fgColor-upsell: var(--fgColor-done);
  --fgColor-white: var(--base-color-neutral-0);
  --focus-outlineColor: var(--borderColor-accent-emphasis);
  --header-fgColor-default: #ffffffb3;
  --header-fgColor-logo: var(--base-color-neutral-0);
  --label-auburn-borderColor: var(--label-auburn-fgColor-rest);
  --label-blue-borderColor: var(--label-blue-fgColor-rest);
  --label-brown-borderColor: var(--label-brown-fgColor-rest);
  --label-coral-borderColor: var(--label-coral-fgColor-rest);
  --label-cyan-borderColor: var(--label-cyan-fgColor-rest);
  --label-gray-borderColor: var(--label-gray-fgColor-rest);
  --label-green-borderColor: var(--label-green-fgColor-rest);
  --label-indigo-borderColor: var(--label-indigo-fgColor-rest);
  --label-lemon-borderColor: var(--label-lemon-fgColor-rest);
  --label-lime-borderColor: var(--label-lime-fgColor-rest);
  --label-olive-borderColor: var(--label-olive-fgColor-rest);
  --label-orange-borderColor: var(--label-orange-fgColor-rest);
  --label-pine-borderColor: var(--label-pine-fgColor-rest);
  --label-pink-borderColor: var(--label-pink-fgColor-rest);
  --label-plum-borderColor: var(--label-plum-fgColor-rest);
  --label-purple-borderColor: var(--label-purple-fgColor-rest);
  --label-red-borderColor: var(--label-red-fgColor-rest);
  --label-teal-borderColor: var(--label-teal-fgColor-rest);
  --label-yellow-borderColor: var(--label-yellow-fgColor-rest);
  --overlay-bgColor: var(--base-color-neutral-0);
  --overlay-borderColor: var(--borderColor-default);
  --page-header-bgColor: var(--bgColor-muted);
  --progressBar-bgColor-accent: var(--bgColor-accent-emphasis);
  --progressBar-bgColor-attention: var(--bgColor-attention-emphasis);
  --progressBar-bgColor-danger: var(--bgColor-danger-emphasis);
  --progressBar-bgColor-done: var(--bgColor-done-emphasis);
  --progressBar-bgColor-severe: var(--bgColor-severe-emphasis);
  --progressBar-bgColor-sponsors: var(--bgColor-sponsors-emphasis);
  --progressBar-bgColor-success: var(--bgColor-success-emphasis);
  --selection-bgColor: #0349b433;
  --shadow-inset: inset 0px 1px 0px 0px #0104090a;
  --shadow-resting-small: 0px 1px 1px 0px #0104090f, 0px 1px 3px 0px #0104090f;
  --shadow-resting-xsmall: 0px 1px 1px 0px #0104090f;
  --sideNav-bgColor-selected: var(--base-color-neutral-0);
  --timelineBadge-bgColor: var(--bgColor-muted);
  --tooltip-bgColor: var(--bgColor-emphasis);
  --topicTag-borderColor: var(--borderColor-accent-emphasis);
  --underlineNav-iconColor-rest: var(--fgColor-muted);
  --avatar-borderColor: var(--borderColor-emphasis);
  --border-closed-emphasis: var(--border-danger-emphasis);
  --border-closed-muted: var(--border-danger-muted);
  --border-emphasis: 0.0625rem solid #454c54;
  --border-muted: 0.0625rem solid #454c54;
  --border-open-emphasis: var(--border-success-emphasis);
  --border-open-muted: var(--border-success-muted);
  --border-upsell-emphasis: 0.0625rem solid #622cbc;
  --border-upsell-muted: 0.0625rem solid #a371f7;
  --borderColor-closed-emphasis: var(--borderColor-emphasis);
  --borderColor-neutral-muted: var(--borderColor-muted);
  --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
  --button-danger-borderColor-rest: var(--control-borderColor-rest);
  --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
  --button-default-bgColor-disabled: var(--control-bgColor-disabled);
  --button-default-borderColor-active: var(--control-borderColor-rest);
  --button-default-borderColor-disabled: var(--control-borderColor-disabled);
  --button-default-borderColor-rest: var(--control-borderColor-rest);
  --button-invisible-borderColor-hover: var(--control-transparent-borderColor-hover);
  --button-invisible-fgColor-disabled: var(--control-fgColor-disabled);
  --button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
  --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
  --button-primary-fgColor-rest: var(--fgColor-white);
  --button-primary-iconColor-rest: #ffffffcc;
  --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
  --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
  --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
  --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
  --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
  --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
  --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
  --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
  --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
  --buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
  --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
  --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
  --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
  --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
  --card-bgColor: var(--bgColor-default);
  --codeMirror-bgColor: var(--bgColor-default);
  --codeMirror-cursor-fgColor: var(--fgColor-default);
  --codeMirror-fgColor: var(--fgColor-default);
  --codeMirror-gutterMarker-fgColor-default: var(--bgColor-default);
  --codeMirror-gutters-bgColor: var(--bgColor-default);
  --codeMirror-lines-bgColor: var(--bgColor-default);
  --codeMirror-matchingBracket-fgColor: var(--fgColor-default);
  --control-borderColor-emphasis: var(--borderColor-emphasis);
  --control-borderColor-selected: var(--control-bgColor-selected);
  --control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
  --control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
  --control-checked-fgColor-disabled: var(--fgColor-onEmphasis);
  --control-checked-fgColor-rest: var(--fgColor-onEmphasis);
  --control-danger-fgColor-hover: var(--fgColor-onEmphasis);
  --controlKnob-bgColor-disabled: var(--control-bgColor-disabled);
  --controlKnob-borderColor-checked: var(--control-checked-bgColor-rest);
  --controlKnob-borderColor-disabled: var(--control-bgColor-disabled);
  --controlTrack-borderColor-rest: var(--borderColor-emphasis);
  --controlTrack-fgColor-disabled: var(--fgColor-onEmphasis);
  --dashboard-bgColor: var(--bgColor-default);
  --diffBlob-additionLine-fgColor: var(--fgColor-default);
  --diffBlob-additionNum-fgColor: var(--fgColor-default);
  --diffBlob-additionWord-fgColor: var(--fgColor-onEmphasis);
  --diffBlob-deletionLine-fgColor: var(--fgColor-default);
  --diffBlob-deletionNum-fgColor: var(--fgColor-default);
  --diffBlob-deletionWord-fgColor: var(--fgColor-onEmphasis);
  --diffBlob-expander-iconColor: var(--fgColor-default);
  --diffBlob-hunkNum-fgColor-hover: var(--fgColor-default);
  --diffBlob-hunkNum-fgColor-rest: var(--fgColor-default);
  --focus-outline: 2px solid #0349b4;
  --progressBar-track-bgColor: var(--bgColor-default);
  --reactionButton-selected-fgColor-rest: var(--fgColor-link);
  --shadow-floating-large: 0px 0px 0px 1px #454c54, 0px 40px 80px 0px #25292e3d;
  --shadow-floating-medium: 0px 0px 0px 1px #454c54, 0px 8px 16px -4px #25292e14, 0px 4px 32px -4px #25292e14, 0px 24px 48px -12px #25292e14, 0px 48px 96px -24px #25292e14;
  --shadow-floating-small: 0px 0px 0px 1px #454c5480, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
  --shadow-floating-xlarge: 0px 0px 0px 1px #454c54, 0px 56px 112px 0px #25292e52;
  --tooltip-fgColor: var(--fgColor-onEmphasis);
  --underlineNav-borderColor-hover: var(--borderColor-muted);
  --border-neutral-muted: 0.0625rem solid #454c54;
  --button-default-borderColor-hover: var(--button-default-borderColor-rest);
  --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
  --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
  --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
  --controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
}
@media (prefers-color-scheme: dark) {
  [data-color-mode][data-color-mode="auto"][data-dark-theme="light_tritanopia_high_contrast"],
  [data-color-mode][data-color-mode="auto"][data-dark-theme="light_tritanopia_high_contrast"] ::backdrop {
    --base-color-black: #010409;
    --base-color-blue-0: #dff7ff;
    --base-color-blue-1: #9cd7ff;
    --base-color-blue-2: #67b3fd;
    --base-color-blue-3: #368cf9;
    --base-color-blue-4: #1168e3;
    --base-color-blue-5: #0349b4;
    --base-color-blue-6: #023b95;
    --base-color-blue-7: #022f7a;
    --base-color-blue-8: #032563;
    --base-color-blue-9: #021a4a;
    --base-color-coral-0: #fff0ed;
    --base-color-coral-1: #ffc2b6;
    --base-color-coral-2: #ff8f7e;
    --base-color-coral-3: #cd3425;
    --base-color-coral-4: #ef5b48;
    --base-color-coral-5: #9f1710;
    --base-color-coral-6: #870706;
    --base-color-coral-7: #6f0107;
    --base-color-coral-8: #5b0002;
    --base-color-coral-9: #430200;
    --base-color-green-0: #d2fedb;
    --base-color-green-1: #82e596;
    --base-color-green-2: #43c663;
    --base-color-green-3: #26a148;
    --base-color-green-4: #117f32;
    --base-color-green-5: #055d20;
    --base-color-green-6: #024c1a;
    --base-color-green-7: #013d14;
    --base-color-green-8: #003110;
    --base-color-green-9: #00230b;
    --base-color-neutral-1: #f6f8fa;
    --base-color-neutral-10: #454c54;
    --base-color-neutral-11: #393f46;
    --base-color-neutral-12: #25292e;
    --base-color-neutral-2: #eff2f5;
    --base-color-neutral-3: #e6eaef;
    --base-color-neutral-4: #e0e6eb;
    --base-color-neutral-5: #dae0e7;
    --base-color-neutral-6: #d1d9e0;
    --base-color-neutral-7: #c8d1da;
    --base-color-neutral-8: #818b98;
    --base-color-neutral-9: #59636e;
    --base-color-orange-0: #fff2d5;
    --base-color-orange-1: #ffc67b;
    --base-color-orange-2: #f99636;
    --base-color-orange-3: #dc6d1a;
    --base-color-orange-4: #b45105;
    --base-color-orange-5: #873800;
    --base-color-orange-6: #702c00;
    --base-color-orange-7: #5b2300;
    --base-color-orange-8: #491b00;
    --base-color-orange-9: #361200;
    --base-color-pink-0: #feeff7;
    --base-color-pink-1: #ffbde0;
    --base-color-pink-2: #fc87ca;
    --base-color-pink-3: #ed4baf;
    --base-color-pink-4: #c9248e;
    --base-color-pink-5: #971368;
    --base-color-pink-6: #7d0c57;
    --base-color-pink-7: #660847;
    --base-color-pink-8: #53043a;
    --base-color-pink-9: #3e022b;
    --base-color-purple-0: #faf0fe;
    --base-color-purple-1: #e0c5ff;
    --base-color-purple-2: #c49bff;
    --base-color-purple-3: #a371f7;
    --base-color-purple-4: #844ae7;
    --base-color-purple-5: #622cbc;
    --base-color-purple-6: #512598;
    --base-color-purple-7: #411d7b;
    --base-color-purple-8: #341763;
    --base-color-purple-9: #260f49;
    --base-color-red-0: #fff0ee;
    --base-color-red-1: #ffc1bc;
    --base-color-red-2: #ff8e8a;
    --base-color-red-3: #ee5a5d;
    --base-color-red-4: #d5232c;
    --base-color-red-5: #a0111f;
    --base-color-red-6: #86061d;
    --base-color-red-7: #6e011a;
    --base-color-red-8: #5a0016;
    --base-color-red-9: #430011;
    --base-color-transparent: #ffffff00;
    --base-color-white: #ffffff;
    --base-color-yellow-0: #fcf7be;
    --base-color-yellow-1: #f0ce53;
    --base-color-yellow-2: #d5a824;
    --base-color-yellow-3: #b58407;
    --base-color-yellow-4: #956400;
    --base-color-yellow-5: #744500;
    --base-color-yellow-6: #603700;
    --base-color-yellow-7: #4e2c00;
    --base-color-yellow-8: #3f2200;
    --base-color-yellow-9: #2e1800;
    --base-display-color-auburn-0: #f2e9e9;
    --base-display-color-auburn-1: #e6d6d5;
    --base-display-color-auburn-2: #d4b7b5;
    --base-display-color-auburn-3: #c59e9b;
    --base-display-color-auburn-4: #b4827e;
    --base-display-color-auburn-5: #9d615c;
    --base-display-color-auburn-6: #8a5551;
    --base-display-color-auburn-7: #744744;
    --base-display-color-auburn-8: #5d3937;
    --base-display-color-auburn-9: #432928;
    --base-display-color-black: #0d1117;
    --base-display-color-blue-0: #d1f0ff;
    --base-display-color-blue-1: #ade1ff;
    --base-display-color-blue-2: #75c8ff;
    --base-display-color-blue-3: #47afff;
    --base-display-color-blue-4: #0f8fff;
    --base-display-color-blue-5: #006edb;
    --base-display-color-blue-6: #005fcc;
    --base-display-color-blue-7: #004db3;
    --base-display-color-blue-8: #003d99;
    --base-display-color-blue-9: #002b75;
    --base-display-color-brown-0: #eeeae2;
    --base-display-color-brown-1: #dfd7c8;
    --base-display-color-brown-2: #cbbda4;
    --base-display-color-brown-3: #b8a484;
    --base-display-color-brown-4: #a68b64;
    --base-display-color-brown-5: #856d4c;
    --base-display-color-brown-6: #755f43;
    --base-display-color-brown-7: #64513a;
    --base-display-color-brown-8: #51412f;
    --base-display-color-brown-9: #3a2e22;
    --base-display-color-coral-0: #ffe5db;
    --base-display-color-coral-1: #fecebe;
    --base-display-color-coral-2: #fcab92;
    --base-display-color-coral-3: #f88768;
    --base-display-color-coral-4: #f25f3a;
    --base-display-color-coral-5: #d43511;
    --base-display-color-coral-6: #ba2e12;
    --base-display-color-coral-7: #9b2712;
    --base-display-color-coral-8: #7e2011;
    --base-display-color-coral-9: #5d180e;
    --base-display-color-cyan-0: #bdf4ff;
    --base-display-color-cyan-1: #7ae9ff;
    --base-display-color-cyan-2: #00d0fa;
    --base-display-color-cyan-3: #00b7db;
    --base-display-color-cyan-4: #0099b8;
    --base-display-color-cyan-5: #007b94;
    --base-display-color-cyan-6: #006a80;
    --base-display-color-cyan-7: #00596b;
    --base-display-color-cyan-8: #004857;
    --base-display-color-cyan-9: #003742;
    --base-display-color-gray-0: #e8ecf2;
    --base-display-color-gray-1: #d2dae4;
    --base-display-color-gray-2: #b4c0cf;
    --base-display-color-gray-3: #9ba9bb;
    --base-display-color-gray-4: #808fa3;
    --base-display-color-gray-5: #647182;
    --base-display-color-gray-6: #5c6570;
    --base-display-color-gray-7: #4e535a;
    --base-display-color-gray-8: #424448;
    --base-display-color-gray-9: #303031;
    --base-display-color-green-0: #caf7ca;
    --base-display-color-green-1: #9ceda0;
    --base-display-color-green-2: #54d961;
    --base-display-color-green-3: #31bf46;
    --base-display-color-green-4: #30a147;
    --base-display-color-green-5: #2c8141;
    --base-display-color-green-6: #2b6e3f;
    --base-display-color-green-7: #285c3b;
    --base-display-color-green-8: #254b34;
    --base-display-color-green-9: #1d3528;
    --base-display-color-indigo-0: #e5e9ff;
    --base-display-color-indigo-1: #d2d7fe;
    --base-display-color-indigo-2: #b1b9fb;
    --base-display-color-indigo-3: #979ff7;
    --base-display-color-indigo-4: #7a82f0;
    --base-display-color-indigo-5: #5a61e7;
    --base-display-color-indigo-6: #494edf;
    --base-display-color-indigo-7: #393cd5;
    --base-display-color-indigo-8: #2d2db4;
    --base-display-color-indigo-9: #25247b;
    --base-display-color-lemon-0: #f7eea1;
    --base-display-color-lemon-1: #f0db3d;
    --base-display-color-lemon-2: #d8bd0e;
    --base-display-color-lemon-3: #c2a60a;
    --base-display-color-lemon-4: #a68c07;
    --base-display-color-lemon-5: #866e04;
    --base-display-color-lemon-6: #786002;
    --base-display-color-lemon-7: #654f01;
    --base-display-color-lemon-8: #523f00;
    --base-display-color-lemon-9: #3d2e00;
    --base-display-color-lime-0: #e3f2b5;
    --base-display-color-lime-1: #c7e580;
    --base-display-color-lime-2: #9bd039;
    --base-display-color-lime-3: #80b530;
    --base-display-color-lime-4: #6c9d2f;
    --base-display-color-lime-5: #527a29;
    --base-display-color-lime-6: #476c28;
    --base-display-color-lime-7: #3a5b25;
    --base-display-color-lime-8: #2f4a21;
    --base-display-color-lime-9: #213319;
    --base-display-color-olive-0: #f0f0ad;
    --base-display-color-olive-1: #dbe170;
    --base-display-color-olive-2: #b9c832;
    --base-display-color-olive-3: #9bae32;
    --base-display-color-olive-4: #819532;
    --base-display-color-olive-5: #64762d;
    --base-display-color-olive-6: #56682c;
    --base-display-color-olive-7: #495a2b;
    --base-display-color-olive-8: #3b4927;
    --base-display-color-olive-9: #2a331f;
    --base-display-color-orange-0: #ffe7d1;
    --base-display-color-orange-1: #fecfaa;
    --base-display-color-orange-2: #fbaf74;
    --base-display-color-orange-3: #f68c41;
    --base-display-color-orange-4: #eb670f;
    --base-display-color-orange-5: #b8500f;
    --base-display-color-orange-6: #a24610;
    --base-display-color-orange-7: #8d3c11;
    --base-display-color-orange-8: #70300f;
    --base-display-color-orange-9: #54230d;
    --base-display-color-pine-0: #bff8db;
    --base-display-color-pine-1: #80efb9;
    --base-display-color-pine-2: #1dd781;
    --base-display-color-pine-3: #1dbf76;
    --base-display-color-pine-4: #1aa267;
    --base-display-color-pine-5: #167e53;
    --base-display-color-pine-6: #156f4b;
    --base-display-color-pine-7: #135d41;
    --base-display-color-pine-8: #114b36;
    --base-display-color-pine-9: #0d3627;
    --base-display-color-pink-0: #ffe5f1;
    --base-display-color-pink-1: #fdc9e2;
    --base-display-color-pink-2: #f8a5cf;
    --base-display-color-pink-3: #f184bc;
    --base-display-color-pink-4: #e55da5;
    --base-display-color-pink-5: #ce2c85;
    --base-display-color-pink-6: #b12f79;
    --base-display-color-pink-7: #8e2e66;
    --base-display-color-pink-8: #6e2b53;
    --base-display-color-pink-9: #4d233d;
    --base-display-color-plum-0: #f8e5ff;
    --base-display-color-plum-1: #f0cdfe;
    --base-display-color-plum-2: #e2a7fb;
    --base-display-color-plum-3: #d487f7;
    --base-display-color-plum-4: #c264f2;
    --base-display-color-plum-5: #a830e8;
    --base-display-color-plum-6: #961edc;
    --base-display-color-plum-7: #7d1eb8;
    --base-display-color-plum-8: #651d96;
    --base-display-color-plum-9: #471769;
    --base-display-color-purple-0: #f1e5ff;
    --base-display-color-purple-1: #e6d2fe;
    --base-display-color-purple-2: #d1b1fc;
    --base-display-color-purple-3: #bc91f8;
    --base-display-color-purple-4: #a672f3;
    --base-display-color-purple-5: #894ceb;
    --base-display-color-purple-6: #783ae4;
    --base-display-color-purple-7: #6223d7;
    --base-display-color-purple-8: #4f21ab;
    --base-display-color-purple-9: #391b79;
    --base-display-color-red-0: #ffe2e0;
    --base-display-color-red-1: #fecdcd;
    --base-display-color-red-2: #fda5a7;
    --base-display-color-red-3: #fb8389;
    --base-display-color-red-4: #f85461;
    --base-display-color-red-5: #df0c24;
    --base-display-color-red-6: #c50d28;
    --base-display-color-red-7: #a60c29;
    --base-display-color-red-8: #880c27;
    --base-display-color-red-9: #610a20;
    --base-display-color-teal-0: #c7f5ef;
    --base-display-color-teal-1: #89ebe1;
    --base-display-color-teal-2: #22d3c7;
    --base-display-color-teal-3: #1db9b4;
    --base-display-color-teal-4: #179b9b;
    --base-display-color-teal-5: #127e81;
    --base-display-color-teal-6: #106e75;
    --base-display-color-teal-7: #0d5b63;
    --base-display-color-teal-8: #0a4852;
    --base-display-color-teal-9: #073740;
    --base-display-color-white: #ffffff;
    --base-display-color-yellow-0: #ffec9e;
    --base-display-color-yellow-1: #ffd642;
    --base-display-color-yellow-2: #ebb400;
    --base-display-color-yellow-3: #d19d00;
    --base-display-color-yellow-4: #b88700;
    --base-display-color-yellow-5: #946a00;
    --base-display-color-yellow-6: #805900;
    --base-display-color-yellow-7: #704d00;
    --base-display-color-yellow-8: #5c3d00;
    --base-display-color-yellow-9: #422b00;
    --borderRadius-full: 624.9375rem; /** Use this border radius for pill shaped elements */
    --borderRadius-large: 0.75rem;
    --borderRadius-medium: 0.375rem;
    --borderRadius-small: 0.1875rem;
    --borderWidth-thick: 0.125rem;
    --borderWidth-thicker: 0.25rem;
    --borderWidth-thin: 0.0625rem;
    --button-outline-bgColor-active: #033f9d;
    --button-primary-bgColor-active: #075fc8;
    --button-primary-bgColor-disabled: #92caff;
    --button-primary-bgColor-hover: #0864d1;
    --color-ansi-cyan: #1b7c83;
    --color-ansi-cyan-bright: #3192aa;
    --control-checked-bgColor-active: #033f9d;
    --control-checked-bgColor-hover: #0344a8;
    --control-checked-borderColor-active: #033f9d;
    --control-checked-borderColor-hover: #0344a8;
    --control-danger-bgColor-active: #8c0b1d;
    --outline-focus-offset: -0.125rem;
    --outline-focus-width: 0.125rem;
    --reactionButton-selected-bgColor-hover: #caecff;
    --avatarStack-fade-bgColor-default: var(--base-color-neutral-7);
    --avatarStack-fade-bgColor-muted: var(--base-color-neutral-5);
    --base-color-neutral-0: var(--base-color-white);
    --base-color-neutral-13: var(--base-color-black);
    --bgColor-accent-emphasis: var(--base-color-blue-5);
    --bgColor-accent-muted: var(--base-color-blue-0);
    --bgColor-attention-emphasis: var(--base-color-yellow-5);
    --bgColor-attention-muted: var(--base-color-yellow-0);
    --bgColor-danger-emphasis: var(--base-color-red-5);
    --bgColor-danger-muted: var(--base-color-red-0);
    --bgColor-disabled: var(--base-color-neutral-4);
    --bgColor-done-emphasis: var(--base-color-purple-5);
    --bgColor-done-muted: var(--base-color-purple-0);
    --bgColor-emphasis: var(--base-color-neutral-12);
    --bgColor-inset: var(--base-color-neutral-2);
    --bgColor-inverse: var(--base-color-neutral-12);
    --bgColor-muted: var(--base-color-neutral-3);
    --bgColor-neutral-emphasis: var(--base-color-neutral-10);
    --bgColor-neutral-muted: var(--base-color-neutral-4);
    --bgColor-open-emphasis: var(--base-color-red-5);
    --bgColor-open-muted: var(--base-color-red-0);
    --bgColor-severe-emphasis: var(--base-color-red-5);
    --bgColor-severe-muted: var(--base-color-red-0);
    --bgColor-sponsors-emphasis: var(--base-color-pink-5);
    --bgColor-sponsors-muted: var(--base-color-pink-0);
    --bgColor-success-emphasis: var(--base-color-blue-5);
    --bgColor-success-muted: var(--base-color-blue-0);
    --bgColor-transparent: var(--base-color-transparent);
    --borderColor-accent-emphasis: var(--base-color-blue-5);
    --borderColor-accent-muted: var(--base-color-blue-3);
    --borderColor-attention-emphasis: var(--base-color-yellow-5);
    --borderColor-attention-muted: var(--base-color-yellow-3);
    --borderColor-danger-emphasis: var(--base-color-red-5);
    --borderColor-danger-muted: var(--base-color-red-3);
    --borderColor-default: var(--base-color-neutral-10);
    --borderColor-disabled: #59636e1f;
    --borderColor-done-emphasis: var(--base-color-purple-5);
    --borderColor-done-muted: var(--base-color-purple-3);
    --borderColor-neutral-emphasis: var(--base-color-neutral-9);
    --borderColor-open-emphasis: var(--base-color-red-5);
    --borderColor-open-muted: var(--base-color-red-3);
    --borderColor-severe-emphasis: var(--base-color-red-5);
    --borderColor-severe-muted: var(--base-color-red-3);
    --borderColor-sponsors-emphasis: var(--base-color-pink-5);
    --borderColor-sponsors-muted: var(--base-color-pink-3);
    --borderColor-success-emphasis: var(--base-color-blue-5);
    --borderColor-success-muted: var(--base-color-blue-3);
    --borderColor-translucent: var(--base-color-neutral-9);
    --borderColor-transparent: var(--base-color-transparent);
    --borderRadius-default: var(--borderRadius-medium);
    --borderWidth-default: var(--borderWidth-thin);
    --boxShadow-thick: inset 0 0 0 var(--borderWidth-thick);
    --boxShadow-thicker: inset 0 0 0 var(--borderWidth-thicker);
    --boxShadow-thin: inset 0 0 0 var(--borderWidth-thin); /** Thin shadow for borders */
    --button-danger-bgColor-active: var(--base-color-red-6);
    --button-danger-borderColor-hover: var(--base-color-red-7);
    --button-danger-shadow-selected: inset 0px 1px 0px 0px #43001133;
    --button-inactive-bgColor: var(--base-color-neutral-3);
    --button-inactive-fgColor: var(--base-color-neutral-10);
    --button-invisible-bgColor-disabled: var(--base-color-transparent);
    --button-invisible-borderColor-disabled: var(--base-color-transparent);
    --button-invisible-fgColor-hover: var(--base-color-neutral-11);
    --button-invisible-iconColor-hover: var(--base-color-neutral-11);
    --button-outline-borderColor-hover: var(--base-color-blue-7);
    --button-outline-shadow-selected: inset 0px 1px 0px 0px #021a4a33;
    --button-primary-borderColor-disabled: var(--button-primary-bgColor-disabled);
    --button-primary-borderColor-rest: var(--base-color-blue-7);
    --button-primary-shadow-selected: inset 0px 1px 0px 0px #00230b4d;
    --button-star-iconColor: var(--base-color-yellow-2);
    --buttonCounter-default-bgColor-rest: var(--base-color-neutral-7);
    --buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
    --buttonCounter-primary-bgColor-rest: #00230b33;
    --buttonKeybindingHint-danger-bgColor-active: #01040966;
    --buttonKeybindingHint-danger-bgColor-hover: #01040933;
    --buttonKeybindingHint-danger-borderColor-hover: var(--base-color-white);
    --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
    --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
    --buttonKeybindingHint-primary-borderColor-rest: var(--base-color-white);
    --codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
    --codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
    --codeMirror-syntax-fgColor-keyword: var(--base-color-red-5);
    --codeMirror-syntax-fgColor-storage: var(--base-color-red-5);
    --codeMirror-syntax-fgColor-string: var(--base-color-blue-8);
    --codeMirror-syntax-fgColor-support: var(--base-color-blue-6);
    --codeMirror-syntax-fgColor-variable: var(--base-color-red-6);
    --color-ansi-black-bright: var(--base-color-neutral-11);
    --color-ansi-blue: var(--base-color-blue-5);
    --color-ansi-blue-bright: var(--base-color-blue-4);
    --color-ansi-gray: var(--base-color-neutral-9);
    --color-ansi-green: var(--base-color-blue-6);
    --color-ansi-green-bright: var(--base-color-blue-5);
    --color-ansi-magenta: var(--base-color-purple-5);
    --color-ansi-magenta-bright: var(--base-color-purple-4);
    --color-ansi-red: var(--base-color-red-5);
    --color-ansi-red-bright: var(--base-color-red-6);
    --color-ansi-white: var(--base-color-neutral-9);
    --color-ansi-white-bright: var(--base-color-neutral-8);
    --color-ansi-yellow: var(--base-color-yellow-8);
    --color-ansi-yellow-bright: var(--base-color-yellow-7);
    --color-prettylights-syntax-brackethighlighter-angle: var(--base-color-neutral-9);
    --color-prettylights-syntax-brackethighlighter-unmatched: var(--base-color-red-7);
    --color-prettylights-syntax-carriage-return-bg: var(--base-color-red-5);
    --color-prettylights-syntax-carriage-return-text: var(--base-color-neutral-1);
    --color-prettylights-syntax-comment: var(--base-color-neutral-9);
    --color-prettylights-syntax-constant: var(--base-color-blue-6);
    --color-prettylights-syntax-constant-other-reference-link: var(--base-color-blue-8);
    --color-prettylights-syntax-entity: var(--base-color-purple-6);
    --color-prettylights-syntax-entity-tag: var(--base-color-blue-6);
    --color-prettylights-syntax-invalid-illegal-bg: var(--base-color-red-7);
    --color-prettylights-syntax-invalid-illegal-text: var(--base-color-neutral-1);
    --color-prettylights-syntax-keyword: var(--base-color-red-5);
    --color-prettylights-syntax-markup-changed-bg: var(--base-color-red-1);
    --color-prettylights-syntax-markup-changed-text: var(--base-color-red-6);
    --color-prettylights-syntax-markup-deleted-bg: var(--base-color-red-0);
    --color-prettylights-syntax-markup-deleted-text: var(--base-color-red-7);
    --color-prettylights-syntax-markup-heading: var(--base-color-blue-6);
    --color-prettylights-syntax-markup-ignored-bg: var(--base-color-blue-6);
    --color-prettylights-syntax-markup-ignored-text: var(--base-color-neutral-6);
    --color-prettylights-syntax-markup-inserted-bg: var(--base-color-blue-0);
    --color-prettylights-syntax-markup-inserted-text: var(--base-color-blue-6);
    --color-prettylights-syntax-markup-list: var(--base-color-yellow-9);
    --color-prettylights-syntax-meta-diff-range: var(--base-color-purple-5);
    --color-prettylights-syntax-string: var(--base-color-blue-8);
    --color-prettylights-syntax-string-regexp: var(--base-color-blue-6);
    --color-prettylights-syntax-sublimelinter-gutter-mark: var(--base-color-neutral-8);
    --color-prettylights-syntax-variable: var(--base-color-red-6);
    --contribution-default-bgColor-1: var(--base-color-green-1);
    --contribution-default-bgColor-2: var(--base-color-green-3);
    --contribution-default-bgColor-3: var(--base-color-green-4);
    --contribution-default-bgColor-4: var(--base-color-green-6);
    --contribution-default-borderColor-0: var(--base-color-black);
    --contribution-halloween-bgColor-1: var(--base-display-color-lemon-1);
    --contribution-halloween-bgColor-2: var(--base-display-color-yellow-1);
    --contribution-halloween-bgColor-3: var(--base-display-color-orange-3);
    --contribution-halloween-bgColor-4: var(--base-color-black);
    --contribution-winter-bgColor-1: var(--base-color-blue-1);
    --contribution-winter-bgColor-2: var(--base-color-blue-3);
    --contribution-winter-bgColor-3: var(--base-color-blue-5);
    --contribution-winter-bgColor-4: var(--base-color-blue-8);
    --control-bgColor-active: var(--base-color-neutral-6);
    --control-bgColor-hover: var(--base-color-neutral-5);
    --control-bgColor-rest: var(--base-color-neutral-4);
    --control-fgColor-placeholder: var(--base-color-neutral-10);
    --control-fgColor-rest: var(--base-color-neutral-12);
    --control-transparent-bgColor-active: var(--base-color-neutral-6);
    --control-transparent-bgColor-hover: var(--base-color-neutral-5);
    --control-transparent-bgColor-rest: var(--base-color-transparent);
    --control-transparent-bgColor-selected: var(--base-color-neutral-5);
    --control-transparent-borderColor-rest: var(--base-color-transparent);
    --controlTrack-bgColor-active: var(--base-color-neutral-7);
    --controlTrack-bgColor-hover: var(--base-color-neutral-6);
    --controlTrack-bgColor-rest: var(--base-color-neutral-5);
    --controlTrack-fgColor-rest: var(--base-color-neutral-9);
    --data-auburn-color-emphasis: var(--base-display-color-auburn-5);
    --data-auburn-color-muted: var(--base-display-color-auburn-0);
    --data-blue-color-emphasis: var(--base-display-color-blue-5);
    --data-blue-color-muted: var(--base-display-color-blue-0);
    --data-brown-color-emphasis: var(--base-display-color-brown-5);
    --data-brown-color-muted: var(--base-display-color-brown-0);
    --data-coral-color-emphasis: var(--base-display-color-coral-5);
    --data-coral-color-muted: var(--base-display-color-coral-0);
    --data-gray-color-emphasis: var(--base-display-color-gray-4);
    --data-gray-color-muted: var(--base-display-color-gray-0);
    --data-green-color-emphasis: var(--base-display-color-green-4);
    --data-green-color-muted: var(--base-display-color-green-0);
    --data-lemon-color-emphasis: var(--base-display-color-lemon-5);
    --data-lemon-color-muted: var(--base-display-color-lemon-0);
    --data-lime-color-emphasis: var(--base-display-color-lime-5);
    --data-lime-color-muted: var(--base-display-color-lime-0);
    --data-olive-color-emphasis: var(--base-display-color-olive-5);
    --data-olive-color-muted: var(--base-display-color-olive-0);
    --data-orange-color-emphasis: var(--base-display-color-orange-4);
    --data-orange-color-muted: var(--base-display-color-orange-0);
    --data-pine-color-emphasis: var(--base-display-color-pine-5);
    --data-pine-color-muted: var(--base-display-color-pine-0);
    --data-pink-color-emphasis: var(--base-display-color-pink-5);
    --data-pink-color-muted: var(--base-display-color-pink-0);
    --data-plum-color-emphasis: var(--base-display-color-plum-5);
    --data-plum-color-muted: var(--base-display-color-plum-0);
    --data-purple-color-emphasis: var(--base-display-color-purple-5);
    --data-purple-color-muted: var(--base-display-color-purple-0);
    --data-red-color-emphasis: var(--base-display-color-red-5);
    --data-red-color-muted: var(--base-display-color-red-0);
    --data-teal-color-emphasis: var(--base-display-color-teal-4);
    --data-teal-color-muted: var(--base-display-color-teal-0);
    --data-yellow-color-emphasis: var(--base-display-color-yellow-4);
    --data-yellow-color-muted: var(--base-display-color-yellow-0);
    --diffBlob-additionNum-bgColor: var(--base-color-blue-1);
    --diffBlob-additionWord-bgColor: var(--base-color-blue-5);
    --diffBlob-deletionNum-bgColor: var(--base-color-red-1);
    --diffBlob-deletionWord-bgColor: var(--base-color-red-5);
    --diffBlob-hunkLine-bgColor: var(--base-color-neutral-1);
    --diffBlob-hunkNum-bgColor-hover: var(--base-color-neutral-7);
    --diffBlob-hunkNum-bgColor-rest: var(--base-color-neutral-3);
    --display-auburn-bgColor-emphasis: var(--base-display-color-auburn-7);
    --display-auburn-bgColor-muted: var(--base-display-color-auburn-0);
    --display-auburn-borderColor-emphasis: var(--base-display-color-auburn-6);
    --display-auburn-borderColor-muted: var(--base-display-color-auburn-1);
    --display-auburn-fgColor: var(--base-display-color-auburn-8);
    --display-auburn-scale-0: var(--base-display-color-auburn-0);
    --display-auburn-scale-1: var(--base-display-color-auburn-1);
    --display-auburn-scale-2: var(--base-display-color-auburn-2);
    --display-auburn-scale-3: var(--base-display-color-auburn-3);
    --display-auburn-scale-4: var(--base-display-color-auburn-4);
    --display-auburn-scale-5: var(--base-display-color-auburn-5);
    --display-auburn-scale-6: var(--base-display-color-auburn-6);
    --display-auburn-scale-7: var(--base-display-color-auburn-7);
    --display-auburn-scale-8: var(--base-display-color-auburn-8);
    --display-auburn-scale-9: var(--base-display-color-auburn-9);
    --display-blue-bgColor-emphasis: var(--base-display-color-blue-7);
    --display-blue-bgColor-muted: var(--base-display-color-blue-0);
    --display-blue-borderColor-emphasis: var(--base-display-color-blue-6);
    --display-blue-borderColor-muted: var(--base-display-color-blue-1);
    --display-blue-fgColor: var(--base-display-color-blue-8);
    --display-blue-scale-0: var(--base-display-color-blue-0);
    --display-blue-scale-1: var(--base-display-color-blue-1);
    --display-blue-scale-2: var(--base-display-color-blue-2);
    --display-blue-scale-3: var(--base-display-color-blue-3);
    --display-blue-scale-4: var(--base-display-color-blue-4);
    --display-blue-scale-5: var(--base-display-color-blue-5);
    --display-blue-scale-6: var(--base-display-color-blue-6);
    --display-blue-scale-7: var(--base-display-color-blue-7);
    --display-blue-scale-8: var(--base-display-color-blue-8);
    --display-blue-scale-9: var(--base-display-color-blue-9);
    --display-brown-bgColor-emphasis: var(--base-display-color-brown-7);
    --display-brown-bgColor-muted: var(--base-display-color-brown-0);
    --display-brown-borderColor-emphasis: var(--base-display-color-brown-6);
    --display-brown-borderColor-muted: var(--base-display-color-brown-1);
    --display-brown-fgColor: var(--base-display-color-brown-8);
    --display-brown-scale-0: var(--base-display-color-brown-0);
    --display-brown-scale-1: var(--base-display-color-brown-1);
    --display-brown-scale-2: var(--base-display-color-brown-2);
    --display-brown-scale-3: var(--base-display-color-brown-3);
    --display-brown-scale-4: var(--base-display-color-brown-4);
    --display-brown-scale-5: var(--base-display-color-brown-5);
    --display-brown-scale-6: var(--base-display-color-brown-6);
    --display-brown-scale-7: var(--base-display-color-brown-7);
    --display-brown-scale-8: var(--base-display-color-brown-8);
    --display-brown-scale-9: var(--base-display-color-brown-9);
    --display-coral-bgColor-emphasis: var(--base-display-color-coral-7);
    --display-coral-bgColor-muted: var(--base-display-color-coral-0);
    --display-coral-borderColor-emphasis: var(--base-display-color-coral-6);
    --display-coral-borderColor-muted: var(--base-display-color-coral-1);
    --display-coral-fgColor: var(--base-display-color-coral-8);
    --display-coral-scale-0: var(--base-display-color-coral-0);
    --display-coral-scale-1: var(--base-display-color-coral-1);
    --display-coral-scale-2: var(--base-display-color-coral-2);
    --display-coral-scale-3: var(--base-display-color-coral-3);
    --display-coral-scale-4: var(--base-display-color-coral-4);
    --display-coral-scale-5: var(--base-display-color-coral-5);
    --display-coral-scale-6: var(--base-display-color-coral-6);
    --display-coral-scale-7: var(--base-display-color-coral-7);
    --display-coral-scale-8: var(--base-display-color-coral-8);
    --display-coral-scale-9: var(--base-display-color-coral-9);
    --display-cyan-bgColor-emphasis: var(--base-display-color-cyan-7);
    --display-cyan-bgColor-muted: var(--base-display-color-cyan-0);
    --display-cyan-borderColor-emphasis: var(--base-display-color-cyan-6);
    --display-cyan-borderColor-muted: var(--base-display-color-cyan-1);
    --display-cyan-fgColor: var(--base-display-color-cyan-8);
    --display-cyan-scale-0: var(--base-display-color-cyan-0);
    --display-cyan-scale-1: var(--base-display-color-cyan-1);
    --display-cyan-scale-2: var(--base-display-color-cyan-2);
    --display-cyan-scale-3: var(--base-display-color-cyan-3);
    --display-cyan-scale-4: var(--base-display-color-cyan-4);
    --display-cyan-scale-5: var(--base-display-color-cyan-5);
    --display-cyan-scale-6: var(--base-display-color-cyan-6);
    --display-cyan-scale-7: var(--base-display-color-cyan-7);
    --display-cyan-scale-8: var(--base-display-color-cyan-8);
    --display-cyan-scale-9: var(--base-display-color-cyan-9);
    --display-gray-bgColor-emphasis: var(--base-display-color-gray-7);
    --display-gray-bgColor-muted: var(--base-display-color-gray-0);
    --display-gray-borderColor-emphasis: var(--base-display-color-gray-6);
    --display-gray-borderColor-muted: var(--base-display-color-gray-1);
    --display-gray-fgColor: var(--base-display-color-gray-8);
    --display-gray-scale-0: var(--base-display-color-gray-0);
    --display-gray-scale-1: var(--base-display-color-gray-1);
    --display-gray-scale-2: var(--base-display-color-gray-2);
    --display-gray-scale-3: var(--base-display-color-gray-3);
    --display-gray-scale-4: var(--base-display-color-gray-4);
    --display-gray-scale-5: var(--base-display-color-gray-5);
    --display-gray-scale-6: var(--base-display-color-gray-6);
    --display-gray-scale-7: var(--base-display-color-gray-7);
    --display-gray-scale-8: var(--base-display-color-gray-8);
    --display-gray-scale-9: var(--base-display-color-gray-9);
    --display-green-bgColor-emphasis: var(--base-display-color-green-7);
    --display-green-bgColor-muted: var(--base-display-color-green-0);
    --display-green-borderColor-emphasis: var(--base-display-color-green-6);
    --display-green-borderColor-muted: var(--base-display-color-green-1);
    --display-green-fgColor: var(--base-display-color-green-8);
    --display-green-scale-0: var(--base-display-color-green-0);
    --display-green-scale-1: var(--base-display-color-green-1);
    --display-green-scale-2: var(--base-display-color-green-2);
    --display-green-scale-3: var(--base-display-color-green-3);
    --display-green-scale-4: var(--base-display-color-green-4);
    --display-green-scale-5: var(--base-display-color-green-5);
    --display-green-scale-6: var(--base-display-color-green-6);
    --display-green-scale-7: var(--base-display-color-green-7);
    --display-green-scale-8: var(--base-display-color-green-8);
    --display-green-scale-9: var(--base-display-color-green-9);
    --display-indigo-bgColor-emphasis: var(--base-display-color-indigo-7);
    --display-indigo-bgColor-muted: var(--base-display-color-indigo-0);
    --display-indigo-borderColor-emphasis: var(--base-display-color-indigo-6);
    --display-indigo-borderColor-muted: var(--base-display-color-indigo-1);
    --display-indigo-fgColor: var(--base-display-color-indigo-8);
    --display-indigo-scale-0: var(--base-display-color-indigo-0);
    --display-indigo-scale-1: var(--base-display-color-indigo-1);
    --display-indigo-scale-2: var(--base-display-color-indigo-2);
    --display-indigo-scale-3: var(--base-display-color-indigo-3);
    --display-indigo-scale-4: var(--base-display-color-indigo-4);
    --display-indigo-scale-5: var(--base-display-color-indigo-5);
    --display-indigo-scale-6: var(--base-display-color-indigo-6);
    --display-indigo-scale-7: var(--base-display-color-indigo-7);
    --display-indigo-scale-8: var(--base-display-color-indigo-8);
    --display-indigo-scale-9: var(--base-display-color-indigo-9);
    --display-lemon-bgColor-emphasis: var(--base-display-color-lemon-7);
    --display-lemon-bgColor-muted: var(--base-display-color-lemon-0);
    --display-lemon-borderColor-emphasis: var(--base-display-color-lemon-6);
    --display-lemon-borderColor-muted: var(--base-display-color-lemon-1);
    --display-lemon-fgColor: var(--base-display-color-lemon-8);
    --display-lemon-scale-0: var(--base-display-color-lemon-0);
    --display-lemon-scale-1: var(--base-display-color-lemon-1);
    --display-lemon-scale-2: var(--base-display-color-lemon-2);
    --display-lemon-scale-3: var(--base-display-color-lemon-3);
    --display-lemon-scale-4: var(--base-display-color-lemon-4);
    --display-lemon-scale-5: var(--base-display-color-lemon-5);
    --display-lemon-scale-6: var(--base-display-color-lemon-6);
    --display-lemon-scale-7: var(--base-display-color-lemon-7);
    --display-lemon-scale-8: var(--base-display-color-lemon-8);
    --display-lemon-scale-9: var(--base-display-color-lemon-9);
    --display-lime-bgColor-emphasis: var(--base-display-color-lime-7);
    --display-lime-bgColor-muted: var(--base-display-color-lime-0);
    --display-lime-borderColor-emphasis: var(--base-display-color-lime-6);
    --display-lime-borderColor-muted: var(--base-display-color-lime-1);
    --display-lime-fgColor: var(--base-display-color-lime-8);
    --display-lime-scale-0: var(--base-display-color-lime-0);
    --display-lime-scale-1: var(--base-display-color-lime-1);
    --display-lime-scale-2: var(--base-display-color-lime-2);
    --display-lime-scale-3: var(--base-display-color-lime-3);
    --display-lime-scale-4: var(--base-display-color-lime-4);
    --display-lime-scale-5: var(--base-display-color-lime-5);
    --display-lime-scale-6: var(--base-display-color-lime-6);
    --display-lime-scale-7: var(--base-display-color-lime-7);
    --display-lime-scale-8: var(--base-display-color-lime-8);
    --display-lime-scale-9: var(--base-display-color-lime-9);
    --display-olive-bgColor-emphasis: var(--base-display-color-olive-7);
    --display-olive-bgColor-muted: var(--base-display-color-olive-0);
    --display-olive-borderColor-emphasis: var(--base-display-color-olive-6);
    --display-olive-borderColor-muted: var(--base-display-color-olive-1);
    --display-olive-fgColor: var(--base-display-color-olive-8);
    --display-olive-scale-0: var(--base-display-color-olive-0);
    --display-olive-scale-1: var(--base-display-color-olive-1);
    --display-olive-scale-2: var(--base-display-color-olive-2);
    --display-olive-scale-3: var(--base-display-color-olive-3);
    --display-olive-scale-4: var(--base-display-color-olive-4);
    --display-olive-scale-5: var(--base-display-color-olive-5);
    --display-olive-scale-6: var(--base-display-color-olive-6);
    --display-olive-scale-7: var(--base-display-color-olive-7);
    --display-olive-scale-8: var(--base-display-color-olive-8);
    --display-olive-scale-9: var(--base-display-color-olive-9);
    --display-orange-bgColor-emphasis: var(--base-display-color-orange-7);
    --display-orange-bgColor-muted: var(--base-display-color-orange-0);
    --display-orange-borderColor-emphasis: var(--base-display-color-orange-6);
    --display-orange-borderColor-muted: var(--base-display-color-orange-1);
    --display-orange-fgColor: var(--base-display-color-orange-8);
    --display-orange-scale-0: var(--base-display-color-orange-0);
    --display-orange-scale-1: var(--base-display-color-orange-1);
    --display-orange-scale-2: var(--base-display-color-orange-2);
    --display-orange-scale-3: var(--base-display-color-orange-3);
    --display-orange-scale-4: var(--base-display-color-orange-4);
    --display-orange-scale-5: var(--base-display-color-orange-5);
    --display-orange-scale-6: var(--base-display-color-orange-6);
    --display-orange-scale-7: var(--base-display-color-orange-7);
    --display-orange-scale-8: var(--base-display-color-orange-8);
    --display-orange-scale-9: var(--base-display-color-orange-9);
    --display-pine-bgColor-emphasis: var(--base-display-color-pine-7);
    --display-pine-bgColor-muted: var(--base-display-color-pine-0);
    --display-pine-borderColor-emphasis: var(--base-display-color-pine-6);
    --display-pine-borderColor-muted: var(--base-display-color-pine-1);
    --display-pine-fgColor: var(--base-display-color-pine-8);
    --display-pine-scale-0: var(--base-display-color-pine-0);
    --display-pine-scale-1: var(--base-display-color-pine-1);
    --display-pine-scale-2: var(--base-display-color-pine-2);
    --display-pine-scale-3: var(--base-display-color-pine-3);
    --display-pine-scale-4: var(--base-display-color-pine-4);
    --display-pine-scale-5: var(--base-display-color-pine-5);
    --display-pine-scale-6: var(--base-display-color-pine-6);
    --display-pine-scale-7: var(--base-display-color-pine-7);
    --display-pine-scale-8: var(--base-display-color-pine-8);
    --display-pine-scale-9: var(--base-display-color-pine-9);
    --display-pink-bgColor-emphasis: var(--base-display-color-pink-7);
    --display-pink-bgColor-muted: var(--base-display-color-pink-0);
    --display-pink-borderColor-emphasis: var(--base-display-color-pink-6);
    --display-pink-borderColor-muted: var(--base-display-color-pink-1);
    --display-pink-fgColor: var(--base-display-color-pink-8);
    --display-pink-scale-0: var(--base-display-color-pink-0);
    --display-pink-scale-1: var(--base-display-color-pink-1);
    --display-pink-scale-2: var(--base-display-color-pink-2);
    --display-pink-scale-3: var(--base-display-color-pink-3);
    --display-pink-scale-4: var(--base-display-color-pink-4);
    --display-pink-scale-5: var(--base-display-color-pink-5);
    --display-pink-scale-6: var(--base-display-color-pink-6);
    --display-pink-scale-7: var(--base-display-color-pink-7);
    --display-pink-scale-8: var(--base-display-color-pink-8);
    --display-pink-scale-9: var(--base-display-color-pink-9);
    --display-plum-bgColor-emphasis: var(--base-display-color-plum-7);
    --display-plum-bgColor-muted: var(--base-display-color-plum-0);
    --display-plum-borderColor-emphasis: var(--base-display-color-plum-6);
    --display-plum-borderColor-muted: var(--base-display-color-plum-1);
    --display-plum-fgColor: var(--base-display-color-plum-8);
    --display-plum-scale-0: var(--base-display-color-plum-0);
    --display-plum-scale-1: var(--base-display-color-plum-1);
    --display-plum-scale-2: var(--base-display-color-plum-2);
    --display-plum-scale-3: var(--base-display-color-plum-3);
    --display-plum-scale-4: var(--base-display-color-plum-4);
    --display-plum-scale-5: var(--base-display-color-plum-5);
    --display-plum-scale-6: var(--base-display-color-plum-6);
    --display-plum-scale-7: var(--base-display-color-plum-7);
    --display-plum-scale-8: var(--base-display-color-plum-8);
    --display-plum-scale-9: var(--base-display-color-plum-9);
    --display-purple-bgColor-emphasis: var(--base-display-color-purple-7);
    --display-purple-bgColor-muted: var(--base-display-color-purple-0);
    --display-purple-borderColor-emphasis: var(--base-display-color-purple-6);
    --display-purple-borderColor-muted: var(--base-display-color-purple-1);
    --display-purple-fgColor: var(--base-display-color-purple-8);
    --display-purple-scale-0: var(--base-display-color-purple-0);
    --display-purple-scale-1: var(--base-display-color-purple-1);
    --display-purple-scale-2: var(--base-display-color-purple-2);
    --display-purple-scale-3: var(--base-display-color-purple-3);
    --display-purple-scale-4: var(--base-display-color-purple-4);
    --display-purple-scale-5: var(--base-display-color-purple-5);
    --display-purple-scale-6: var(--base-display-color-purple-6);
    --display-purple-scale-7: var(--base-display-color-purple-7);
    --display-purple-scale-8: var(--base-display-color-purple-8);
    --display-purple-scale-9: var(--base-display-color-purple-9);
    --display-red-bgColor-emphasis: var(--base-display-color-red-7);
    --display-red-bgColor-muted: var(--base-display-color-red-0);
    --display-red-borderColor-emphasis: var(--base-display-color-red-6);
    --display-red-borderColor-muted: var(--base-display-color-red-1);
    --display-red-fgColor: var(--base-display-color-red-8);
    --display-red-scale-0: var(--base-display-color-red-0);
    --display-red-scale-1: var(--base-display-color-red-1);
    --display-red-scale-2: var(--base-display-color-red-2);
    --display-red-scale-3: var(--base-display-color-red-3);
    --display-red-scale-4: var(--base-display-color-red-4);
    --display-red-scale-5: var(--base-display-color-red-5);
    --display-red-scale-6: var(--base-display-color-red-6);
    --display-red-scale-7: var(--base-display-color-red-7);
    --display-red-scale-8: var(--base-display-color-red-8);
    --display-red-scale-9: var(--base-display-color-red-9);
    --display-teal-bgColor-emphasis: var(--base-display-color-teal-7);
    --display-teal-bgColor-muted: var(--base-display-color-teal-0);
    --display-teal-borderColor-emphasis: var(--base-display-color-teal-6);
    --display-teal-borderColor-muted: var(--base-display-color-teal-1);
    --display-teal-fgColor: var(--base-display-color-teal-8);
    --display-teal-scale-0: var(--base-display-color-teal-0);
    --display-teal-scale-1: var(--base-display-color-teal-1);
    --display-teal-scale-2: var(--base-display-color-teal-2);
    --display-teal-scale-3: var(--base-display-color-teal-3);
    --display-teal-scale-4: var(--base-display-color-teal-4);
    --display-teal-scale-5: var(--base-display-color-teal-5);
    --display-teal-scale-6: var(--base-display-color-teal-6);
    --display-teal-scale-7: var(--base-display-color-teal-7);
    --display-teal-scale-8: var(--base-display-color-teal-8);
    --display-teal-scale-9: var(--base-display-color-teal-9);
    --display-yellow-bgColor-emphasis: var(--base-display-color-yellow-7);
    --display-yellow-bgColor-muted: var(--base-display-color-yellow-0);
    --display-yellow-borderColor-emphasis: var(--base-display-color-yellow-6);
    --display-yellow-borderColor-muted: var(--base-display-color-yellow-1);
    --display-yellow-fgColor: var(--base-display-color-yellow-8);
    --display-yellow-scale-0: var(--base-display-color-yellow-0);
    --display-yellow-scale-1: var(--base-display-color-yellow-1);
    --display-yellow-scale-2: var(--base-display-color-yellow-2);
    --display-yellow-scale-3: var(--base-display-color-yellow-3);
    --display-yellow-scale-4: var(--base-display-color-yellow-4);
    --display-yellow-scale-5: var(--base-display-color-yellow-5);
    --display-yellow-scale-6: var(--base-display-color-yellow-6);
    --display-yellow-scale-7: var(--base-display-color-yellow-7);
    --display-yellow-scale-8: var(--base-display-color-yellow-8);
    --display-yellow-scale-9: var(--base-display-color-yellow-9);
    --fgColor-accent: var(--base-color-blue-6);
    --fgColor-attention: var(--base-color-yellow-6);
    --fgColor-danger: var(--base-color-red-6);
    --fgColor-disabled: var(--base-color-neutral-9);
    --fgColor-done: var(--base-color-purple-6);
    --fgColor-muted: var(--base-color-neutral-11);
    --fgColor-neutral: var(--base-color-neutral-11);
    --fgColor-open: var(--base-color-red-6);
    --fgColor-severe: var(--base-color-red-6);
    --fgColor-sponsors: var(--base-color-pink-6);
    --fgColor-success: var(--base-color-blue-6);
    --header-bgColor: var(--base-color-neutral-12);
    --header-borderColor-divider: var(--base-color-neutral-7);
    --headerSearch-bgColor: var(--base-color-neutral-12);
    --headerSearch-borderColor: var(--base-color-neutral-8);
    --highlight-neutral-bgColor: var(--base-color-yellow-0);
    --label-auburn-bgColor-active: var(--base-display-color-auburn-2);
    --label-auburn-bgColor-hover: var(--base-display-color-auburn-1);
    --label-auburn-bgColor-rest: var(--base-display-color-auburn-0);
    --label-auburn-fgColor-active: var(--base-display-color-auburn-8);
    --label-auburn-fgColor-hover: var(--base-display-color-auburn-7);
    --label-auburn-fgColor-rest: var(--base-display-color-auburn-6);
    --label-blue-bgColor-active: var(--base-display-color-blue-2);
    --label-blue-bgColor-hover: var(--base-display-color-blue-1);
    --label-blue-bgColor-rest: var(--base-display-color-blue-0);
    --label-blue-fgColor-active: var(--base-display-color-blue-8);
    --label-blue-fgColor-hover: var(--base-display-color-blue-7);
    --label-blue-fgColor-rest: var(--base-display-color-blue-6);
    --label-brown-bgColor-active: var(--base-display-color-brown-2);
    --label-brown-bgColor-hover: var(--base-display-color-brown-1);
    --label-brown-bgColor-rest: var(--base-display-color-brown-0);
    --label-brown-fgColor-active: var(--base-display-color-brown-8);
    --label-brown-fgColor-hover: var(--base-display-color-brown-7);
    --label-brown-fgColor-rest: var(--base-display-color-brown-6);
    --label-coral-bgColor-active: var(--base-display-color-coral-2);
    --label-coral-bgColor-hover: var(--base-display-color-coral-1);
    --label-coral-bgColor-rest: var(--base-display-color-coral-0);
    --label-coral-fgColor-active: var(--base-display-color-coral-8);
    --label-coral-fgColor-hover: var(--base-display-color-coral-7);
    --label-coral-fgColor-rest: var(--base-display-color-coral-6);
    --label-cyan-bgColor-active: var(--base-display-color-cyan-2);
    --label-cyan-bgColor-hover: var(--base-display-color-cyan-1);
    --label-cyan-bgColor-rest: var(--base-display-color-cyan-0);
    --label-cyan-fgColor-active: var(--base-display-color-cyan-8);
    --label-cyan-fgColor-hover: var(--base-display-color-cyan-7);
    --label-cyan-fgColor-rest: var(--base-display-color-cyan-6);
    --label-gray-bgColor-active: var(--base-display-color-gray-2);
    --label-gray-bgColor-hover: var(--base-display-color-gray-1);
    --label-gray-bgColor-rest: var(--base-display-color-gray-0);
    --label-gray-fgColor-active: var(--base-display-color-gray-8);
    --label-gray-fgColor-hover: var(--base-display-color-gray-7);
    --label-gray-fgColor-rest: var(--base-display-color-gray-6);
    --label-green-bgColor-active: var(--base-display-color-green-2);
    --label-green-bgColor-hover: var(--base-display-color-green-1);
    --label-green-bgColor-rest: var(--base-display-color-green-0);
    --label-green-fgColor-active: var(--base-display-color-green-8);
    --label-green-fgColor-hover: var(--base-display-color-green-7);
    --label-green-fgColor-rest: var(--base-display-color-green-6);
    --label-indigo-bgColor-active: var(--base-display-color-indigo-2);
    --label-indigo-bgColor-hover: var(--base-display-color-indigo-1);
    --label-indigo-bgColor-rest: var(--base-display-color-indigo-0);
    --label-indigo-fgColor-active: var(--base-display-color-indigo-8);
    --label-indigo-fgColor-hover: var(--base-display-color-indigo-7);
    --label-indigo-fgColor-rest: var(--base-display-color-indigo-6);
    --label-lemon-bgColor-active: var(--base-display-color-lemon-2);
    --label-lemon-bgColor-hover: var(--base-display-color-lemon-1);
    --label-lemon-bgColor-rest: var(--base-display-color-lemon-0);
    --label-lemon-fgColor-active: var(--base-display-color-lemon-8);
    --label-lemon-fgColor-hover: var(--base-display-color-lemon-7);
    --label-lemon-fgColor-rest: var(--base-display-color-lemon-6);
    --label-lime-bgColor-active: var(--base-display-color-lime-2);
    --label-lime-bgColor-hover: var(--base-display-color-lime-1);
    --label-lime-bgColor-rest: var(--base-display-color-lime-0);
    --label-lime-fgColor-active: var(--base-display-color-lime-8);
    --label-lime-fgColor-hover: var(--base-display-color-lime-7);
    --label-lime-fgColor-rest: var(--base-display-color-lime-6);
    --label-olive-bgColor-active: var(--base-display-color-olive-2);
    --label-olive-bgColor-hover: var(--base-display-color-olive-1);
    --label-olive-bgColor-rest: var(--base-display-color-olive-0);
    --label-olive-fgColor-active: var(--base-display-color-olive-8);
    --label-olive-fgColor-hover: var(--base-display-color-olive-7);
    --label-olive-fgColor-rest: var(--base-display-color-olive-6);
    --label-orange-bgColor-active: var(--base-display-color-orange-2);
    --label-orange-bgColor-hover: var(--base-display-color-orange-1);
    --label-orange-bgColor-rest: var(--base-display-color-orange-0);
    --label-orange-fgColor-active: var(--base-display-color-orange-8);
    --label-orange-fgColor-hover: var(--base-display-color-orange-7);
    --label-orange-fgColor-rest: var(--base-display-color-orange-6);
    --label-pine-bgColor-active: var(--base-display-color-pine-2);
    --label-pine-bgColor-hover: var(--base-display-color-pine-1);
    --label-pine-bgColor-rest: var(--base-display-color-pine-0);
    --label-pine-fgColor-active: var(--base-display-color-pine-8);
    --label-pine-fgColor-hover: var(--base-display-color-pine-7);
    --label-pine-fgColor-rest: var(--base-display-color-pine-6);
    --label-pink-bgColor-active: var(--base-display-color-pink-2);
    --label-pink-bgColor-hover: var(--base-display-color-pink-1);
    --label-pink-bgColor-rest: var(--base-display-color-pink-0);
    --label-pink-fgColor-active: var(--base-display-color-pink-8);
    --label-pink-fgColor-hover: var(--base-display-color-pink-7);
    --label-pink-fgColor-rest: var(--base-display-color-pink-6);
    --label-plum-bgColor-active: var(--base-display-color-plum-2);
    --label-plum-bgColor-hover: var(--base-display-color-plum-1);
    --label-plum-bgColor-rest: var(--base-display-color-plum-0);
    --label-plum-fgColor-active: var(--base-display-color-plum-8);
    --label-plum-fgColor-hover: var(--base-display-color-plum-7);
    --label-plum-fgColor-rest: var(--base-display-color-plum-6);
    --label-purple-bgColor-active: var(--base-display-color-purple-2);
    --label-purple-bgColor-hover: var(--base-display-color-purple-1);
    --label-purple-bgColor-rest: var(--base-display-color-purple-0);
    --label-purple-fgColor-active: var(--base-display-color-purple-8);
    --label-purple-fgColor-hover: var(--base-display-color-purple-7);
    --label-purple-fgColor-rest: var(--base-display-color-purple-6);
    --label-red-bgColor-active: var(--base-display-color-red-2);
    --label-red-bgColor-hover: var(--base-display-color-red-1);
    --label-red-bgColor-rest: var(--base-display-color-red-0);
    --label-red-fgColor-active: var(--base-display-color-red-8);
    --label-red-fgColor-hover: var(--base-display-color-red-7);
    --label-red-fgColor-rest: var(--base-display-color-red-6);
    --label-teal-bgColor-active: var(--base-display-color-teal-2);
    --label-teal-bgColor-hover: var(--base-display-color-teal-1);
    --label-teal-bgColor-rest: var(--base-display-color-teal-0);
    --label-teal-fgColor-active: var(--base-display-color-teal-8);
    --label-teal-fgColor-hover: var(--base-display-color-teal-7);
    --label-teal-fgColor-rest: var(--base-display-color-teal-6);
    --label-yellow-bgColor-active: var(--base-display-color-yellow-2);
    --label-yellow-bgColor-hover: var(--base-display-color-yellow-1);
    --label-yellow-bgColor-rest: var(--base-display-color-yellow-0);
    --label-yellow-fgColor-active: var(--base-display-color-yellow-8);
    --label-yellow-fgColor-hover: var(--base-display-color-yellow-7);
    --label-yellow-fgColor-rest: var(--base-display-color-yellow-6);
    --menu-bgColor-active: var(--base-color-transparent);
    --overlay-backdrop-bgColor: #393f4666;
    --progressBar-bgColor-neutral: var(--base-color-neutral-8);
    --progressBar-track-borderColor: var(--base-color-neutral-11);
    --reactionButton-selected-bgColor-rest: var(--base-color-blue-0);
    --reactionButton-selected-fgColor-hover: var(--base-color-blue-6);
    --selectMenu-bgColor-active: var(--base-color-blue-1);
    --selectMenu-borderColor: var(--base-color-transparent);
    --shadow-floating-legacy: 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
    --shadow-resting-medium: 0px 1px 1px 0px #25292e1a, 0px 3px 6px 0px #25292e1f;
    --skeletonLoader-bgColor: var(--base-color-neutral-5);
    --treeViewItem-leadingVisual-iconColor-rest: var(--base-color-blue-3);
    --underlineNav-borderColor-active: var(--base-color-coral-3);
    --avatar-bgColor: var(--base-color-neutral-0);
    --avatar-shadow: 0px 0px 0px 2px #ffffffcc;
    --base-color-inset: var(--base-color-neutral-0);
    --bgColor-black: var(--base-color-neutral-13);
    --bgColor-closed-emphasis: var(--bgColor-neutral-emphasis);
    --bgColor-closed-muted: var(--bgColor-neutral-muted);
    --bgColor-default: var(--base-color-neutral-0);
    --bgColor-draft-emphasis: var(--bgColor-neutral-emphasis);
    --bgColor-draft-muted: var(--bgColor-neutral-muted);
    --bgColor-upsell-emphasis: var(--bgColor-done-emphasis);
    --bgColor-upsell-muted: var(--bgColor-done-muted);
    --bgColor-white: var(--base-color-neutral-0);
    --border-accent-emphasis: 0.0625rem solid #0349b4;
    --border-accent-muted: 0.0625rem solid #368cf9;
    --border-attention-emphasis: 0.0625rem solid #744500;
    --border-attention-muted: 0.0625rem solid #b58407;
    --border-danger-emphasis: 0.0625rem solid #a0111f;
    --border-danger-muted: 0.0625rem solid #ee5a5d;
    --border-default: 0.0625rem solid #454c54;
    --border-disabled: 0.0625rem solid #59636e1f;
    --border-done-emphasis: 0.0625rem solid #622cbc;
    --border-done-muted: 0.0625rem solid #a371f7;
    --border-neutral-emphasis: 0.0625rem solid #59636e;
    --border-severe-emphasis: 0.0625rem solid #a0111f;
    --border-severe-muted: 0.0625rem solid #ee5a5d;
    --border-sponsors-emphasis: 0.0625rem solid #971368;
    --border-sponsors-muted: 0.0625rem solid #ed4baf;
    --border-success-emphasis: 0.0625rem solid #0349b4;
    --border-success-muted: 0.0625rem solid #368cf9;
    --border-transparent: 0.0625rem solid #ffffff00;
    --borderColor-closed-muted: var(--borderColor-default);
    --borderColor-draft-emphasis: var(--borderColor-neutral-emphasis);
    --borderColor-draft-muted: var(--borderColor-default);
    --borderColor-emphasis: var(--borderColor-default);
    --borderColor-muted: var(--borderColor-default);
    --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
    --borderColor-upsell-muted: var(--borderColor-done-muted);
    --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
    --button-danger-bgColor-rest: var(--control-bgColor-rest);
    --button-danger-borderColor-active: var(--button-danger-borderColor-hover);
    --button-danger-fgColor-active: var(--base-color-neutral-0);
    --button-danger-fgColor-disabled: #86061d80;
    --button-danger-fgColor-hover: var(--base-color-neutral-0);
    --button-danger-fgColor-rest: var(--fgColor-danger);
    --button-danger-iconColor-hover: var(--base-color-neutral-0);
    --button-default-bgColor-active: var(--control-bgColor-active);
    --button-default-bgColor-hover: var(--control-bgColor-hover);
    --button-default-bgColor-rest: var(--control-bgColor-rest);
    --button-default-bgColor-selected: var(--control-bgColor-active);
    --button-default-fgColor-rest: var(--control-fgColor-rest);
    --button-default-shadow-resting: 0px 1px 0px 0px #0104090a;
    --button-invisible-bgColor-active: var(--control-transparent-bgColor-active);
    --button-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
    --button-invisible-bgColor-rest: var(--control-transparent-bgColor-rest);
    --button-invisible-borderColor-rest: var(--control-transparent-borderColor-rest);
    --button-invisible-fgColor-active: var(--control-fgColor-rest);
    --button-invisible-fgColor-rest: var(--control-fgColor-rest);
    --button-invisible-iconColor-rest: var(--fgColor-muted);
    --button-outline-bgColor-hover: var(--bgColor-accent-emphasis);
    --button-outline-bgColor-rest: var(--control-bgColor-rest);
    --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
    --button-outline-fgColor-active: var(--base-color-neutral-0);
    --button-outline-fgColor-disabled: #023b9580;
    --button-outline-fgColor-hover: var(--base-color-neutral-0);
    --button-outline-fgColor-rest: var(--fgColor-accent);
    --button-primary-bgColor-rest: var(--bgColor-success-emphasis);
    --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
    --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
    --button-primary-fgColor-disabled: #ffffffcc;
    --buttonCounter-danger-bgColor-disabled: #a0111f0d;
    --buttonCounter-danger-bgColor-hover: #ffffff33;
    --buttonCounter-danger-bgColor-rest: #a0111f1a;
    --buttonCounter-danger-fgColor-disabled: #86061d80;
    --buttonCounter-danger-fgColor-hover: var(--base-color-neutral-0);
    --buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
    --buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
    --buttonCounter-outline-bgColor-disabled: #0349b40d;
    --buttonCounter-outline-bgColor-hover: #ffffff33;
    --buttonCounter-outline-bgColor-rest: #0349b41a;
    --buttonCounter-outline-fgColor-disabled: #023b9580;
    --buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
    --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
    --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
    --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
    --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
    --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
    --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
    --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
    --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
    --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
    --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
    --buttonKeybindingHint-primary-bgColor-disabled: #00230b1a;
    --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
    --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
    --codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
    --codeMirror-lineNumber-fgColor: var(--fgColor-muted);
    --codeMirror-selection-bgColor: var(--borderColor-accent-muted);
    --codeMirror-syntax-fgColor-comment: var(--base-color-neutral-13);
    --color-ansi-black: var(--base-color-neutral-13);
    --color-prettylights-syntax-markup-bold: var(--base-color-neutral-13);
    --color-prettylights-syntax-markup-italic: var(--base-color-neutral-13);
    --color-prettylights-syntax-storage-modifier-import: var(--base-color-neutral-13);
    --contribution-default-bgColor-0: var(--base-color-neutral-0);
    --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
    --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
    --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
    --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
    --control-bgColor-disabled: var(--bgColor-disabled);
    --control-bgColor-selected: var(--control-bgColor-rest);
    --control-borderColor-danger: var(--borderColor-danger-emphasis);
    --control-borderColor-disabled: var(--borderColor-disabled);
    --control-borderColor-rest: var(--borderColor-default);
    --control-borderColor-success: var(--borderColor-success-emphasis);
    --control-borderColor-warning: var(--borderColor-attention-emphasis);
    --control-checked-bgColor-disabled: var(--fgColor-disabled);
    --control-checked-bgColor-rest: var(--bgColor-accent-emphasis);
    --control-danger-bgColor-hover: var(--bgColor-danger-emphasis);
    --control-danger-fgColor-rest: var(--fgColor-danger);
    --control-fgColor-disabled: var(--fgColor-disabled);
    --control-iconColor-rest: var(--fgColor-muted);
    --control-transparent-bgColor-disabled: var(--bgColor-disabled);
    --control-transparent-borderColor-active: var(--borderColor-default);
    --control-transparent-borderColor-hover: var(--borderColor-default);
    --controlKnob-bgColor-checked: var(--base-color-neutral-0);
    --controlKnob-bgColor-rest: var(--base-color-neutral-0);
    --controlTrack-bgColor-disabled: var(--fgColor-disabled);
    --controlTrack-borderColor-disabled: var(--fgColor-disabled);
    --counter-bgColor-emphasis: var(--bgColor-neutral-emphasis);
    --counter-bgColor-muted: var(--bgColor-neutral-muted);
    --counter-borderColor: var(--borderColor-default);
    --diffBlob-additionLine-bgColor: var(--bgColor-success-muted);
    --diffBlob-deletionLine-bgColor: var(--bgColor-danger-muted);
    --diffBlob-emptyLine-bgColor: var(--bgColor-muted);
    --diffBlob-emptyNum-bgColor: var(--bgColor-muted);
    --diffBlob-hunkLine-fgColor: var(--fgColor-muted);
    --fgColor-black: var(--base-color-neutral-13);
    --fgColor-closed: var(--fgColor-muted);
    --fgColor-default: var(--base-color-neutral-13);
    --fgColor-draft: var(--fgColor-neutral);
    --fgColor-link: var(--fgColor-accent);
    --fgColor-onEmphasis: var(--base-color-neutral-0);
    --fgColor-onInverse: var(--base-color-neutral-0);
    --fgColor-upsell: var(--fgColor-done);
    --fgColor-white: var(--base-color-neutral-0);
    --focus-outlineColor: var(--borderColor-accent-emphasis);
    --header-fgColor-default: #ffffffb3;
    --header-fgColor-logo: var(--base-color-neutral-0);
    --label-auburn-borderColor: var(--label-auburn-fgColor-rest);
    --label-blue-borderColor: var(--label-blue-fgColor-rest);
    --label-brown-borderColor: var(--label-brown-fgColor-rest);
    --label-coral-borderColor: var(--label-coral-fgColor-rest);
    --label-cyan-borderColor: var(--label-cyan-fgColor-rest);
    --label-gray-borderColor: var(--label-gray-fgColor-rest);
    --label-green-borderColor: var(--label-green-fgColor-rest);
    --label-indigo-borderColor: var(--label-indigo-fgColor-rest);
    --label-lemon-borderColor: var(--label-lemon-fgColor-rest);
    --label-lime-borderColor: var(--label-lime-fgColor-rest);
    --label-olive-borderColor: var(--label-olive-fgColor-rest);
    --label-orange-borderColor: var(--label-orange-fgColor-rest);
    --label-pine-borderColor: var(--label-pine-fgColor-rest);
    --label-pink-borderColor: var(--label-pink-fgColor-rest);
    --label-plum-borderColor: var(--label-plum-fgColor-rest);
    --label-purple-borderColor: var(--label-purple-fgColor-rest);
    --label-red-borderColor: var(--label-red-fgColor-rest);
    --label-teal-borderColor: var(--label-teal-fgColor-rest);
    --label-yellow-borderColor: var(--label-yellow-fgColor-rest);
    --overlay-bgColor: var(--base-color-neutral-0);
    --overlay-borderColor: var(--borderColor-default);
    --page-header-bgColor: var(--bgColor-muted);
    --progressBar-bgColor-accent: var(--bgColor-accent-emphasis);
    --progressBar-bgColor-attention: var(--bgColor-attention-emphasis);
    --progressBar-bgColor-danger: var(--bgColor-danger-emphasis);
    --progressBar-bgColor-done: var(--bgColor-done-emphasis);
    --progressBar-bgColor-severe: var(--bgColor-severe-emphasis);
    --progressBar-bgColor-sponsors: var(--bgColor-sponsors-emphasis);
    --progressBar-bgColor-success: var(--bgColor-success-emphasis);
    --selection-bgColor: #0349b433;
    --shadow-inset: inset 0px 1px 0px 0px #0104090a;
    --shadow-resting-small: 0px 1px 1px 0px #0104090f, 0px 1px 3px 0px #0104090f;
    --shadow-resting-xsmall: 0px 1px 1px 0px #0104090f;
    --sideNav-bgColor-selected: var(--base-color-neutral-0);
    --timelineBadge-bgColor: var(--bgColor-muted);
    --tooltip-bgColor: var(--bgColor-emphasis);
    --topicTag-borderColor: var(--borderColor-accent-emphasis);
    --underlineNav-iconColor-rest: var(--fgColor-muted);
    --avatar-borderColor: var(--borderColor-emphasis);
    --border-closed-emphasis: var(--border-danger-emphasis);
    --border-closed-muted: var(--border-danger-muted);
    --border-emphasis: 0.0625rem solid #454c54;
    --border-muted: 0.0625rem solid #454c54;
    --border-open-emphasis: var(--border-success-emphasis);
    --border-open-muted: var(--border-success-muted);
    --border-upsell-emphasis: 0.0625rem solid #622cbc;
    --border-upsell-muted: 0.0625rem solid #a371f7;
    --borderColor-closed-emphasis: var(--borderColor-emphasis);
    --borderColor-neutral-muted: var(--borderColor-muted);
    --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
    --button-danger-borderColor-rest: var(--control-borderColor-rest);
    --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
    --button-default-bgColor-disabled: var(--control-bgColor-disabled);
    --button-default-borderColor-active: var(--control-borderColor-rest);
    --button-default-borderColor-disabled: var(--control-borderColor-disabled);
    --button-default-borderColor-rest: var(--control-borderColor-rest);
    --button-invisible-borderColor-hover: var(--control-transparent-borderColor-hover);
    --button-invisible-fgColor-disabled: var(--control-fgColor-disabled);
    --button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
    --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
    --button-primary-fgColor-rest: var(--fgColor-white);
    --button-primary-iconColor-rest: #ffffffcc;
    --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
    --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
    --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
    --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
    --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
    --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
    --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
    --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
    --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
    --buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
    --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
    --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
    --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
    --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
    --card-bgColor: var(--bgColor-default);
    --codeMirror-bgColor: var(--bgColor-default);
    --codeMirror-cursor-fgColor: var(--fgColor-default);
    --codeMirror-fgColor: var(--fgColor-default);
    --codeMirror-gutterMarker-fgColor-default: var(--bgColor-default);
    --codeMirror-gutters-bgColor: var(--bgColor-default);
    --codeMirror-lines-bgColor: var(--bgColor-default);
    --codeMirror-matchingBracket-fgColor: var(--fgColor-default);
    --control-borderColor-emphasis: var(--borderColor-emphasis);
    --control-borderColor-selected: var(--control-bgColor-selected);
    --control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
    --control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
    --control-checked-fgColor-disabled: var(--fgColor-onEmphasis);
    --control-checked-fgColor-rest: var(--fgColor-onEmphasis);
    --control-danger-fgColor-hover: var(--fgColor-onEmphasis);
    --controlKnob-bgColor-disabled: var(--control-bgColor-disabled);
    --controlKnob-borderColor-checked: var(--control-checked-bgColor-rest);
    --controlKnob-borderColor-disabled: var(--control-bgColor-disabled);
    --controlTrack-borderColor-rest: var(--borderColor-emphasis);
    --controlTrack-fgColor-disabled: var(--fgColor-onEmphasis);
    --dashboard-bgColor: var(--bgColor-default);
    --diffBlob-additionLine-fgColor: var(--fgColor-default);
    --diffBlob-additionNum-fgColor: var(--fgColor-default);
    --diffBlob-additionWord-fgColor: var(--fgColor-onEmphasis);
    --diffBlob-deletionLine-fgColor: var(--fgColor-default);
    --diffBlob-deletionNum-fgColor: var(--fgColor-default);
    --diffBlob-deletionWord-fgColor: var(--fgColor-onEmphasis);
    --diffBlob-expander-iconColor: var(--fgColor-default);
    --diffBlob-hunkNum-fgColor-hover: var(--fgColor-default);
    --diffBlob-hunkNum-fgColor-rest: var(--fgColor-default);
    --focus-outline: 2px solid #0349b4;
    --progressBar-track-bgColor: var(--bgColor-default);
    --reactionButton-selected-fgColor-rest: var(--fgColor-link);
    --shadow-floating-large: 0px 0px 0px 1px #454c54, 0px 40px 80px 0px #25292e3d;
    --shadow-floating-medium: 0px 0px 0px 1px #454c54, 0px 8px 16px -4px #25292e14, 0px 4px 32px -4px #25292e14, 0px 24px 48px -12px #25292e14, 0px 48px 96px -24px #25292e14;
    --shadow-floating-small: 0px 0px 0px 1px #454c5480, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
    --shadow-floating-xlarge: 0px 0px 0px 1px #454c54, 0px 56px 112px 0px #25292e52;
    --tooltip-fgColor: var(--fgColor-onEmphasis);
    --underlineNav-borderColor-hover: var(--borderColor-muted);
    --border-neutral-muted: 0.0625rem solid #454c54;
    --button-default-borderColor-hover: var(--button-default-borderColor-rest);
    --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
    --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
    --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
    --controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
  }
}