@primer/primitives 10.8.0-rc.f296f65b → 11.0.0-rc.a6a4b391
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/build/platforms/css.js +2 -1
 - package/dist/build/schemas/collections.d.ts +1 -1
 - package/dist/build/schemas/colorToken.d.ts +260 -0
 - package/dist/build/schemas/colorToken.js +10 -0
 - package/dist/css/functional/themes/dark-colorblind-high-contrast.css +1658 -0
 - package/dist/css/functional/themes/dark-colorblind.css +26 -26
 - package/dist/css/functional/themes/dark-dimmed-high-contrast.css +1658 -0
 - package/dist/css/functional/themes/dark-dimmed.css +60 -60
 - package/dist/css/functional/themes/dark-high-contrast.css +24 -24
 - package/dist/css/functional/themes/dark-tritanopia-high-contrast.css +1658 -0
 - package/dist/css/functional/themes/dark-tritanopia.css +26 -26
 - package/dist/css/functional/themes/dark.css +26 -26
 - package/dist/css/functional/themes/light-colorblind-high-contrast.css +1658 -0
 - package/dist/css/functional/themes/light-colorblind.css +30 -30
 - package/dist/css/functional/themes/light-high-contrast.css +32 -32
 - package/dist/css/functional/themes/light-tritanopia-high-contrast.css +1658 -0
 - package/dist/css/functional/themes/light-tritanopia.css +28 -28
 - package/dist/css/functional/themes/light.css +28 -28
 - package/dist/docs/functional/themes/dark-colorblind-high-contrast.json +43196 -0
 - package/dist/docs/functional/themes/dark-colorblind.json +7751 -517
 - package/dist/docs/functional/themes/dark-dimmed-high-contrast.json +43190 -0
 - package/dist/docs/functional/themes/dark-dimmed.json +7795 -561
 - package/dist/docs/functional/themes/dark-high-contrast.json +7749 -519
 - package/dist/docs/functional/themes/dark-tritanopia-high-contrast.json +43194 -0
 - package/dist/docs/functional/themes/dark-tritanopia.json +7751 -517
 - package/dist/docs/functional/themes/dark.json +7751 -517
 - package/dist/docs/functional/themes/light-colorblind-high-contrast.json +43156 -0
 - package/dist/docs/functional/themes/light-colorblind.json +7742 -508
 - package/dist/docs/functional/themes/light-high-contrast.json +7758 -528
 - package/dist/docs/functional/themes/light-tritanopia-high-contrast.json +43156 -0
 - package/dist/docs/functional/themes/light-tritanopia.json +7740 -506
 - package/dist/docs/functional/themes/light.json +7740 -506
 - package/dist/figma/figma.json +18 -8
 - package/dist/figma/scales/dark-dimmed.json +14 -14
 - package/dist/figma/themes/dark-colorblind-high-contrast.json +13877 -0
 - package/dist/figma/themes/dark-colorblind.json +35 -38
 - package/dist/figma/themes/dark-dimmed-high-contrast.json +13871 -0
 - package/dist/figma/themes/dark-dimmed.json +102 -107
 - package/dist/figma/themes/dark-high-contrast.json +28 -34
 - package/dist/figma/themes/dark-tritanopia-high-contrast.json +13873 -0
 - package/dist/figma/themes/dark-tritanopia.json +35 -38
 - package/dist/figma/themes/dark.json +35 -38
 - package/dist/figma/themes/light-colorblind-high-contrast.json +13857 -0
 - package/dist/figma/themes/light-colorblind.json +21 -24
 - package/dist/figma/themes/light-high-contrast.json +46 -51
 - package/dist/figma/themes/light-tritanopia-high-contrast.json +13856 -0
 - package/dist/figma/themes/light-tritanopia.json +19 -23
 - package/dist/figma/themes/light.json +19 -23
 - package/dist/internalCss/dark-colorblind-high-contrast.css +2266 -0
 - package/dist/internalCss/dark-colorblind.css +26 -26
 - package/dist/internalCss/dark-dimmed-high-contrast.css +2266 -0
 - package/dist/internalCss/dark-dimmed.css +54 -54
 - package/dist/internalCss/dark-high-contrast.css +24 -24
 - package/dist/internalCss/dark-tritanopia-high-contrast.css +2266 -0
 - package/dist/internalCss/dark-tritanopia.css +26 -26
 - package/dist/internalCss/dark.css +26 -26
 - package/dist/internalCss/light-colorblind-high-contrast.css +2266 -0
 - package/dist/internalCss/light-colorblind.css +30 -30
 - package/dist/internalCss/light-high-contrast.css +32 -32
 - package/dist/internalCss/light-tritanopia-high-contrast.css +2266 -0
 - package/dist/internalCss/light-tritanopia.css +28 -28
 - package/dist/internalCss/light.css +28 -28
 - package/dist/styleLint/functional/themes/dark-colorblind-high-contrast.json +43196 -0
 - package/dist/styleLint/functional/themes/dark-colorblind.json +7751 -517
 - package/dist/styleLint/functional/themes/dark-dimmed-high-contrast.json +43190 -0
 - package/dist/styleLint/functional/themes/dark-dimmed.json +7795 -561
 - package/dist/styleLint/functional/themes/dark-high-contrast.json +7749 -519
 - package/dist/styleLint/functional/themes/dark-tritanopia-high-contrast.json +43194 -0
 - package/dist/styleLint/functional/themes/dark-tritanopia.json +7751 -517
 - package/dist/styleLint/functional/themes/dark.json +7751 -517
 - package/dist/styleLint/functional/themes/light-colorblind-high-contrast.json +43156 -0
 - package/dist/styleLint/functional/themes/light-colorblind.json +7742 -508
 - package/dist/styleLint/functional/themes/light-high-contrast.json +7758 -528
 - package/dist/styleLint/functional/themes/light-tritanopia-high-contrast.json +43156 -0
 - package/dist/styleLint/functional/themes/light-tritanopia.json +7740 -506
 - package/dist/styleLint/functional/themes/light.json +7740 -506
 - package/package.json +1 -1
 - package/src/tokens/base/color/dark/dark.dimmed.json5 +0 -9
 - package/src/tokens/component/avatar.json5 +17 -4
 - package/src/tokens/component/button.json5 +260 -61
 - package/src/tokens/component/codeMirror.json5 +20 -2
 - package/src/tokens/component/contribution.json5 +35 -57
 - package/src/tokens/component/counter.json5 +5 -0
 - package/src/tokens/component/diffBlob.json5 +75 -8
 - package/src/tokens/component/header.json5 +2 -0
 - package/src/tokens/component/overlay.json5 +25 -0
 - package/src/tokens/component/skeletonLoader.json5 +20 -0
 - package/src/tokens/component/tooltip.json5 +8 -2
 - package/src/tokens/component/topicTag.json5 +5 -0
 - package/src/tokens/functional/color/bgColor.json5 +86 -0
 - package/src/tokens/functional/color/borderColor.json5 +268 -0
 - package/src/tokens/functional/color/control.json5 +343 -0
 - package/src/tokens/functional/color/display.json5 +1334 -1239
 - package/src/tokens/functional/color/fgColor.json5 +77 -17
 - package/src/tokens/functional/color/syntax.json5 +44 -2
 
| 
         @@ -296,12 +296,10 @@ 
     | 
|
| 
       296 
296 
     | 
    
         
             
              --borderWidth-thick: 0.125rem;
         
     | 
| 
       297 
297 
     | 
    
         
             
              --borderWidth-thicker: 0.25rem;
         
     | 
| 
       298 
298 
     | 
    
         
             
              --borderWidth-thin: 0.0625rem;
         
     | 
| 
       299 
     | 
    
         
            -
              --button-danger-bgColor-active: #7e2f00;
         
     | 
| 
       300 
299 
     | 
    
         
             
              --button-outline-bgColor-active: #0757ba;
         
     | 
| 
       301 
300 
     | 
    
         
             
              --button-primary-bgColor-active: #075fc8;
         
     | 
| 
       302 
301 
     | 
    
         
             
              --button-primary-bgColor-disabled: #92caff;
         
     | 
| 
       303 
302 
     | 
    
         
             
              --button-primary-bgColor-hover: #0864d1;
         
     | 
| 
       304 
     | 
    
         
            -
              --buttonCounter-danger-fgColor-rest: #c21c2c;
         
     | 
| 
       305 
303 
     | 
    
         
             
              --color-ansi-cyan: #1b7c83;
         
     | 
| 
       306 
304 
     | 
    
         
             
              --color-ansi-cyan-bright: #3192aa;
         
     | 
| 
       307 
305 
     | 
    
         
             
              --control-checked-bgColor-active: #0757ba;
         
     | 
| 
         @@ -362,7 +360,7 @@ 
     | 
|
| 
       362 
360 
     | 
    
         
             
              --boxShadow-thick: inset 0 0 0 var(--borderWidth-thick);
         
     | 
| 
       363 
361 
     | 
    
         
             
              --boxShadow-thicker: inset 0 0 0 var(--borderWidth-thicker);
         
     | 
| 
       364 
362 
     | 
    
         
             
              --boxShadow-thin: inset 0 0 0 var(--borderWidth-thin); /** Thin shadow for borders */
         
     | 
| 
       365 
     | 
    
         
            -
              --button-danger-bgColor- 
     | 
| 
      
 363 
     | 
    
         
            +
              --button-danger-bgColor-active: var(--base-color-orange-6);
         
     | 
| 
       366 
364 
     | 
    
         
             
              --button-danger-shadow-selected: inset 0px 1px 0px 0px #47170033;
         
     | 
| 
       367 
365 
     | 
    
         
             
              --button-inactive-bgColor: var(--base-color-neutral-3);
         
     | 
| 
       368 
366 
     | 
    
         
             
              --button-inactive-fgColor: var(--base-color-neutral-9);
         
     | 
| 
         @@ -372,6 +370,7 @@ 
     | 
|
| 
       372 
370 
     | 
    
         
             
              --button-primary-borderColor-disabled: var(--button-primary-bgColor-disabled);
         
     | 
| 
       373 
371 
     | 
    
         
             
              --button-primary-shadow-selected: inset 0px 1px 0px 0px #0021554d;
         
     | 
| 
       374 
372 
     | 
    
         
             
              --button-star-iconColor: var(--base-color-yellow-2);
         
     | 
| 
      
 373 
     | 
    
         
            +
              --buttonCounter-danger-fgColor-rest: var(--base-color-orange-6);
         
     | 
| 
       375 
374 
     | 
    
         
             
              --buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
         
     | 
| 
       376 
375 
     | 
    
         
             
              --buttonCounter-primary-bgColor-rest: #002d1133;
         
     | 
| 
       377 
376 
     | 
    
         
             
              --codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
         
     | 
| 
         @@ -428,10 +427,6 @@ 
     | 
|
| 
       428 
427 
     | 
    
         
             
              --contribution-default-bgColor-3: var(--base-color-green-4);
         
     | 
| 
       429 
428 
     | 
    
         
             
              --contribution-default-bgColor-4: var(--base-color-green-6);
         
     | 
| 
       430 
429 
     | 
    
         
             
              --contribution-default-borderColor-0: #1f23280d;
         
     | 
| 
       431 
     | 
    
         
            -
              --contribution-default-borderColor-1: #1f23280d;
         
     | 
| 
       432 
     | 
    
         
            -
              --contribution-default-borderColor-2: #1f23280d;
         
     | 
| 
       433 
     | 
    
         
            -
              --contribution-default-borderColor-3: #1f23280d;
         
     | 
| 
       434 
     | 
    
         
            -
              --contribution-default-borderColor-4: #1f23280d;
         
     | 
| 
       435 
430 
     | 
    
         
             
              --contribution-halloween-bgColor-1: var(--base-display-color-lemon-1);
         
     | 
| 
       436 
431 
     | 
    
         
             
              --contribution-halloween-bgColor-2: var(--base-display-color-yellow-1);
         
     | 
| 
       437 
432 
     | 
    
         
             
              --contribution-halloween-bgColor-3: var(--base-display-color-orange-3);
         
     | 
| 
         @@ -962,13 +957,13 @@ 
     | 
|
| 
       962 
957 
     | 
    
         
             
              --borderColor-translucent: #1f232826;
         
     | 
| 
       963 
958 
     | 
    
         
             
              --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       964 
959 
     | 
    
         
             
              --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 960 
     | 
    
         
            +
              --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       965 
961 
     | 
    
         
             
              --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       966 
962 
     | 
    
         
             
              --button-danger-fgColor-active: var(--base-color-neutral-0);
         
     | 
| 
       967 
963 
     | 
    
         
             
              --button-danger-fgColor-disabled: #bc4c0080;
         
     | 
| 
       968 
964 
     | 
    
         
             
              --button-danger-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       969 
965 
     | 
    
         
             
              --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       970 
966 
     | 
    
         
             
              --button-danger-iconColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       971 
     | 
    
         
            -
              --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       972 
967 
     | 
    
         
             
              --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       973 
968 
     | 
    
         
             
              --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       974 
969 
     | 
    
         
             
              --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -992,7 +987,6 @@ 
     | 
|
| 
       992 
987 
     | 
    
         
             
              --button-outline-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       993 
988 
     | 
    
         
             
              --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
       994 
989 
     | 
    
         
             
              --button-primary-bgColor-rest: var(--bgColor-success-emphasis);
         
     | 
| 
       995 
     | 
    
         
            -
              --button-primary-borderColor-rest: #1f232826;
         
     | 
| 
       996 
990 
     | 
    
         
             
              --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       997 
991 
     | 
    
         
             
              --buttonCounter-danger-bgColor-disabled: #bc4c000d;
         
     | 
| 
       998 
992 
     | 
    
         
             
              --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -1015,6 +1009,10 @@ 
     | 
|
| 
       1015 
1009 
     | 
    
         
             
              --color-prettylights-syntax-markup-bold: var(--base-color-neutral-13);
         
     | 
| 
       1016 
1010 
     | 
    
         
             
              --color-prettylights-syntax-markup-italic: var(--base-color-neutral-13);
         
     | 
| 
       1017 
1011 
     | 
    
         
             
              --color-prettylights-syntax-storage-modifier-import: var(--base-color-neutral-13);
         
     | 
| 
      
 1012 
     | 
    
         
            +
              --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1013 
     | 
    
         
            +
              --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1014 
     | 
    
         
            +
              --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1015 
     | 
    
         
            +
              --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       1018 
1016 
     | 
    
         
             
              --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       1019 
1017 
     | 
    
         
             
              --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       1020 
1018 
     | 
    
         
             
              --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -1077,8 +1075,8 @@ 
     | 
|
| 
       1077 
1075 
     | 
    
         
             
              --border-upsell-muted: 0.0625rem solid #c297ff66;
         
     | 
| 
       1078 
1076 
     | 
    
         
             
              --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       1079 
1077 
     | 
    
         
             
              --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1080 
     | 
    
         
            -
              --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1081 
1078 
     | 
    
         
             
              --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
      
 1079 
     | 
    
         
            +
              --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       1082 
1080 
     | 
    
         
             
              --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1083 
1081 
     | 
    
         
             
              --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
       1084 
1082 
     | 
    
         
             
              --button-default-borderColor-disabled: var(--control-borderColor-disabled);
         
     | 
| 
         @@ -1086,8 +1084,7 @@ 
     | 
|
| 
       1086 
1084 
     | 
    
         
             
              --button-invisible-fgColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       1087 
1085 
     | 
    
         
             
              --button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       1088 
1086 
     | 
    
         
             
              --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1089 
     | 
    
         
            -
              --button-primary-borderColor- 
     | 
| 
       1090 
     | 
    
         
            -
              --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 1087 
     | 
    
         
            +
              --button-primary-borderColor-rest: var(--borderColor-translucent);
         
     | 
| 
       1091 
1088 
     | 
    
         
             
              --button-primary-fgColor-rest: var(--fgColor-white);
         
     | 
| 
       1092 
1089 
     | 
    
         
             
              --button-primary-iconColor-rest: #ffffffcc;
         
     | 
| 
       1093 
1090 
     | 
    
         
             
              --card-bgColor: var(--bgColor-default);
         
     | 
| 
         @@ -1122,18 +1119,21 @@ 
     | 
|
| 
       1122 
1119 
     | 
    
         
             
              --tooltip-fgColor: var(--fgColor-onEmphasis);
         
     | 
| 
       1123 
1120 
     | 
    
         
             
              --underlineNav-borderColor-hover: var(--borderColor-muted);
         
     | 
| 
       1124 
1121 
     | 
    
         
             
              --border-neutral-muted: 0.0625rem solid #d1d9e0b3;
         
     | 
| 
       1125 
     | 
    
         
            -
              --button-danger-borderColor- 
     | 
| 
      
 1122 
     | 
    
         
            +
              --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1126 
1123 
     | 
    
         
             
              --button-default-borderColor-hover: var(--button-default-borderColor-rest);
         
     | 
| 
       1127 
     | 
    
         
            -
              --button- 
     | 
| 
      
 1124 
     | 
    
         
            +
              --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 1125 
     | 
    
         
            +
              --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1128 
1126 
     | 
    
         
             
              --shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
         
     | 
| 
       1129 
1127 
     | 
    
         
             
              --shadow-floating-medium: 0px 0px 0px 1px #d1d9e0, 0px 8px 16px -4px #25292e14, 0px 4px 32px -4px #25292e14, 0px 24px 48px -12px #25292e14, 0px 48px 96px -24px #25292e14;
         
     | 
| 
       1130 
1128 
     | 
    
         
             
              --shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
         
     | 
| 
       1131 
1129 
     | 
    
         
             
              --shadow-floating-xlarge: 0px 0px 0px 1px #d1d9e0, 0px 56px 112px 0px #25292e52;
         
     | 
| 
      
 1130 
     | 
    
         
            +
              --button-danger-borderColor-active: var(--button-danger-borderColor-hover);
         
     | 
| 
      
 1131 
     | 
    
         
            +
              --button-outline-borderColor-hover: var(--button-primary-borderColor-hover);
         
     | 
| 
       1132 
1132 
     | 
    
         
             
              --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
         
     | 
| 
       1133 
1133 
     | 
    
         
             
            }
         
     | 
| 
       1134 
1134 
     | 
    
         
             
            @media (prefers-color-scheme: dark) {
         
     | 
| 
       1135 
     | 
    
         
            -
              [data-color-mode="auto"][data-dark-theme="light_colorblind"],
         
     | 
| 
       1136 
     | 
    
         
            -
              [data-color-mode="auto"][data-dark-theme="light_colorblind"] ::backdrop {
         
     | 
| 
      
 1135 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light_colorblind"],
         
     | 
| 
      
 1136 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light_colorblind"] ::backdrop {
         
     | 
| 
       1137 
1137 
     | 
    
         
             
                --base-color-black: #1f2328;
         
     | 
| 
       1138 
1138 
     | 
    
         
             
                --base-color-blue-0: #ddf4ff;
         
     | 
| 
       1139 
1139 
     | 
    
         
             
                --base-color-blue-1: #b6e3ff;
         
     | 
| 
         @@ -1428,12 +1428,10 @@ 
     | 
|
| 
       1428 
1428 
     | 
    
         
             
                --borderWidth-thick: 0.125rem;
         
     | 
| 
       1429 
1429 
     | 
    
         
             
                --borderWidth-thicker: 0.25rem;
         
     | 
| 
       1430 
1430 
     | 
    
         
             
                --borderWidth-thin: 0.0625rem;
         
     | 
| 
       1431 
     | 
    
         
            -
                --button-danger-bgColor-active: #7e2f00;
         
     | 
| 
       1432 
1431 
     | 
    
         
             
                --button-outline-bgColor-active: #0757ba;
         
     | 
| 
       1433 
1432 
     | 
    
         
             
                --button-primary-bgColor-active: #075fc8;
         
     | 
| 
       1434 
1433 
     | 
    
         
             
                --button-primary-bgColor-disabled: #92caff;
         
     | 
| 
       1435 
1434 
     | 
    
         
             
                --button-primary-bgColor-hover: #0864d1;
         
     | 
| 
       1436 
     | 
    
         
            -
                --buttonCounter-danger-fgColor-rest: #c21c2c;
         
     | 
| 
       1437 
1435 
     | 
    
         
             
                --color-ansi-cyan: #1b7c83;
         
     | 
| 
       1438 
1436 
     | 
    
         
             
                --color-ansi-cyan-bright: #3192aa;
         
     | 
| 
       1439 
1437 
     | 
    
         
             
                --control-checked-bgColor-active: #0757ba;
         
     | 
| 
         @@ -1494,7 +1492,7 @@ 
     | 
|
| 
       1494 
1492 
     | 
    
         
             
                --boxShadow-thick: inset 0 0 0 var(--borderWidth-thick);
         
     | 
| 
       1495 
1493 
     | 
    
         
             
                --boxShadow-thicker: inset 0 0 0 var(--borderWidth-thicker);
         
     | 
| 
       1496 
1494 
     | 
    
         
             
                --boxShadow-thin: inset 0 0 0 var(--borderWidth-thin); /** Thin shadow for borders */
         
     | 
| 
       1497 
     | 
    
         
            -
                --button-danger-bgColor- 
     | 
| 
      
 1495 
     | 
    
         
            +
                --button-danger-bgColor-active: var(--base-color-orange-6);
         
     | 
| 
       1498 
1496 
     | 
    
         
             
                --button-danger-shadow-selected: inset 0px 1px 0px 0px #47170033;
         
     | 
| 
       1499 
1497 
     | 
    
         
             
                --button-inactive-bgColor: var(--base-color-neutral-3);
         
     | 
| 
       1500 
1498 
     | 
    
         
             
                --button-inactive-fgColor: var(--base-color-neutral-9);
         
     | 
| 
         @@ -1504,6 +1502,7 @@ 
     | 
|
| 
       1504 
1502 
     | 
    
         
             
                --button-primary-borderColor-disabled: var(--button-primary-bgColor-disabled);
         
     | 
| 
       1505 
1503 
     | 
    
         
             
                --button-primary-shadow-selected: inset 0px 1px 0px 0px #0021554d;
         
     | 
| 
       1506 
1504 
     | 
    
         
             
                --button-star-iconColor: var(--base-color-yellow-2);
         
     | 
| 
      
 1505 
     | 
    
         
            +
                --buttonCounter-danger-fgColor-rest: var(--base-color-orange-6);
         
     | 
| 
       1507 
1506 
     | 
    
         
             
                --buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
         
     | 
| 
       1508 
1507 
     | 
    
         
             
                --buttonCounter-primary-bgColor-rest: #002d1133;
         
     | 
| 
       1509 
1508 
     | 
    
         
             
                --codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
         
     | 
| 
         @@ -1560,10 +1559,6 @@ 
     | 
|
| 
       1560 
1559 
     | 
    
         
             
                --contribution-default-bgColor-3: var(--base-color-green-4);
         
     | 
| 
       1561 
1560 
     | 
    
         
             
                --contribution-default-bgColor-4: var(--base-color-green-6);
         
     | 
| 
       1562 
1561 
     | 
    
         
             
                --contribution-default-borderColor-0: #1f23280d;
         
     | 
| 
       1563 
     | 
    
         
            -
                --contribution-default-borderColor-1: #1f23280d;
         
     | 
| 
       1564 
     | 
    
         
            -
                --contribution-default-borderColor-2: #1f23280d;
         
     | 
| 
       1565 
     | 
    
         
            -
                --contribution-default-borderColor-3: #1f23280d;
         
     | 
| 
       1566 
     | 
    
         
            -
                --contribution-default-borderColor-4: #1f23280d;
         
     | 
| 
       1567 
1562 
     | 
    
         
             
                --contribution-halloween-bgColor-1: var(--base-display-color-lemon-1);
         
     | 
| 
       1568 
1563 
     | 
    
         
             
                --contribution-halloween-bgColor-2: var(--base-display-color-yellow-1);
         
     | 
| 
       1569 
1564 
     | 
    
         
             
                --contribution-halloween-bgColor-3: var(--base-display-color-orange-3);
         
     | 
| 
         @@ -2094,13 +2089,13 @@ 
     | 
|
| 
       2094 
2089 
     | 
    
         
             
                --borderColor-translucent: #1f232826;
         
     | 
| 
       2095 
2090 
     | 
    
         
             
                --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       2096 
2091 
     | 
    
         
             
                --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 2092 
     | 
    
         
            +
                --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       2097 
2093 
     | 
    
         
             
                --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       2098 
2094 
     | 
    
         
             
                --button-danger-fgColor-active: var(--base-color-neutral-0);
         
     | 
| 
       2099 
2095 
     | 
    
         
             
                --button-danger-fgColor-disabled: #bc4c0080;
         
     | 
| 
       2100 
2096 
     | 
    
         
             
                --button-danger-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       2101 
2097 
     | 
    
         
             
                --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       2102 
2098 
     | 
    
         
             
                --button-danger-iconColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       2103 
     | 
    
         
            -
                --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       2104 
2099 
     | 
    
         
             
                --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       2105 
2100 
     | 
    
         
             
                --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       2106 
2101 
     | 
    
         
             
                --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -2124,7 +2119,6 @@ 
     | 
|
| 
       2124 
2119 
     | 
    
         
             
                --button-outline-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       2125 
2120 
     | 
    
         
             
                --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
       2126 
2121 
     | 
    
         
             
                --button-primary-bgColor-rest: var(--bgColor-success-emphasis);
         
     | 
| 
       2127 
     | 
    
         
            -
                --button-primary-borderColor-rest: #1f232826;
         
     | 
| 
       2128 
2122 
     | 
    
         
             
                --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       2129 
2123 
     | 
    
         
             
                --buttonCounter-danger-bgColor-disabled: #bc4c000d;
         
     | 
| 
       2130 
2124 
     | 
    
         
             
                --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -2147,6 +2141,10 @@ 
     | 
|
| 
       2147 
2141 
     | 
    
         
             
                --color-prettylights-syntax-markup-bold: var(--base-color-neutral-13);
         
     | 
| 
       2148 
2142 
     | 
    
         
             
                --color-prettylights-syntax-markup-italic: var(--base-color-neutral-13);
         
     | 
| 
       2149 
2143 
     | 
    
         
             
                --color-prettylights-syntax-storage-modifier-import: var(--base-color-neutral-13);
         
     | 
| 
      
 2144 
     | 
    
         
            +
                --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2145 
     | 
    
         
            +
                --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2146 
     | 
    
         
            +
                --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2147 
     | 
    
         
            +
                --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       2150 
2148 
     | 
    
         
             
                --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       2151 
2149 
     | 
    
         
             
                --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       2152 
2150 
     | 
    
         
             
                --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -2209,8 +2207,8 @@ 
     | 
|
| 
       2209 
2207 
     | 
    
         
             
                --border-upsell-muted: 0.0625rem solid #c297ff66;
         
     | 
| 
       2210 
2208 
     | 
    
         
             
                --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       2211 
2209 
     | 
    
         
             
                --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       2212 
     | 
    
         
            -
                --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       2213 
2210 
     | 
    
         
             
                --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
      
 2211 
     | 
    
         
            +
                --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       2214 
2212 
     | 
    
         
             
                --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       2215 
2213 
     | 
    
         
             
                --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
       2216 
2214 
     | 
    
         
             
                --button-default-borderColor-disabled: var(--control-borderColor-disabled);
         
     | 
| 
         @@ -2218,8 +2216,7 @@ 
     | 
|
| 
       2218 
2216 
     | 
    
         
             
                --button-invisible-fgColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       2219 
2217 
     | 
    
         
             
                --button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       2220 
2218 
     | 
    
         
             
                --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       2221 
     | 
    
         
            -
                --button-primary-borderColor- 
     | 
| 
       2222 
     | 
    
         
            -
                --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 2219 
     | 
    
         
            +
                --button-primary-borderColor-rest: var(--borderColor-translucent);
         
     | 
| 
       2223 
2220 
     | 
    
         
             
                --button-primary-fgColor-rest: var(--fgColor-white);
         
     | 
| 
       2224 
2221 
     | 
    
         
             
                --button-primary-iconColor-rest: #ffffffcc;
         
     | 
| 
       2225 
2222 
     | 
    
         
             
                --card-bgColor: var(--bgColor-default);
         
     | 
| 
         @@ -2254,13 +2251,16 @@ 
     | 
|
| 
       2254 
2251 
     | 
    
         
             
                --tooltip-fgColor: var(--fgColor-onEmphasis);
         
     | 
| 
       2255 
2252 
     | 
    
         
             
                --underlineNav-borderColor-hover: var(--borderColor-muted);
         
     | 
| 
       2256 
2253 
     | 
    
         
             
                --border-neutral-muted: 0.0625rem solid #d1d9e0b3;
         
     | 
| 
       2257 
     | 
    
         
            -
                --button-danger-borderColor- 
     | 
| 
      
 2254 
     | 
    
         
            +
                --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       2258 
2255 
     | 
    
         
             
                --button-default-borderColor-hover: var(--button-default-borderColor-rest);
         
     | 
| 
       2259 
     | 
    
         
            -
                --button- 
     | 
| 
      
 2256 
     | 
    
         
            +
                --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 2257 
     | 
    
         
            +
                --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       2260 
2258 
     | 
    
         
             
                --shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
         
     | 
| 
       2261 
2259 
     | 
    
         
             
                --shadow-floating-medium: 0px 0px 0px 1px #d1d9e0, 0px 8px 16px -4px #25292e14, 0px 4px 32px -4px #25292e14, 0px 24px 48px -12px #25292e14, 0px 48px 96px -24px #25292e14;
         
     | 
| 
       2262 
2260 
     | 
    
         
             
                --shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
         
     | 
| 
       2263 
2261 
     | 
    
         
             
                --shadow-floating-xlarge: 0px 0px 0px 1px #d1d9e0, 0px 56px 112px 0px #25292e52;
         
     | 
| 
      
 2262 
     | 
    
         
            +
                --button-danger-borderColor-active: var(--button-danger-borderColor-hover);
         
     | 
| 
      
 2263 
     | 
    
         
            +
                --button-outline-borderColor-hover: var(--button-primary-borderColor-hover);
         
     | 
| 
       2264 
2264 
     | 
    
         
             
                --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
         
     | 
| 
       2265 
2265 
     | 
    
         
             
              }
         
     | 
| 
       2266 
2266 
     | 
    
         
             
            }
         
     | 
| 
         @@ -296,13 +296,11 @@ 
     | 
|
| 
       296 
296 
     | 
    
         
             
              --borderWidth-thick: 0.125rem;
         
     | 
| 
       297 
297 
     | 
    
         
             
              --borderWidth-thicker: 0.25rem;
         
     | 
| 
       298 
298 
     | 
    
         
             
              --borderWidth-thin: 0.0625rem;
         
     | 
| 
       299 
     | 
    
         
            -
              --button-danger-bgColor-active: #74041a;
         
     | 
| 
       300 
299 
     | 
    
         
             
              --button-outline-bgColor-active: #033f9d;
         
     | 
| 
       301 
300 
     | 
    
         
             
              --button-primary-bgColor-active: #03501b;
         
     | 
| 
       302 
301 
     | 
    
         
             
              --button-primary-bgColor-disabled: #85cb97;
         
     | 
| 
       303 
302 
     | 
    
         
             
              --button-primary-bgColor-hover: #04571e;
         
     | 
| 
       304 
303 
     | 
    
         
             
              --button-primary-borderColor-disabled: #85cb97;
         
     | 
| 
       305 
     | 
    
         
            -
              --buttonCounter-danger-fgColor-rest: #980e1e;
         
     | 
| 
       306 
304 
     | 
    
         
             
              --color-ansi-cyan: #1b7c83;
         
     | 
| 
       307 
305 
     | 
    
         
             
              --color-ansi-cyan-bright: #3192aa;
         
     | 
| 
       308 
306 
     | 
    
         
             
              --control-checked-bgColor-active: #033f9d;
         
     | 
| 
         @@ -363,7 +361,7 @@ 
     | 
|
| 
       363 
361 
     | 
    
         
             
              --boxShadow-thick: inset 0 0 0 var(--borderWidth-thick);
         
     | 
| 
       364 
362 
     | 
    
         
             
              --boxShadow-thicker: inset 0 0 0 var(--borderWidth-thicker);
         
     | 
| 
       365 
363 
     | 
    
         
             
              --boxShadow-thin: inset 0 0 0 var(--borderWidth-thin); /** Thin shadow for borders */
         
     | 
| 
       366 
     | 
    
         
            -
              --button-danger-bgColor- 
     | 
| 
      
 364 
     | 
    
         
            +
              --button-danger-bgColor-active: var(--base-color-red-6);
         
     | 
| 
       367 
365 
     | 
    
         
             
              --button-danger-borderColor-hover: var(--base-color-red-7);
         
     | 
| 
       368 
366 
     | 
    
         
             
              --button-danger-shadow-selected: inset 0px 1px 0px 0px #43001133;
         
     | 
| 
       369 
367 
     | 
    
         
             
              --button-inactive-fgColor: var(--base-color-neutral-10);
         
     | 
| 
         @@ -371,10 +369,9 @@ 
     | 
|
| 
       371 
369 
     | 
    
         
             
              --button-invisible-borderColor-disabled: var(--base-color-transparent);
         
     | 
| 
       372 
370 
     | 
    
         
             
              --button-invisible-fgColor-hover: var(--base-color-neutral-11);
         
     | 
| 
       373 
371 
     | 
    
         
             
              --button-invisible-iconColor-hover: var(--base-color-neutral-11);
         
     | 
| 
      
 372 
     | 
    
         
            +
              --button-outline-borderColor-hover: var(--base-color-blue-7);
         
     | 
| 
       374 
373 
     | 
    
         
             
              --button-outline-shadow-selected: inset 0px 1px 0px 0px #021a4a33;
         
     | 
| 
       375 
374 
     | 
    
         
             
              --button-primary-bgColor-rest: var(--base-color-green-5);
         
     | 
| 
       376 
     | 
    
         
            -
              --button-primary-borderColor-active: var(--base-color-green-7);
         
     | 
| 
       377 
     | 
    
         
            -
              --button-primary-borderColor-hover: var(--base-color-green-7);
         
     | 
| 
       378 
375 
     | 
    
         
             
              --button-primary-borderColor-rest: var(--base-color-green-7);
         
     | 
| 
       379 
376 
     | 
    
         
             
              --button-primary-shadow-selected: inset 0px 1px 0px 0px #00230b4d;
         
     | 
| 
       380 
377 
     | 
    
         
             
              --button-star-iconColor: var(--base-color-yellow-2);
         
     | 
| 
         @@ -429,16 +426,11 @@ 
     | 
|
| 
       429 
426 
     | 
    
         
             
              --color-prettylights-syntax-string-regexp: var(--base-color-green-6);
         
     | 
| 
       430 
427 
     | 
    
         
             
              --color-prettylights-syntax-sublimelinter-gutter-mark: var(--base-color-neutral-8);
         
     | 
| 
       431 
428 
     | 
    
         
             
              --color-prettylights-syntax-variable: var(--base-color-orange-6);
         
     | 
| 
       432 
     | 
    
         
            -
              --contribution-default-bgColor-0: var(--base-color-neutral-2);
         
     | 
| 
       433 
429 
     | 
    
         
             
              --contribution-default-bgColor-1: var(--base-color-green-1);
         
     | 
| 
       434 
430 
     | 
    
         
             
              --contribution-default-bgColor-2: var(--base-color-green-3);
         
     | 
| 
       435 
431 
     | 
    
         
             
              --contribution-default-bgColor-3: var(--base-color-green-4);
         
     | 
| 
       436 
432 
     | 
    
         
             
              --contribution-default-bgColor-4: var(--base-color-green-6);
         
     | 
| 
       437 
     | 
    
         
            -
              --contribution-default-borderColor-0:  
     | 
| 
       438 
     | 
    
         
            -
              --contribution-default-borderColor-1: #0104090d;
         
     | 
| 
       439 
     | 
    
         
            -
              --contribution-default-borderColor-2: #0104090d;
         
     | 
| 
       440 
     | 
    
         
            -
              --contribution-default-borderColor-3: #0104090d;
         
     | 
| 
       441 
     | 
    
         
            -
              --contribution-default-borderColor-4: #0104090d;
         
     | 
| 
      
 433 
     | 
    
         
            +
              --contribution-default-borderColor-0: var(--base-color-black);
         
     | 
| 
       442 
434 
     | 
    
         
             
              --contribution-halloween-bgColor-1: var(--base-display-color-lemon-1);
         
     | 
| 
       443 
435 
     | 
    
         
             
              --contribution-halloween-bgColor-2: var(--base-display-color-yellow-1);
         
     | 
| 
       444 
436 
     | 
    
         
             
              --contribution-halloween-bgColor-3: var(--base-display-color-orange-3);
         
     | 
| 
         @@ -926,7 +918,6 @@ 
     | 
|
| 
       926 
918 
     | 
    
         
             
              --treeViewItem-leadingVisual-iconColor-rest: var(--base-color-blue-3);
         
     | 
| 
       927 
919 
     | 
    
         
             
              --underlineNav-borderColor-active: var(--base-color-coral-3);
         
     | 
| 
       928 
920 
     | 
    
         
             
              --avatar-bgColor: var(--base-color-neutral-0);
         
     | 
| 
       929 
     | 
    
         
            -
              --avatar-borderColor: #010409e6;
         
     | 
| 
       930 
921 
     | 
    
         
             
              --avatar-shadow: 0px 0px 0px 2px #ffffffcc;
         
     | 
| 
       931 
922 
     | 
    
         
             
              --base-color-inset: var(--base-color-neutral-0);
         
     | 
| 
       932 
923 
     | 
    
         
             
              --bgColor-black: var(--base-color-neutral-13);
         
     | 
| 
         @@ -964,6 +955,7 @@ 
     | 
|
| 
       964 
955 
     | 
    
         
             
              --borderColor-open-muted: var(--borderColor-success-muted);
         
     | 
| 
       965 
956 
     | 
    
         
             
              --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       966 
957 
     | 
    
         
             
              --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 958 
     | 
    
         
            +
              --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       967 
959 
     | 
    
         
             
              --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       968 
960 
     | 
    
         
             
              --button-danger-borderColor-active: var(--button-danger-borderColor-hover);
         
     | 
| 
       969 
961 
     | 
    
         
             
              --button-danger-fgColor-active: var(--base-color-neutral-0);
         
     | 
| 
         @@ -971,7 +963,6 @@ 
     | 
|
| 
       971 
963 
     | 
    
         
             
              --button-danger-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       972 
964 
     | 
    
         
             
              --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       973 
965 
     | 
    
         
             
              --button-danger-iconColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       974 
     | 
    
         
            -
              --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       975 
966 
     | 
    
         
             
              --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       976 
967 
     | 
    
         
             
              --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       977 
968 
     | 
    
         
             
              --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -988,17 +979,20 @@ 
     | 
|
| 
       988 
979 
     | 
    
         
             
              --button-invisible-iconColor-rest: var(--fgColor-muted);
         
     | 
| 
       989 
980 
     | 
    
         
             
              --button-outline-bgColor-hover: var(--bgColor-accent-emphasis);
         
     | 
| 
       990 
981 
     | 
    
         
             
              --button-outline-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       991 
     | 
    
         
            -
              --button-outline-borderColor- 
     | 
| 
      
 982 
     | 
    
         
            +
              --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
         
     | 
| 
       992 
983 
     | 
    
         
             
              --button-outline-fgColor-active: var(--base-color-neutral-0);
         
     | 
| 
       993 
984 
     | 
    
         
             
              --button-outline-fgColor-disabled: #023b9580;
         
     | 
| 
       994 
985 
     | 
    
         
             
              --button-outline-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       995 
986 
     | 
    
         
             
              --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
      
 987 
     | 
    
         
            +
              --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 988 
     | 
    
         
            +
              --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       996 
989 
     | 
    
         
             
              --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       997 
990 
     | 
    
         
             
              --buttonCounter-danger-bgColor-disabled: #a0111f0d;
         
     | 
| 
       998 
991 
     | 
    
         
             
              --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
       999 
992 
     | 
    
         
             
              --buttonCounter-danger-bgColor-rest: #a0111f1a;
         
     | 
| 
       1000 
993 
     | 
    
         
             
              --buttonCounter-danger-fgColor-disabled: #86061d80;
         
     | 
| 
       1001 
994 
     | 
    
         
             
              --buttonCounter-danger-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
      
 995 
     | 
    
         
            +
              --buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       1002 
996 
     | 
    
         
             
              --buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
         
     | 
| 
       1003 
997 
     | 
    
         
             
              --buttonCounter-outline-bgColor-disabled: #0349b40d;
         
     | 
| 
       1004 
998 
     | 
    
         
             
              --buttonCounter-outline-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -1014,6 +1008,11 @@ 
     | 
|
| 
       1014 
1008 
     | 
    
         
             
              --color-prettylights-syntax-markup-bold: var(--base-color-neutral-13);
         
     | 
| 
       1015 
1009 
     | 
    
         
             
              --color-prettylights-syntax-markup-italic: var(--base-color-neutral-13);
         
     | 
| 
       1016 
1010 
     | 
    
         
             
              --color-prettylights-syntax-storage-modifier-import: var(--base-color-neutral-13);
         
     | 
| 
      
 1011 
     | 
    
         
            +
              --contribution-default-bgColor-0: var(--base-color-neutral-0);
         
     | 
| 
      
 1012 
     | 
    
         
            +
              --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1013 
     | 
    
         
            +
              --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1014 
     | 
    
         
            +
              --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1015 
     | 
    
         
            +
              --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       1017 
1016 
     | 
    
         
             
              --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       1018 
1017 
     | 
    
         
             
              --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       1019 
1018 
     | 
    
         
             
              --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -1068,6 +1067,7 @@ 
     | 
|
| 
       1068 
1067 
     | 
    
         
             
              --tooltip-bgColor: var(--bgColor-emphasis);
         
     | 
| 
       1069 
1068 
     | 
    
         
             
              --topicTag-borderColor: var(--borderColor-accent-emphasis);
         
     | 
| 
       1070 
1069 
     | 
    
         
             
              --underlineNav-iconColor-rest: var(--fgColor-muted);
         
     | 
| 
      
 1070 
     | 
    
         
            +
              --avatar-borderColor: var(--borderColor-emphasis);
         
     | 
| 
       1071 
1071 
     | 
    
         
             
              --border-closed-emphasis: var(--border-danger-emphasis);
         
     | 
| 
       1072 
1072 
     | 
    
         
             
              --border-closed-muted: var(--border-danger-muted);
         
     | 
| 
       1073 
1073 
     | 
    
         
             
              --border-emphasis: 0.0625rem solid #454c54;
         
     | 
| 
         @@ -1079,6 +1079,7 @@ 
     | 
|
| 
       1079 
1079 
     | 
    
         
             
              --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       1080 
1080 
     | 
    
         
             
              --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1081 
1081 
     | 
    
         
             
              --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
      
 1082 
     | 
    
         
            +
              --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       1082 
1083 
     | 
    
         
             
              --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1083 
1084 
     | 
    
         
             
              --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
       1084 
1085 
     | 
    
         
             
              --button-default-borderColor-disabled: var(--control-borderColor-disabled);
         
     | 
| 
         @@ -1087,7 +1088,6 @@ 
     | 
|
| 
       1087 
1088 
     | 
    
         
             
              --button-invisible-fgColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       1088 
1089 
     | 
    
         
             
              --button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       1089 
1090 
     | 
    
         
             
              --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1090 
     | 
    
         
            -
              --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
         
     | 
| 
       1091 
1091 
     | 
    
         
             
              --button-primary-fgColor-rest: var(--fgColor-white);
         
     | 
| 
       1092 
1092 
     | 
    
         
             
              --button-primary-iconColor-rest: #ffffffcc;
         
     | 
| 
       1093 
1093 
     | 
    
         
             
              --card-bgColor: var(--bgColor-default);
         
     | 
| 
         @@ -1132,8 +1132,8 @@ 
     | 
|
| 
       1132 
1132 
     | 
    
         
             
              --controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
         
     | 
| 
       1133 
1133 
     | 
    
         
             
            }
         
     | 
| 
       1134 
1134 
     | 
    
         
             
            @media (prefers-color-scheme: dark) {
         
     | 
| 
       1135 
     | 
    
         
            -
              [data-color-mode="auto"][data-dark-theme="light_high_contrast"],
         
     | 
| 
       1136 
     | 
    
         
            -
              [data-color-mode="auto"][data-dark-theme="light_high_contrast"] ::backdrop {
         
     | 
| 
      
 1135 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light_high_contrast"],
         
     | 
| 
      
 1136 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light_high_contrast"] ::backdrop {
         
     | 
| 
       1137 
1137 
     | 
    
         
             
                --base-color-black: #010409;
         
     | 
| 
       1138 
1138 
     | 
    
         
             
                --base-color-blue-0: #dff7ff;
         
     | 
| 
       1139 
1139 
     | 
    
         
             
                --base-color-blue-1: #9cd7ff;
         
     | 
| 
         @@ -1428,13 +1428,11 @@ 
     | 
|
| 
       1428 
1428 
     | 
    
         
             
                --borderWidth-thick: 0.125rem;
         
     | 
| 
       1429 
1429 
     | 
    
         
             
                --borderWidth-thicker: 0.25rem;
         
     | 
| 
       1430 
1430 
     | 
    
         
             
                --borderWidth-thin: 0.0625rem;
         
     | 
| 
       1431 
     | 
    
         
            -
                --button-danger-bgColor-active: #74041a;
         
     | 
| 
       1432 
1431 
     | 
    
         
             
                --button-outline-bgColor-active: #033f9d;
         
     | 
| 
       1433 
1432 
     | 
    
         
             
                --button-primary-bgColor-active: #03501b;
         
     | 
| 
       1434 
1433 
     | 
    
         
             
                --button-primary-bgColor-disabled: #85cb97;
         
     | 
| 
       1435 
1434 
     | 
    
         
             
                --button-primary-bgColor-hover: #04571e;
         
     | 
| 
       1436 
1435 
     | 
    
         
             
                --button-primary-borderColor-disabled: #85cb97;
         
     | 
| 
       1437 
     | 
    
         
            -
                --buttonCounter-danger-fgColor-rest: #980e1e;
         
     | 
| 
       1438 
1436 
     | 
    
         
             
                --color-ansi-cyan: #1b7c83;
         
     | 
| 
       1439 
1437 
     | 
    
         
             
                --color-ansi-cyan-bright: #3192aa;
         
     | 
| 
       1440 
1438 
     | 
    
         
             
                --control-checked-bgColor-active: #033f9d;
         
     | 
| 
         @@ -1495,7 +1493,7 @@ 
     | 
|
| 
       1495 
1493 
     | 
    
         
             
                --boxShadow-thick: inset 0 0 0 var(--borderWidth-thick);
         
     | 
| 
       1496 
1494 
     | 
    
         
             
                --boxShadow-thicker: inset 0 0 0 var(--borderWidth-thicker);
         
     | 
| 
       1497 
1495 
     | 
    
         
             
                --boxShadow-thin: inset 0 0 0 var(--borderWidth-thin); /** Thin shadow for borders */
         
     | 
| 
       1498 
     | 
    
         
            -
                --button-danger-bgColor- 
     | 
| 
      
 1496 
     | 
    
         
            +
                --button-danger-bgColor-active: var(--base-color-red-6);
         
     | 
| 
       1499 
1497 
     | 
    
         
             
                --button-danger-borderColor-hover: var(--base-color-red-7);
         
     | 
| 
       1500 
1498 
     | 
    
         
             
                --button-danger-shadow-selected: inset 0px 1px 0px 0px #43001133;
         
     | 
| 
       1501 
1499 
     | 
    
         
             
                --button-inactive-fgColor: var(--base-color-neutral-10);
         
     | 
| 
         @@ -1503,10 +1501,9 @@ 
     | 
|
| 
       1503 
1501 
     | 
    
         
             
                --button-invisible-borderColor-disabled: var(--base-color-transparent);
         
     | 
| 
       1504 
1502 
     | 
    
         
             
                --button-invisible-fgColor-hover: var(--base-color-neutral-11);
         
     | 
| 
       1505 
1503 
     | 
    
         
             
                --button-invisible-iconColor-hover: var(--base-color-neutral-11);
         
     | 
| 
      
 1504 
     | 
    
         
            +
                --button-outline-borderColor-hover: var(--base-color-blue-7);
         
     | 
| 
       1506 
1505 
     | 
    
         
             
                --button-outline-shadow-selected: inset 0px 1px 0px 0px #021a4a33;
         
     | 
| 
       1507 
1506 
     | 
    
         
             
                --button-primary-bgColor-rest: var(--base-color-green-5);
         
     | 
| 
       1508 
     | 
    
         
            -
                --button-primary-borderColor-active: var(--base-color-green-7);
         
     | 
| 
       1509 
     | 
    
         
            -
                --button-primary-borderColor-hover: var(--base-color-green-7);
         
     | 
| 
       1510 
1507 
     | 
    
         
             
                --button-primary-borderColor-rest: var(--base-color-green-7);
         
     | 
| 
       1511 
1508 
     | 
    
         
             
                --button-primary-shadow-selected: inset 0px 1px 0px 0px #00230b4d;
         
     | 
| 
       1512 
1509 
     | 
    
         
             
                --button-star-iconColor: var(--base-color-yellow-2);
         
     | 
| 
         @@ -1561,16 +1558,11 @@ 
     | 
|
| 
       1561 
1558 
     | 
    
         
             
                --color-prettylights-syntax-string-regexp: var(--base-color-green-6);
         
     | 
| 
       1562 
1559 
     | 
    
         
             
                --color-prettylights-syntax-sublimelinter-gutter-mark: var(--base-color-neutral-8);
         
     | 
| 
       1563 
1560 
     | 
    
         
             
                --color-prettylights-syntax-variable: var(--base-color-orange-6);
         
     | 
| 
       1564 
     | 
    
         
            -
                --contribution-default-bgColor-0: var(--base-color-neutral-2);
         
     | 
| 
       1565 
1561 
     | 
    
         
             
                --contribution-default-bgColor-1: var(--base-color-green-1);
         
     | 
| 
       1566 
1562 
     | 
    
         
             
                --contribution-default-bgColor-2: var(--base-color-green-3);
         
     | 
| 
       1567 
1563 
     | 
    
         
             
                --contribution-default-bgColor-3: var(--base-color-green-4);
         
     | 
| 
       1568 
1564 
     | 
    
         
             
                --contribution-default-bgColor-4: var(--base-color-green-6);
         
     | 
| 
       1569 
     | 
    
         
            -
                --contribution-default-borderColor-0:  
     | 
| 
       1570 
     | 
    
         
            -
                --contribution-default-borderColor-1: #0104090d;
         
     | 
| 
       1571 
     | 
    
         
            -
                --contribution-default-borderColor-2: #0104090d;
         
     | 
| 
       1572 
     | 
    
         
            -
                --contribution-default-borderColor-3: #0104090d;
         
     | 
| 
       1573 
     | 
    
         
            -
                --contribution-default-borderColor-4: #0104090d;
         
     | 
| 
      
 1565 
     | 
    
         
            +
                --contribution-default-borderColor-0: var(--base-color-black);
         
     | 
| 
       1574 
1566 
     | 
    
         
             
                --contribution-halloween-bgColor-1: var(--base-display-color-lemon-1);
         
     | 
| 
       1575 
1567 
     | 
    
         
             
                --contribution-halloween-bgColor-2: var(--base-display-color-yellow-1);
         
     | 
| 
       1576 
1568 
     | 
    
         
             
                --contribution-halloween-bgColor-3: var(--base-display-color-orange-3);
         
     | 
| 
         @@ -2058,7 +2050,6 @@ 
     | 
|
| 
       2058 
2050 
     | 
    
         
             
                --treeViewItem-leadingVisual-iconColor-rest: var(--base-color-blue-3);
         
     | 
| 
       2059 
2051 
     | 
    
         
             
                --underlineNav-borderColor-active: var(--base-color-coral-3);
         
     | 
| 
       2060 
2052 
     | 
    
         
             
                --avatar-bgColor: var(--base-color-neutral-0);
         
     | 
| 
       2061 
     | 
    
         
            -
                --avatar-borderColor: #010409e6;
         
     | 
| 
       2062 
2053 
     | 
    
         
             
                --avatar-shadow: 0px 0px 0px 2px #ffffffcc;
         
     | 
| 
       2063 
2054 
     | 
    
         
             
                --base-color-inset: var(--base-color-neutral-0);
         
     | 
| 
       2064 
2055 
     | 
    
         
             
                --bgColor-black: var(--base-color-neutral-13);
         
     | 
| 
         @@ -2096,6 +2087,7 @@ 
     | 
|
| 
       2096 
2087 
     | 
    
         
             
                --borderColor-open-muted: var(--borderColor-success-muted);
         
     | 
| 
       2097 
2088 
     | 
    
         
             
                --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       2098 
2089 
     | 
    
         
             
                --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 2090 
     | 
    
         
            +
                --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       2099 
2091 
     | 
    
         
             
                --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       2100 
2092 
     | 
    
         
             
                --button-danger-borderColor-active: var(--button-danger-borderColor-hover);
         
     | 
| 
       2101 
2093 
     | 
    
         
             
                --button-danger-fgColor-active: var(--base-color-neutral-0);
         
     | 
| 
         @@ -2103,7 +2095,6 @@ 
     | 
|
| 
       2103 
2095 
     | 
    
         
             
                --button-danger-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       2104 
2096 
     | 
    
         
             
                --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       2105 
2097 
     | 
    
         
             
                --button-danger-iconColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       2106 
     | 
    
         
            -
                --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       2107 
2098 
     | 
    
         
             
                --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       2108 
2099 
     | 
    
         
             
                --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       2109 
2100 
     | 
    
         
             
                --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -2120,17 +2111,20 @@ 
     | 
|
| 
       2120 
2111 
     | 
    
         
             
                --button-invisible-iconColor-rest: var(--fgColor-muted);
         
     | 
| 
       2121 
2112 
     | 
    
         
             
                --button-outline-bgColor-hover: var(--bgColor-accent-emphasis);
         
     | 
| 
       2122 
2113 
     | 
    
         
             
                --button-outline-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       2123 
     | 
    
         
            -
                --button-outline-borderColor- 
     | 
| 
      
 2114 
     | 
    
         
            +
                --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
         
     | 
| 
       2124 
2115 
     | 
    
         
             
                --button-outline-fgColor-active: var(--base-color-neutral-0);
         
     | 
| 
       2125 
2116 
     | 
    
         
             
                --button-outline-fgColor-disabled: #023b9580;
         
     | 
| 
       2126 
2117 
     | 
    
         
             
                --button-outline-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       2127 
2118 
     | 
    
         
             
                --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
      
 2119 
     | 
    
         
            +
                --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 2120 
     | 
    
         
            +
                --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       2128 
2121 
     | 
    
         
             
                --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       2129 
2122 
     | 
    
         
             
                --buttonCounter-danger-bgColor-disabled: #a0111f0d;
         
     | 
| 
       2130 
2123 
     | 
    
         
             
                --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
       2131 
2124 
     | 
    
         
             
                --buttonCounter-danger-bgColor-rest: #a0111f1a;
         
     | 
| 
       2132 
2125 
     | 
    
         
             
                --buttonCounter-danger-fgColor-disabled: #86061d80;
         
     | 
| 
       2133 
2126 
     | 
    
         
             
                --buttonCounter-danger-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
      
 2127 
     | 
    
         
            +
                --buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       2134 
2128 
     | 
    
         
             
                --buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
         
     | 
| 
       2135 
2129 
     | 
    
         
             
                --buttonCounter-outline-bgColor-disabled: #0349b40d;
         
     | 
| 
       2136 
2130 
     | 
    
         
             
                --buttonCounter-outline-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -2146,6 +2140,11 @@ 
     | 
|
| 
       2146 
2140 
     | 
    
         
             
                --color-prettylights-syntax-markup-bold: var(--base-color-neutral-13);
         
     | 
| 
       2147 
2141 
     | 
    
         
             
                --color-prettylights-syntax-markup-italic: var(--base-color-neutral-13);
         
     | 
| 
       2148 
2142 
     | 
    
         
             
                --color-prettylights-syntax-storage-modifier-import: var(--base-color-neutral-13);
         
     | 
| 
      
 2143 
     | 
    
         
            +
                --contribution-default-bgColor-0: var(--base-color-neutral-0);
         
     | 
| 
      
 2144 
     | 
    
         
            +
                --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2145 
     | 
    
         
            +
                --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2146 
     | 
    
         
            +
                --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2147 
     | 
    
         
            +
                --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       2149 
2148 
     | 
    
         
             
                --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       2150 
2149 
     | 
    
         
             
                --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       2151 
2150 
     | 
    
         
             
                --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -2200,6 +2199,7 @@ 
     | 
|
| 
       2200 
2199 
     | 
    
         
             
                --tooltip-bgColor: var(--bgColor-emphasis);
         
     | 
| 
       2201 
2200 
     | 
    
         
             
                --topicTag-borderColor: var(--borderColor-accent-emphasis);
         
     | 
| 
       2202 
2201 
     | 
    
         
             
                --underlineNav-iconColor-rest: var(--fgColor-muted);
         
     | 
| 
      
 2202 
     | 
    
         
            +
                --avatar-borderColor: var(--borderColor-emphasis);
         
     | 
| 
       2203 
2203 
     | 
    
         
             
                --border-closed-emphasis: var(--border-danger-emphasis);
         
     | 
| 
       2204 
2204 
     | 
    
         
             
                --border-closed-muted: var(--border-danger-muted);
         
     | 
| 
       2205 
2205 
     | 
    
         
             
                --border-emphasis: 0.0625rem solid #454c54;
         
     | 
| 
         @@ -2211,6 +2211,7 @@ 
     | 
|
| 
       2211 
2211 
     | 
    
         
             
                --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       2212 
2212 
     | 
    
         
             
                --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       2213 
2213 
     | 
    
         
             
                --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
      
 2214 
     | 
    
         
            +
                --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       2214 
2215 
     | 
    
         
             
                --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       2215 
2216 
     | 
    
         
             
                --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
       2216 
2217 
     | 
    
         
             
                --button-default-borderColor-disabled: var(--control-borderColor-disabled);
         
     | 
| 
         @@ -2219,7 +2220,6 @@ 
     | 
|
| 
       2219 
2220 
     | 
    
         
             
                --button-invisible-fgColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       2220 
2221 
     | 
    
         
             
                --button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       2221 
2222 
     | 
    
         
             
                --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       2222 
     | 
    
         
            -
                --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
         
     | 
| 
       2223 
2223 
     | 
    
         
             
                --button-primary-fgColor-rest: var(--fgColor-white);
         
     | 
| 
       2224 
2224 
     | 
    
         
             
                --button-primary-iconColor-rest: #ffffffcc;
         
     | 
| 
       2225 
2225 
     | 
    
         
             
                --card-bgColor: var(--bgColor-default);
         
     |