@primer/primitives 10.8.0-rc.f296f65b → 11.0.0-rc.56d48488
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 +30 -30
 - 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 +30 -30
 - package/dist/css/functional/themes/dark.css +30 -30
 - 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 +43194 -0
 - package/dist/docs/functional/themes/dark-colorblind.json +7878 -648
 - package/dist/docs/functional/themes/dark-dimmed-high-contrast.json +43188 -0
 - package/dist/docs/functional/themes/dark-dimmed.json +7797 -565
 - package/dist/docs/functional/themes/dark-high-contrast.json +7751 -523
 - package/dist/docs/functional/themes/dark-tritanopia-high-contrast.json +43192 -0
 - package/dist/docs/functional/themes/dark-tritanopia.json +7878 -648
 - package/dist/docs/functional/themes/dark.json +7878 -648
 - package/dist/docs/functional/themes/light-colorblind-high-contrast.json +43154 -0
 - package/dist/docs/functional/themes/light-colorblind.json +7744 -512
 - package/dist/docs/functional/themes/light-high-contrast.json +7760 -532
 - package/dist/docs/functional/themes/light-tritanopia-high-contrast.json +43154 -0
 - package/dist/docs/functional/themes/light-tritanopia.json +7742 -510
 - package/dist/docs/functional/themes/light.json +7742 -510
 - 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 +45 -49
 - 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 +45 -49
 - package/dist/figma/themes/dark.json +45 -49
 - 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 +30 -30
 - 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 +30 -30
 - package/dist/internalCss/dark.css +30 -30
 - 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 +43194 -0
 - package/dist/styleLint/functional/themes/dark-colorblind.json +7877 -647
 - package/dist/styleLint/functional/themes/dark-dimmed-high-contrast.json +43188 -0
 - package/dist/styleLint/functional/themes/dark-dimmed.json +7797 -565
 - package/dist/styleLint/functional/themes/dark-high-contrast.json +7751 -523
 - package/dist/styleLint/functional/themes/dark-tritanopia-high-contrast.json +43192 -0
 - package/dist/styleLint/functional/themes/dark-tritanopia.json +7877 -647
 - package/dist/styleLint/functional/themes/dark.json +7877 -647
 - package/dist/styleLint/functional/themes/light-colorblind-high-contrast.json +43154 -0
 - package/dist/styleLint/functional/themes/light-colorblind.json +7744 -512
 - package/dist/styleLint/functional/themes/light-high-contrast.json +7760 -532
 - package/dist/styleLint/functional/themes/light-tritanopia-high-contrast.json +43154 -0
 - package/dist/styleLint/functional/themes/light-tritanopia.json +7742 -510
 - package/dist/styleLint/functional/themes/light.json +7742 -510
 - 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 +344 -1
 - package/src/tokens/functional/color/display.json5 +1334 -1239
 - package/src/tokens/functional/color/fgColor.json5 +77 -18
 - package/src/tokens/functional/color/syntax.json5 +44 -2
 
| 
         @@ -296,7 +296,6 @@ 
     | 
|
| 
       296 
296 
     | 
    
         
             
              --borderWidth-thick: 0.125rem;
         
     | 
| 
       297 
297 
     | 
    
         
             
              --borderWidth-thicker: 0.25rem;
         
     | 
| 
       298 
298 
     | 
    
         
             
              --borderWidth-thin: 0.0625rem;
         
     | 
| 
       299 
     | 
    
         
            -
              --button-danger-bgColor-active: #8b0820;
         
     | 
| 
       300 
299 
     | 
    
         
             
              --button-outline-bgColor-active: #0757ba;
         
     | 
| 
       301 
300 
     | 
    
         
             
              --button-primary-bgColor-active: #075fc8;
         
     | 
| 
       302 
301 
     | 
    
         
             
              --button-primary-bgColor-disabled: #92caff;
         
     | 
| 
         @@ -363,10 +362,9 @@ 
     | 
|
| 
       363 
362 
     | 
    
         
             
              --boxShadow-thick: inset 0 0 0 var(--borderWidth-thick);
         
     | 
| 
       364 
363 
     | 
    
         
             
              --boxShadow-thicker: inset 0 0 0 var(--borderWidth-thicker);
         
     | 
| 
       365 
364 
     | 
    
         
             
              --boxShadow-thin: inset 0 0 0 var(--borderWidth-thin); /** Thin shadow for borders */
         
     | 
| 
       366 
     | 
    
         
            -
              --button-danger-bgColor- 
     | 
| 
      
 365 
     | 
    
         
            +
              --button-danger-bgColor-active: var(--base-color-red-6);
         
     | 
| 
       367 
366 
     | 
    
         
             
              --button-danger-fgColor-disabled: #d1242f80;
         
     | 
| 
       368 
367 
     | 
    
         
             
              --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       369 
     | 
    
         
            -
              --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       370 
368 
     | 
    
         
             
              --button-danger-shadow-selected: inset 0px 1px 0px 0px #4c001433;
         
     | 
| 
       371 
369 
     | 
    
         
             
              --button-inactive-bgColor: var(--base-color-neutral-3);
         
     | 
| 
       372 
370 
     | 
    
         
             
              --button-inactive-fgColor: var(--base-color-neutral-9);
         
     | 
| 
         @@ -433,10 +431,6 @@ 
     | 
|
| 
       433 
431 
     | 
    
         
             
              --contribution-default-bgColor-3: var(--base-color-green-4);
         
     | 
| 
       434 
432 
     | 
    
         
             
              --contribution-default-bgColor-4: var(--base-color-green-6);
         
     | 
| 
       435 
433 
     | 
    
         
             
              --contribution-default-borderColor-0: #1f23280d;
         
     | 
| 
       436 
     | 
    
         
            -
              --contribution-default-borderColor-1: #1f23280d;
         
     | 
| 
       437 
     | 
    
         
            -
              --contribution-default-borderColor-2: #1f23280d;
         
     | 
| 
       438 
     | 
    
         
            -
              --contribution-default-borderColor-3: #1f23280d;
         
     | 
| 
       439 
     | 
    
         
            -
              --contribution-default-borderColor-4: #1f23280d;
         
     | 
| 
       440 
434 
     | 
    
         
             
              --contribution-halloween-bgColor-1: var(--base-display-color-lemon-1);
         
     | 
| 
       441 
435 
     | 
    
         
             
              --contribution-halloween-bgColor-2: var(--base-display-color-yellow-1);
         
     | 
| 
       442 
436 
     | 
    
         
             
              --contribution-halloween-bgColor-3: var(--base-display-color-orange-3);
         
     | 
| 
         @@ -968,10 +962,12 @@ 
     | 
|
| 
       968 
962 
     | 
    
         
             
              --borderColor-translucent: #1f232826;
         
     | 
| 
       969 
963 
     | 
    
         
             
              --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       970 
964 
     | 
    
         
             
              --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 965 
     | 
    
         
            +
              --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       971 
966 
     | 
    
         
             
              --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       972 
967 
     | 
    
         
             
              --button-danger-fgColor-active: var(--base-color-neutral-0);
         
     | 
| 
       973 
968 
     | 
    
         
             
              --button-danger-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       974 
969 
     | 
    
         
             
              --button-danger-iconColor-hover: var(--base-color-neutral-0);
         
     | 
| 
      
 970 
     | 
    
         
            +
              --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       975 
971 
     | 
    
         
             
              --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       976 
972 
     | 
    
         
             
              --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       977 
973 
     | 
    
         
             
              --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -995,7 +991,6 @@ 
     | 
|
| 
       995 
991 
     | 
    
         
             
              --button-outline-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       996 
992 
     | 
    
         
             
              --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
       997 
993 
     | 
    
         
             
              --button-primary-bgColor-rest: var(--bgColor-success-emphasis);
         
     | 
| 
       998 
     | 
    
         
            -
              --button-primary-borderColor-rest: #1f232826;
         
     | 
| 
       999 
994 
     | 
    
         
             
              --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       1000 
995 
     | 
    
         
             
              --buttonCounter-danger-bgColor-disabled: #cf222e0d;
         
     | 
| 
       1001 
996 
     | 
    
         
             
              --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -1017,6 +1012,10 @@ 
     | 
|
| 
       1017 
1012 
     | 
    
         
             
              --color-prettylights-syntax-markup-bold: var(--base-color-neutral-13);
         
     | 
| 
       1018 
1013 
     | 
    
         
             
              --color-prettylights-syntax-markup-italic: var(--base-color-neutral-13);
         
     | 
| 
       1019 
1014 
     | 
    
         
             
              --color-prettylights-syntax-storage-modifier-import: var(--base-color-neutral-13);
         
     | 
| 
      
 1015 
     | 
    
         
            +
              --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1016 
     | 
    
         
            +
              --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1017 
     | 
    
         
            +
              --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1018 
     | 
    
         
            +
              --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       1020 
1019 
     | 
    
         
             
              --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       1021 
1020 
     | 
    
         
             
              --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       1022 
1021 
     | 
    
         
             
              --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -1077,7 +1076,6 @@ 
     | 
|
| 
       1077 
1076 
     | 
    
         
             
              --border-upsell-muted: 0.0625rem solid #c297ff66;
         
     | 
| 
       1078 
1077 
     | 
    
         
             
              --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       1079 
1078 
     | 
    
         
             
              --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1080 
     | 
    
         
            -
              --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1081 
1079 
     | 
    
         
             
              --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
       1082 
1080 
     | 
    
         
             
              --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1083 
1081 
     | 
    
         
             
              --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
         @@ -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_tritanopia"],
         
     | 
| 
       1136 
     | 
    
         
            -
              [data-color-mode="auto"][data-dark-theme="light_tritanopia"] ::backdrop {
         
     | 
| 
      
 1135 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light_tritanopia"],
         
     | 
| 
      
 1136 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light_tritanopia"] ::backdrop {
         
     | 
| 
       1137 
1137 
     | 
    
         
             
                --base-color-black: #1f2328;
         
     | 
| 
       1138 
1138 
     | 
    
         
             
                --base-color-blue-0: #ddf4ff;
         
     | 
| 
       1139 
1139 
     | 
    
         
             
                --base-color-blue-1: #b6e3ff;
         
     | 
| 
         @@ -1428,7 +1428,6 @@ 
     | 
|
| 
       1428 
1428 
     | 
    
         
             
                --borderWidth-thick: 0.125rem;
         
     | 
| 
       1429 
1429 
     | 
    
         
             
                --borderWidth-thicker: 0.25rem;
         
     | 
| 
       1430 
1430 
     | 
    
         
             
                --borderWidth-thin: 0.0625rem;
         
     | 
| 
       1431 
     | 
    
         
            -
                --button-danger-bgColor-active: #8b0820;
         
     | 
| 
       1432 
1431 
     | 
    
         
             
                --button-outline-bgColor-active: #0757ba;
         
     | 
| 
       1433 
1432 
     | 
    
         
             
                --button-primary-bgColor-active: #075fc8;
         
     | 
| 
       1434 
1433 
     | 
    
         
             
                --button-primary-bgColor-disabled: #92caff;
         
     | 
| 
         @@ -1495,10 +1494,9 @@ 
     | 
|
| 
       1495 
1494 
     | 
    
         
             
                --boxShadow-thick: inset 0 0 0 var(--borderWidth-thick);
         
     | 
| 
       1496 
1495 
     | 
    
         
             
                --boxShadow-thicker: inset 0 0 0 var(--borderWidth-thicker);
         
     | 
| 
       1497 
1496 
     | 
    
         
             
                --boxShadow-thin: inset 0 0 0 var(--borderWidth-thin); /** Thin shadow for borders */
         
     | 
| 
       1498 
     | 
    
         
            -
                --button-danger-bgColor- 
     | 
| 
      
 1497 
     | 
    
         
            +
                --button-danger-bgColor-active: var(--base-color-red-6);
         
     | 
| 
       1499 
1498 
     | 
    
         
             
                --button-danger-fgColor-disabled: #d1242f80;
         
     | 
| 
       1500 
1499 
     | 
    
         
             
                --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       1501 
     | 
    
         
            -
                --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       1502 
1500 
     | 
    
         
             
                --button-danger-shadow-selected: inset 0px 1px 0px 0px #4c001433;
         
     | 
| 
       1503 
1501 
     | 
    
         
             
                --button-inactive-bgColor: var(--base-color-neutral-3);
         
     | 
| 
       1504 
1502 
     | 
    
         
             
                --button-inactive-fgColor: var(--base-color-neutral-9);
         
     | 
| 
         @@ -1565,10 +1563,6 @@ 
     | 
|
| 
       1565 
1563 
     | 
    
         
             
                --contribution-default-bgColor-3: var(--base-color-green-4);
         
     | 
| 
       1566 
1564 
     | 
    
         
             
                --contribution-default-bgColor-4: var(--base-color-green-6);
         
     | 
| 
       1567 
1565 
     | 
    
         
             
                --contribution-default-borderColor-0: #1f23280d;
         
     | 
| 
       1568 
     | 
    
         
            -
                --contribution-default-borderColor-1: #1f23280d;
         
     | 
| 
       1569 
     | 
    
         
            -
                --contribution-default-borderColor-2: #1f23280d;
         
     | 
| 
       1570 
     | 
    
         
            -
                --contribution-default-borderColor-3: #1f23280d;
         
     | 
| 
       1571 
     | 
    
         
            -
                --contribution-default-borderColor-4: #1f23280d;
         
     | 
| 
       1572 
1566 
     | 
    
         
             
                --contribution-halloween-bgColor-1: var(--base-display-color-lemon-1);
         
     | 
| 
       1573 
1567 
     | 
    
         
             
                --contribution-halloween-bgColor-2: var(--base-display-color-yellow-1);
         
     | 
| 
       1574 
1568 
     | 
    
         
             
                --contribution-halloween-bgColor-3: var(--base-display-color-orange-3);
         
     | 
| 
         @@ -2100,10 +2094,12 @@ 
     | 
|
| 
       2100 
2094 
     | 
    
         
             
                --borderColor-translucent: #1f232826;
         
     | 
| 
       2101 
2095 
     | 
    
         
             
                --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       2102 
2096 
     | 
    
         
             
                --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 2097 
     | 
    
         
            +
                --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       2103 
2098 
     | 
    
         
             
                --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       2104 
2099 
     | 
    
         
             
                --button-danger-fgColor-active: var(--base-color-neutral-0);
         
     | 
| 
       2105 
2100 
     | 
    
         
             
                --button-danger-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       2106 
2101 
     | 
    
         
             
                --button-danger-iconColor-hover: var(--base-color-neutral-0);
         
     | 
| 
      
 2102 
     | 
    
         
            +
                --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       2107 
2103 
     | 
    
         
             
                --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       2108 
2104 
     | 
    
         
             
                --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       2109 
2105 
     | 
    
         
             
                --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -2127,7 +2123,6 @@ 
     | 
|
| 
       2127 
2123 
     | 
    
         
             
                --button-outline-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       2128 
2124 
     | 
    
         
             
                --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
       2129 
2125 
     | 
    
         
             
                --button-primary-bgColor-rest: var(--bgColor-success-emphasis);
         
     | 
| 
       2130 
     | 
    
         
            -
                --button-primary-borderColor-rest: #1f232826;
         
     | 
| 
       2131 
2126 
     | 
    
         
             
                --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       2132 
2127 
     | 
    
         
             
                --buttonCounter-danger-bgColor-disabled: #cf222e0d;
         
     | 
| 
       2133 
2128 
     | 
    
         
             
                --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -2149,6 +2144,10 @@ 
     | 
|
| 
       2149 
2144 
     | 
    
         
             
                --color-prettylights-syntax-markup-bold: var(--base-color-neutral-13);
         
     | 
| 
       2150 
2145 
     | 
    
         
             
                --color-prettylights-syntax-markup-italic: var(--base-color-neutral-13);
         
     | 
| 
       2151 
2146 
     | 
    
         
             
                --color-prettylights-syntax-storage-modifier-import: var(--base-color-neutral-13);
         
     | 
| 
      
 2147 
     | 
    
         
            +
                --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2148 
     | 
    
         
            +
                --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2149 
     | 
    
         
            +
                --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2150 
     | 
    
         
            +
                --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       2152 
2151 
     | 
    
         
             
                --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       2153 
2152 
     | 
    
         
             
                --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       2154 
2153 
     | 
    
         
             
                --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -2209,7 +2208,6 @@ 
     | 
|
| 
       2209 
2208 
     | 
    
         
             
                --border-upsell-muted: 0.0625rem solid #c297ff66;
         
     | 
| 
       2210 
2209 
     | 
    
         
             
                --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       2211 
2210 
     | 
    
         
             
                --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       2212 
     | 
    
         
            -
                --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       2213 
2211 
     | 
    
         
             
                --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
       2214 
2212 
     | 
    
         
             
                --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       2215 
2213 
     | 
    
         
             
                --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
         @@ -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 
     | 
    
         
             
            }
         
     | 
| 
         @@ -297,7 +297,6 @@ 
     | 
|
| 
       297 
297 
     | 
    
         
             
              --borderWidth-thick: 0.125rem;
         
     | 
| 
       298 
298 
     | 
    
         
             
              --borderWidth-thicker: 0.25rem;
         
     | 
| 
       299 
299 
     | 
    
         
             
              --borderWidth-thin: 0.0625rem;
         
     | 
| 
       300 
     | 
    
         
            -
              --button-danger-bgColor-active: #8b0820;
         
     | 
| 
       301 
300 
     | 
    
         
             
              --button-outline-bgColor-active: #0757ba;
         
     | 
| 
       302 
301 
     | 
    
         
             
              --button-primary-bgColor-active: #197935;
         
     | 
| 
       303 
302 
     | 
    
         
             
              --button-primary-bgColor-disabled: #95d8a6;
         
     | 
| 
         @@ -360,10 +359,9 @@ 
     | 
|
| 
       360 
359 
     | 
    
         
             
              --boxShadow-thick: inset 0 0 0 var(--borderWidth-thick);
         
     | 
| 
       361 
360 
     | 
    
         
             
              --boxShadow-thicker: inset 0 0 0 var(--borderWidth-thicker);
         
     | 
| 
       362 
361 
     | 
    
         
             
              --boxShadow-thin: inset 0 0 0 var(--borderWidth-thin); /** Thin shadow for borders */
         
     | 
| 
       363 
     | 
    
         
            -
              --button-danger-bgColor- 
     | 
| 
      
 362 
     | 
    
         
            +
              --button-danger-bgColor-active: var(--base-color-red-6);
         
     | 
| 
       364 
363 
     | 
    
         
             
              --button-danger-fgColor-disabled: #d1242f80;
         
     | 
| 
       365 
364 
     | 
    
         
             
              --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       366 
     | 
    
         
            -
              --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       367 
365 
     | 
    
         
             
              --button-danger-shadow-selected: inset 0px 1px 0px 0px #4c001433;
         
     | 
| 
       368 
366 
     | 
    
         
             
              --button-inactive-bgColor: var(--base-color-neutral-3);
         
     | 
| 
       369 
367 
     | 
    
         
             
              --button-inactive-fgColor: var(--base-color-neutral-9);
         
     | 
| 
         @@ -431,10 +429,6 @@ 
     | 
|
| 
       431 
429 
     | 
    
         
             
              --contribution-default-bgColor-3: var(--base-color-green-4);
         
     | 
| 
       432 
430 
     | 
    
         
             
              --contribution-default-bgColor-4: var(--base-color-green-6);
         
     | 
| 
       433 
431 
     | 
    
         
             
              --contribution-default-borderColor-0: #1f23280d;
         
     | 
| 
       434 
     | 
    
         
            -
              --contribution-default-borderColor-1: #1f23280d;
         
     | 
| 
       435 
     | 
    
         
            -
              --contribution-default-borderColor-2: #1f23280d;
         
     | 
| 
       436 
     | 
    
         
            -
              --contribution-default-borderColor-3: #1f23280d;
         
     | 
| 
       437 
     | 
    
         
            -
              --contribution-default-borderColor-4: #1f23280d;
         
     | 
| 
       438 
432 
     | 
    
         
             
              --contribution-halloween-bgColor-1: var(--base-display-color-lemon-1);
         
     | 
| 
       439 
433 
     | 
    
         
             
              --contribution-halloween-bgColor-2: var(--base-display-color-yellow-1);
         
     | 
| 
       440 
434 
     | 
    
         
             
              --contribution-halloween-bgColor-3: var(--base-display-color-orange-3);
         
     | 
| 
         @@ -967,10 +961,12 @@ 
     | 
|
| 
       967 
961 
     | 
    
         
             
              --borderColor-translucent: #1f232826;
         
     | 
| 
       968 
962 
     | 
    
         
             
              --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       969 
963 
     | 
    
         
             
              --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 964 
     | 
    
         
            +
              --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       970 
965 
     | 
    
         
             
              --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       971 
966 
     | 
    
         
             
              --button-danger-fgColor-active: var(--base-color-neutral-0);
         
     | 
| 
       972 
967 
     | 
    
         
             
              --button-danger-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       973 
968 
     | 
    
         
             
              --button-danger-iconColor-hover: var(--base-color-neutral-0);
         
     | 
| 
      
 969 
     | 
    
         
            +
              --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       974 
970 
     | 
    
         
             
              --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       975 
971 
     | 
    
         
             
              --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       976 
972 
     | 
    
         
             
              --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -993,7 +989,6 @@ 
     | 
|
| 
       993 
989 
     | 
    
         
             
              --button-outline-fgColor-disabled: #0969da80;
         
     | 
| 
       994 
990 
     | 
    
         
             
              --button-outline-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       995 
991 
     | 
    
         
             
              --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
       996 
     | 
    
         
            -
              --button-primary-borderColor-rest: #1f232826;
         
     | 
| 
       997 
992 
     | 
    
         
             
              --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       998 
993 
     | 
    
         
             
              --buttonCounter-danger-bgColor-disabled: #cf222e0d;
         
     | 
| 
       999 
994 
     | 
    
         
             
              --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -1015,6 +1010,10 @@ 
     | 
|
| 
       1015 
1010 
     | 
    
         
             
              --color-prettylights-syntax-markup-bold: var(--base-color-neutral-13);
         
     | 
| 
       1016 
1011 
     | 
    
         
             
              --color-prettylights-syntax-markup-italic: var(--base-color-neutral-13);
         
     | 
| 
       1017 
1012 
     | 
    
         
             
              --color-prettylights-syntax-storage-modifier-import: var(--base-color-neutral-13);
         
     | 
| 
      
 1013 
     | 
    
         
            +
              --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1014 
     | 
    
         
            +
              --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1015 
     | 
    
         
            +
              --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1016 
     | 
    
         
            +
              --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       1018 
1017 
     | 
    
         
             
              --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       1019 
1018 
     | 
    
         
             
              --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       1020 
1019 
     | 
    
         
             
              --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -1077,7 +1076,6 @@ 
     | 
|
| 
       1077 
1076 
     | 
    
         
             
              --border-upsell-muted: 0.0625rem solid #c297ff66;
         
     | 
| 
       1078 
1077 
     | 
    
         
             
              --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       1079 
1078 
     | 
    
         
             
              --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1080 
     | 
    
         
            -
              --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1081 
1079 
     | 
    
         
             
              --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
       1082 
1080 
     | 
    
         
             
              --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1083 
1081 
     | 
    
         
             
              --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
         @@ -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"],
         
     | 
| 
       1136 
     | 
    
         
            -
              [data-color-mode="auto"][data-dark-theme="light"] ::backdrop {
         
     | 
| 
      
 1135 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light"],
         
     | 
| 
      
 1136 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light"] ::backdrop {
         
     | 
| 
       1137 
1137 
     | 
    
         
             
                --base-color-black: #1f2328;
         
     | 
| 
       1138 
1138 
     | 
    
         
             
                --base-color-blue-0: #ddf4ff;
         
     | 
| 
       1139 
1139 
     | 
    
         
             
                --base-color-blue-1: #b6e3ff;
         
     | 
| 
         @@ -1429,7 +1429,6 @@ 
     | 
|
| 
       1429 
1429 
     | 
    
         
             
                --borderWidth-thick: 0.125rem;
         
     | 
| 
       1430 
1430 
     | 
    
         
             
                --borderWidth-thicker: 0.25rem;
         
     | 
| 
       1431 
1431 
     | 
    
         
             
                --borderWidth-thin: 0.0625rem;
         
     | 
| 
       1432 
     | 
    
         
            -
                --button-danger-bgColor-active: #8b0820;
         
     | 
| 
       1433 
1432 
     | 
    
         
             
                --button-outline-bgColor-active: #0757ba;
         
     | 
| 
       1434 
1433 
     | 
    
         
             
                --button-primary-bgColor-active: #197935;
         
     | 
| 
       1435 
1434 
     | 
    
         
             
                --button-primary-bgColor-disabled: #95d8a6;
         
     | 
| 
         @@ -1492,10 +1491,9 @@ 
     | 
|
| 
       1492 
1491 
     | 
    
         
             
                --boxShadow-thick: inset 0 0 0 var(--borderWidth-thick);
         
     | 
| 
       1493 
1492 
     | 
    
         
             
                --boxShadow-thicker: inset 0 0 0 var(--borderWidth-thicker);
         
     | 
| 
       1494 
1493 
     | 
    
         
             
                --boxShadow-thin: inset 0 0 0 var(--borderWidth-thin); /** Thin shadow for borders */
         
     | 
| 
       1495 
     | 
    
         
            -
                --button-danger-bgColor- 
     | 
| 
      
 1494 
     | 
    
         
            +
                --button-danger-bgColor-active: var(--base-color-red-6);
         
     | 
| 
       1496 
1495 
     | 
    
         
             
                --button-danger-fgColor-disabled: #d1242f80;
         
     | 
| 
       1497 
1496 
     | 
    
         
             
                --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       1498 
     | 
    
         
            -
                --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       1499 
1497 
     | 
    
         
             
                --button-danger-shadow-selected: inset 0px 1px 0px 0px #4c001433;
         
     | 
| 
       1500 
1498 
     | 
    
         
             
                --button-inactive-bgColor: var(--base-color-neutral-3);
         
     | 
| 
       1501 
1499 
     | 
    
         
             
                --button-inactive-fgColor: var(--base-color-neutral-9);
         
     | 
| 
         @@ -1563,10 +1561,6 @@ 
     | 
|
| 
       1563 
1561 
     | 
    
         
             
                --contribution-default-bgColor-3: var(--base-color-green-4);
         
     | 
| 
       1564 
1562 
     | 
    
         
             
                --contribution-default-bgColor-4: var(--base-color-green-6);
         
     | 
| 
       1565 
1563 
     | 
    
         
             
                --contribution-default-borderColor-0: #1f23280d;
         
     | 
| 
       1566 
     | 
    
         
            -
                --contribution-default-borderColor-1: #1f23280d;
         
     | 
| 
       1567 
     | 
    
         
            -
                --contribution-default-borderColor-2: #1f23280d;
         
     | 
| 
       1568 
     | 
    
         
            -
                --contribution-default-borderColor-3: #1f23280d;
         
     | 
| 
       1569 
     | 
    
         
            -
                --contribution-default-borderColor-4: #1f23280d;
         
     | 
| 
       1570 
1564 
     | 
    
         
             
                --contribution-halloween-bgColor-1: var(--base-display-color-lemon-1);
         
     | 
| 
       1571 
1565 
     | 
    
         
             
                --contribution-halloween-bgColor-2: var(--base-display-color-yellow-1);
         
     | 
| 
       1572 
1566 
     | 
    
         
             
                --contribution-halloween-bgColor-3: var(--base-display-color-orange-3);
         
     | 
| 
         @@ -2099,10 +2093,12 @@ 
     | 
|
| 
       2099 
2093 
     | 
    
         
             
                --borderColor-translucent: #1f232826;
         
     | 
| 
       2100 
2094 
     | 
    
         
             
                --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       2101 
2095 
     | 
    
         
             
                --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 2096 
     | 
    
         
            +
                --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       2102 
2097 
     | 
    
         
             
                --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       2103 
2098 
     | 
    
         
             
                --button-danger-fgColor-active: var(--base-color-neutral-0);
         
     | 
| 
       2104 
2099 
     | 
    
         
             
                --button-danger-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       2105 
2100 
     | 
    
         
             
                --button-danger-iconColor-hover: var(--base-color-neutral-0);
         
     | 
| 
      
 2101 
     | 
    
         
            +
                --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       2106 
2102 
     | 
    
         
             
                --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       2107 
2103 
     | 
    
         
             
                --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       2108 
2104 
     | 
    
         
             
                --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -2125,7 +2121,6 @@ 
     | 
|
| 
       2125 
2121 
     | 
    
         
             
                --button-outline-fgColor-disabled: #0969da80;
         
     | 
| 
       2126 
2122 
     | 
    
         
             
                --button-outline-fgColor-hover: var(--base-color-neutral-0);
         
     | 
| 
       2127 
2123 
     | 
    
         
             
                --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
       2128 
     | 
    
         
            -
                --button-primary-borderColor-rest: #1f232826;
         
     | 
| 
       2129 
2124 
     | 
    
         
             
                --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       2130 
2125 
     | 
    
         
             
                --buttonCounter-danger-bgColor-disabled: #cf222e0d;
         
     | 
| 
       2131 
2126 
     | 
    
         
             
                --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -2147,6 +2142,10 @@ 
     | 
|
| 
       2147 
2142 
     | 
    
         
             
                --color-prettylights-syntax-markup-bold: var(--base-color-neutral-13);
         
     | 
| 
       2148 
2143 
     | 
    
         
             
                --color-prettylights-syntax-markup-italic: var(--base-color-neutral-13);
         
     | 
| 
       2149 
2144 
     | 
    
         
             
                --color-prettylights-syntax-storage-modifier-import: var(--base-color-neutral-13);
         
     | 
| 
      
 2145 
     | 
    
         
            +
                --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2146 
     | 
    
         
            +
                --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2147 
     | 
    
         
            +
                --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 2148 
     | 
    
         
            +
                --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       2150 
2149 
     | 
    
         
             
                --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       2151 
2150 
     | 
    
         
             
                --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       2152 
2151 
     | 
    
         
             
                --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -2209,7 +2208,6 @@ 
     | 
|
| 
       2209 
2208 
     | 
    
         
             
                --border-upsell-muted: 0.0625rem solid #c297ff66;
         
     | 
| 
       2210 
2209 
     | 
    
         
             
                --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       2211 
2210 
     | 
    
         
             
                --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       2212 
     | 
    
         
            -
                --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       2213 
2211 
     | 
    
         
             
                --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
       2214 
2212 
     | 
    
         
             
                --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       2215 
2213 
     | 
    
         
             
                --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
         @@ -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 
     | 
    
         
             
            }
         
     |