@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
 
| 
         @@ -2,7 +2,6 @@ 
     | 
|
| 
       2 
2 
     | 
    
         
             
            [data-color-mode="light"][data-light-theme="light_tritanopia"] ::backdrop,
         
     | 
| 
       3 
3 
     | 
    
         
             
            [data-color-mode="auto"][data-light-theme="light_tritanopia"],
         
     | 
| 
       4 
4 
     | 
    
         
             
            [data-color-mode="auto"][data-light-theme="light_tritanopia"] ::backdrop {
         
     | 
| 
       5 
     | 
    
         
            -
              --button-danger-bgColor-active: #8b0820;
         
     | 
| 
       6 
5 
     | 
    
         
             
              --button-outline-bgColor-active: #0757ba;
         
     | 
| 
       7 
6 
     | 
    
         
             
              --button-primary-bgColor-active: #075fc8;
         
     | 
| 
       8 
7 
     | 
    
         
             
              --button-primary-bgColor-disabled: #92caff;
         
     | 
| 
         @@ -60,10 +59,9 @@ 
     | 
|
| 
       60 
59 
     | 
    
         
             
              --borderColor-success-emphasis: #0969da;
         
     | 
| 
       61 
60 
     | 
    
         
             
              --borderColor-success-muted: #54aeff66;
         
     | 
| 
       62 
61 
     | 
    
         
             
              --borderColor-transparent: #ffffff00;
         
     | 
| 
       63 
     | 
    
         
            -
              --button-danger-bgColor- 
     | 
| 
      
 62 
     | 
    
         
            +
              --button-danger-bgColor-active: #a40e26;
         
     | 
| 
       64 
63 
     | 
    
         
             
              --button-danger-fgColor-disabled: #d1242f80;
         
     | 
| 
       65 
64 
     | 
    
         
             
              --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       66 
     | 
    
         
            -
              --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       67 
65 
     | 
    
         
             
              --button-danger-shadow-selected: inset 0px 1px 0px 0px #4c001433;
         
     | 
| 
       68 
66 
     | 
    
         
             
              --button-inactive-bgColor: #e6eaef;
         
     | 
| 
       69 
67 
     | 
    
         
             
              --button-inactive-fgColor: #59636e;
         
     | 
| 
         @@ -130,10 +128,6 @@ 
     | 
|
| 
       130 
128 
     | 
    
         
             
              --contribution-default-bgColor-3: #2da44e;
         
     | 
| 
       131 
129 
     | 
    
         
             
              --contribution-default-bgColor-4: #116329;
         
     | 
| 
       132 
130 
     | 
    
         
             
              --contribution-default-borderColor-0: #1f23280d;
         
     | 
| 
       133 
     | 
    
         
            -
              --contribution-default-borderColor-1: #1f23280d;
         
     | 
| 
       134 
     | 
    
         
            -
              --contribution-default-borderColor-2: #1f23280d;
         
     | 
| 
       135 
     | 
    
         
            -
              --contribution-default-borderColor-3: #1f23280d;
         
     | 
| 
       136 
     | 
    
         
            -
              --contribution-default-borderColor-4: #1f23280d;
         
     | 
| 
       137 
131 
     | 
    
         
             
              --contribution-halloween-bgColor-1: #f0db3d;
         
     | 
| 
       138 
132 
     | 
    
         
             
              --contribution-halloween-bgColor-2: #ffd642;
         
     | 
| 
       139 
133 
     | 
    
         
             
              --contribution-halloween-bgColor-3: #f68c41;
         
     | 
| 
         @@ -664,10 +658,12 @@ 
     | 
|
| 
       664 
658 
     | 
    
         
             
              --borderColor-translucent: #1f232826;
         
     | 
| 
       665 
659 
     | 
    
         
             
              --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       666 
660 
     | 
    
         
             
              --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 661 
     | 
    
         
            +
              --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       667 
662 
     | 
    
         
             
              --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       668 
663 
     | 
    
         
             
              --button-danger-fgColor-active: #ffffff;
         
     | 
| 
       669 
664 
     | 
    
         
             
              --button-danger-fgColor-hover: #ffffff;
         
     | 
| 
       670 
665 
     | 
    
         
             
              --button-danger-iconColor-hover: #ffffff;
         
     | 
| 
      
 666 
     | 
    
         
            +
              --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       671 
667 
     | 
    
         
             
              --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       672 
668 
     | 
    
         
             
              --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       673 
669 
     | 
    
         
             
              --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -691,7 +687,6 @@ 
     | 
|
| 
       691 
687 
     | 
    
         
             
              --button-outline-fgColor-hover: #ffffff;
         
     | 
| 
       692 
688 
     | 
    
         
             
              --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
       693 
689 
     | 
    
         
             
              --button-primary-bgColor-rest: var(--bgColor-success-emphasis);
         
     | 
| 
       694 
     | 
    
         
            -
              --button-primary-borderColor-rest: #1f232826;
         
     | 
| 
       695 
690 
     | 
    
         
             
              --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       696 
691 
     | 
    
         
             
              --buttonCounter-danger-bgColor-disabled: #cf222e0d;
         
     | 
| 
       697 
692 
     | 
    
         
             
              --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -713,6 +708,10 @@ 
     | 
|
| 
       713 
708 
     | 
    
         
             
              --color-prettylights-syntax-markup-bold: #1f2328;
         
     | 
| 
       714 
709 
     | 
    
         
             
              --color-prettylights-syntax-markup-italic: #1f2328;
         
     | 
| 
       715 
710 
     | 
    
         
             
              --color-prettylights-syntax-storage-modifier-import: #1f2328;
         
     | 
| 
      
 711 
     | 
    
         
            +
              --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 712 
     | 
    
         
            +
              --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 713 
     | 
    
         
            +
              --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 714 
     | 
    
         
            +
              --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       716 
715 
     | 
    
         
             
              --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       717 
716 
     | 
    
         
             
              --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       718 
717 
     | 
    
         
             
              --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -773,7 +772,6 @@ 
     | 
|
| 
       773 
772 
     | 
    
         
             
              --border-upsell-muted: 0.0625rem solid #c297ff66;
         
     | 
| 
       774 
773 
     | 
    
         
             
              --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       775 
774 
     | 
    
         
             
              --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       776 
     | 
    
         
            -
              --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       777 
775 
     | 
    
         
             
              --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
       778 
776 
     | 
    
         
             
              --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       779 
777 
     | 
    
         
             
              --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
         @@ -782,8 +780,7 @@ 
     | 
|
| 
       782 
780 
     | 
    
         
             
              --button-invisible-fgColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       783 
781 
     | 
    
         
             
              --button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       784 
782 
     | 
    
         
             
              --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       785 
     | 
    
         
            -
              --button-primary-borderColor- 
     | 
| 
       786 
     | 
    
         
            -
              --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 783 
     | 
    
         
            +
              --button-primary-borderColor-rest: var(--borderColor-translucent);
         
     | 
| 
       787 
784 
     | 
    
         
             
              --button-primary-fgColor-rest: var(--fgColor-white);
         
     | 
| 
       788 
785 
     | 
    
         
             
              --button-primary-iconColor-rest: #ffffffcc;
         
     | 
| 
       789 
786 
     | 
    
         
             
              --card-bgColor: var(--bgColor-default);
         
     | 
| 
         @@ -818,19 +815,21 @@ 
     | 
|
| 
       818 
815 
     | 
    
         
             
              --tooltip-fgColor: var(--fgColor-onEmphasis);
         
     | 
| 
       819 
816 
     | 
    
         
             
              --underlineNav-borderColor-hover: var(--borderColor-muted);
         
     | 
| 
       820 
817 
     | 
    
         
             
              --border-neutral-muted: 0.0625rem solid #d1d9e0b3;
         
     | 
| 
       821 
     | 
    
         
            -
              --button-danger-borderColor- 
     | 
| 
      
 818 
     | 
    
         
            +
              --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       822 
819 
     | 
    
         
             
              --button-default-borderColor-hover: var(--button-default-borderColor-rest);
         
     | 
| 
       823 
     | 
    
         
            -
              --button- 
     | 
| 
      
 820 
     | 
    
         
            +
              --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 821 
     | 
    
         
            +
              --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       824 
822 
     | 
    
         
             
              --shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
         
     | 
| 
       825 
823 
     | 
    
         
             
              --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;
         
     | 
| 
       826 
824 
     | 
    
         
             
              --shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
         
     | 
| 
       827 
825 
     | 
    
         
             
              --shadow-floating-xlarge: 0px 0px 0px 1px #d1d9e0, 0px 56px 112px 0px #25292e52;
         
     | 
| 
      
 826 
     | 
    
         
            +
              --button-danger-borderColor-active: var(--button-danger-borderColor-hover);
         
     | 
| 
      
 827 
     | 
    
         
            +
              --button-outline-borderColor-hover: var(--button-primary-borderColor-hover);
         
     | 
| 
       828 
828 
     | 
    
         
             
              --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
         
     | 
| 
       829 
829 
     | 
    
         
             
            }
         
     | 
| 
       830 
830 
     | 
    
         
             
            @media (prefers-color-scheme: dark) {
         
     | 
| 
       831 
     | 
    
         
            -
              [data-color-mode="auto"][data-dark-theme="light_tritanopia"],
         
     | 
| 
       832 
     | 
    
         
            -
              [data-color-mode="auto"][data-dark-theme="light_tritanopia"] ::backdrop {
         
     | 
| 
       833 
     | 
    
         
            -
                --button-danger-bgColor-active: #8b0820;
         
     | 
| 
      
 831 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light_tritanopia"],
         
     | 
| 
      
 832 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light_tritanopia"] ::backdrop {
         
     | 
| 
       834 
833 
     | 
    
         
             
                --button-outline-bgColor-active: #0757ba;
         
     | 
| 
       835 
834 
     | 
    
         
             
                --button-primary-bgColor-active: #075fc8;
         
     | 
| 
       836 
835 
     | 
    
         
             
                --button-primary-bgColor-disabled: #92caff;
         
     | 
| 
         @@ -888,10 +887,9 @@ 
     | 
|
| 
       888 
887 
     | 
    
         
             
                --borderColor-success-emphasis: #0969da;
         
     | 
| 
       889 
888 
     | 
    
         
             
                --borderColor-success-muted: #54aeff66;
         
     | 
| 
       890 
889 
     | 
    
         
             
                --borderColor-transparent: #ffffff00;
         
     | 
| 
       891 
     | 
    
         
            -
                --button-danger-bgColor- 
     | 
| 
      
 890 
     | 
    
         
            +
                --button-danger-bgColor-active: #a40e26;
         
     | 
| 
       892 
891 
     | 
    
         
             
                --button-danger-fgColor-disabled: #d1242f80;
         
     | 
| 
       893 
892 
     | 
    
         
             
                --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       894 
     | 
    
         
            -
                --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       895 
893 
     | 
    
         
             
                --button-danger-shadow-selected: inset 0px 1px 0px 0px #4c001433;
         
     | 
| 
       896 
894 
     | 
    
         
             
                --button-inactive-bgColor: #e6eaef;
         
     | 
| 
       897 
895 
     | 
    
         
             
                --button-inactive-fgColor: #59636e;
         
     | 
| 
         @@ -958,10 +956,6 @@ 
     | 
|
| 
       958 
956 
     | 
    
         
             
                --contribution-default-bgColor-3: #2da44e;
         
     | 
| 
       959 
957 
     | 
    
         
             
                --contribution-default-bgColor-4: #116329;
         
     | 
| 
       960 
958 
     | 
    
         
             
                --contribution-default-borderColor-0: #1f23280d;
         
     | 
| 
       961 
     | 
    
         
            -
                --contribution-default-borderColor-1: #1f23280d;
         
     | 
| 
       962 
     | 
    
         
            -
                --contribution-default-borderColor-2: #1f23280d;
         
     | 
| 
       963 
     | 
    
         
            -
                --contribution-default-borderColor-3: #1f23280d;
         
     | 
| 
       964 
     | 
    
         
            -
                --contribution-default-borderColor-4: #1f23280d;
         
     | 
| 
       965 
959 
     | 
    
         
             
                --contribution-halloween-bgColor-1: #f0db3d;
         
     | 
| 
       966 
960 
     | 
    
         
             
                --contribution-halloween-bgColor-2: #ffd642;
         
     | 
| 
       967 
961 
     | 
    
         
             
                --contribution-halloween-bgColor-3: #f68c41;
         
     | 
| 
         @@ -1492,10 +1486,12 @@ 
     | 
|
| 
       1492 
1486 
     | 
    
         
             
                --borderColor-translucent: #1f232826;
         
     | 
| 
       1493 
1487 
     | 
    
         
             
                --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       1494 
1488 
     | 
    
         
             
                --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 1489 
     | 
    
         
            +
                --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       1495 
1490 
     | 
    
         
             
                --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       1496 
1491 
     | 
    
         
             
                --button-danger-fgColor-active: #ffffff;
         
     | 
| 
       1497 
1492 
     | 
    
         
             
                --button-danger-fgColor-hover: #ffffff;
         
     | 
| 
       1498 
1493 
     | 
    
         
             
                --button-danger-iconColor-hover: #ffffff;
         
     | 
| 
      
 1494 
     | 
    
         
            +
                --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       1499 
1495 
     | 
    
         
             
                --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       1500 
1496 
     | 
    
         
             
                --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       1501 
1497 
     | 
    
         
             
                --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -1519,7 +1515,6 @@ 
     | 
|
| 
       1519 
1515 
     | 
    
         
             
                --button-outline-fgColor-hover: #ffffff;
         
     | 
| 
       1520 
1516 
     | 
    
         
             
                --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
       1521 
1517 
     | 
    
         
             
                --button-primary-bgColor-rest: var(--bgColor-success-emphasis);
         
     | 
| 
       1522 
     | 
    
         
            -
                --button-primary-borderColor-rest: #1f232826;
         
     | 
| 
       1523 
1518 
     | 
    
         
             
                --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       1524 
1519 
     | 
    
         
             
                --buttonCounter-danger-bgColor-disabled: #cf222e0d;
         
     | 
| 
       1525 
1520 
     | 
    
         
             
                --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -1541,6 +1536,10 @@ 
     | 
|
| 
       1541 
1536 
     | 
    
         
             
                --color-prettylights-syntax-markup-bold: #1f2328;
         
     | 
| 
       1542 
1537 
     | 
    
         
             
                --color-prettylights-syntax-markup-italic: #1f2328;
         
     | 
| 
       1543 
1538 
     | 
    
         
             
                --color-prettylights-syntax-storage-modifier-import: #1f2328;
         
     | 
| 
      
 1539 
     | 
    
         
            +
                --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1540 
     | 
    
         
            +
                --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1541 
     | 
    
         
            +
                --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1542 
     | 
    
         
            +
                --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       1544 
1543 
     | 
    
         
             
                --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       1545 
1544 
     | 
    
         
             
                --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       1546 
1545 
     | 
    
         
             
                --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -1601,7 +1600,6 @@ 
     | 
|
| 
       1601 
1600 
     | 
    
         
             
                --border-upsell-muted: 0.0625rem solid #c297ff66;
         
     | 
| 
       1602 
1601 
     | 
    
         
             
                --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       1603 
1602 
     | 
    
         
             
                --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1604 
     | 
    
         
            -
                --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1605 
1603 
     | 
    
         
             
                --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
       1606 
1604 
     | 
    
         
             
                --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1607 
1605 
     | 
    
         
             
                --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
         @@ -1610,8 +1608,7 @@ 
     | 
|
| 
       1610 
1608 
     | 
    
         
             
                --button-invisible-fgColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       1611 
1609 
     | 
    
         
             
                --button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       1612 
1610 
     | 
    
         
             
                --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1613 
     | 
    
         
            -
                --button-primary-borderColor- 
     | 
| 
       1614 
     | 
    
         
            -
                --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 1611 
     | 
    
         
            +
                --button-primary-borderColor-rest: var(--borderColor-translucent);
         
     | 
| 
       1615 
1612 
     | 
    
         
             
                --button-primary-fgColor-rest: var(--fgColor-white);
         
     | 
| 
       1616 
1613 
     | 
    
         
             
                --button-primary-iconColor-rest: #ffffffcc;
         
     | 
| 
       1617 
1614 
     | 
    
         
             
                --card-bgColor: var(--bgColor-default);
         
     | 
| 
         @@ -1646,13 +1643,16 @@ 
     | 
|
| 
       1646 
1643 
     | 
    
         
             
                --tooltip-fgColor: var(--fgColor-onEmphasis);
         
     | 
| 
       1647 
1644 
     | 
    
         
             
                --underlineNav-borderColor-hover: var(--borderColor-muted);
         
     | 
| 
       1648 
1645 
     | 
    
         
             
                --border-neutral-muted: 0.0625rem solid #d1d9e0b3;
         
     | 
| 
       1649 
     | 
    
         
            -
                --button-danger-borderColor- 
     | 
| 
      
 1646 
     | 
    
         
            +
                --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1650 
1647 
     | 
    
         
             
                --button-default-borderColor-hover: var(--button-default-borderColor-rest);
         
     | 
| 
       1651 
     | 
    
         
            -
                --button- 
     | 
| 
      
 1648 
     | 
    
         
            +
                --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 1649 
     | 
    
         
            +
                --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1652 
1650 
     | 
    
         
             
                --shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
         
     | 
| 
       1653 
1651 
     | 
    
         
             
                --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;
         
     | 
| 
       1654 
1652 
     | 
    
         
             
                --shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
         
     | 
| 
       1655 
1653 
     | 
    
         
             
                --shadow-floating-xlarge: 0px 0px 0px 1px #d1d9e0, 0px 56px 112px 0px #25292e52;
         
     | 
| 
      
 1654 
     | 
    
         
            +
                --button-danger-borderColor-active: var(--button-danger-borderColor-hover);
         
     | 
| 
      
 1655 
     | 
    
         
            +
                --button-outline-borderColor-hover: var(--button-primary-borderColor-hover);
         
     | 
| 
       1656 
1656 
     | 
    
         
             
                --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
         
     | 
| 
       1657 
1657 
     | 
    
         
             
              }
         
     | 
| 
       1658 
1658 
     | 
    
         
             
            }
         
     | 
| 
         @@ -3,7 +3,6 @@ 
     | 
|
| 
       3 
3 
     | 
    
         
             
            [data-color-mode="auto"][data-light-theme="light"],
         
     | 
| 
       4 
4 
     | 
    
         
             
            [data-color-mode="auto"][data-light-theme="light"] ::backdrop {
         
     | 
| 
       5 
5 
     | 
    
         
             
              --bgColor-success-emphasis: #1f883d;
         
     | 
| 
       6 
     | 
    
         
            -
              --button-danger-bgColor-active: #8b0820;
         
     | 
| 
       7 
6 
     | 
    
         
             
              --button-outline-bgColor-active: #0757ba;
         
     | 
| 
       8 
7 
     | 
    
         
             
              --button-primary-bgColor-active: #197935;
         
     | 
| 
       9 
8 
     | 
    
         
             
              --button-primary-bgColor-disabled: #95d8a6;
         
     | 
| 
         @@ -57,10 +56,9 @@ 
     | 
|
| 
       57 
56 
     | 
    
         
             
              --borderColor-success-emphasis: #1a7f37;
         
     | 
| 
       58 
57 
     | 
    
         
             
              --borderColor-success-muted: #4ac26b66;
         
     | 
| 
       59 
58 
     | 
    
         
             
              --borderColor-transparent: #ffffff00;
         
     | 
| 
       60 
     | 
    
         
            -
              --button-danger-bgColor- 
     | 
| 
      
 59 
     | 
    
         
            +
              --button-danger-bgColor-active: #a40e26;
         
     | 
| 
       61 
60 
     | 
    
         
             
              --button-danger-fgColor-disabled: #d1242f80;
         
     | 
| 
       62 
61 
     | 
    
         
             
              --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       63 
     | 
    
         
            -
              --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       64 
62 
     | 
    
         
             
              --button-danger-shadow-selected: inset 0px 1px 0px 0px #4c001433;
         
     | 
| 
       65 
63 
     | 
    
         
             
              --button-inactive-bgColor: #e6eaef;
         
     | 
| 
       66 
64 
     | 
    
         
             
              --button-inactive-fgColor: #59636e;
         
     | 
| 
         @@ -128,10 +126,6 @@ 
     | 
|
| 
       128 
126 
     | 
    
         
             
              --contribution-default-bgColor-3: #2da44e;
         
     | 
| 
       129 
127 
     | 
    
         
             
              --contribution-default-bgColor-4: #116329;
         
     | 
| 
       130 
128 
     | 
    
         
             
              --contribution-default-borderColor-0: #1f23280d;
         
     | 
| 
       131 
     | 
    
         
            -
              --contribution-default-borderColor-1: #1f23280d;
         
     | 
| 
       132 
     | 
    
         
            -
              --contribution-default-borderColor-2: #1f23280d;
         
     | 
| 
       133 
     | 
    
         
            -
              --contribution-default-borderColor-3: #1f23280d;
         
     | 
| 
       134 
     | 
    
         
            -
              --contribution-default-borderColor-4: #1f23280d;
         
     | 
| 
       135 
129 
     | 
    
         
             
              --contribution-halloween-bgColor-1: #f0db3d;
         
     | 
| 
       136 
130 
     | 
    
         
             
              --contribution-halloween-bgColor-2: #ffd642;
         
     | 
| 
       137 
131 
     | 
    
         
             
              --contribution-halloween-bgColor-3: #f68c41;
         
     | 
| 
         @@ -663,10 +657,12 @@ 
     | 
|
| 
       663 
657 
     | 
    
         
             
              --borderColor-translucent: #1f232826;
         
     | 
| 
       664 
658 
     | 
    
         
             
              --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       665 
659 
     | 
    
         
             
              --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 660 
     | 
    
         
            +
              --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       666 
661 
     | 
    
         
             
              --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       667 
662 
     | 
    
         
             
              --button-danger-fgColor-active: #ffffff;
         
     | 
| 
       668 
663 
     | 
    
         
             
              --button-danger-fgColor-hover: #ffffff;
         
     | 
| 
       669 
664 
     | 
    
         
             
              --button-danger-iconColor-hover: #ffffff;
         
     | 
| 
      
 665 
     | 
    
         
            +
              --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       670 
666 
     | 
    
         
             
              --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       671 
667 
     | 
    
         
             
              --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       672 
668 
     | 
    
         
             
              --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -689,7 +685,6 @@ 
     | 
|
| 
       689 
685 
     | 
    
         
             
              --button-outline-fgColor-disabled: #0969da80;
         
     | 
| 
       690 
686 
     | 
    
         
             
              --button-outline-fgColor-hover: #ffffff;
         
     | 
| 
       691 
687 
     | 
    
         
             
              --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
       692 
     | 
    
         
            -
              --button-primary-borderColor-rest: #1f232826;
         
     | 
| 
       693 
688 
     | 
    
         
             
              --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       694 
689 
     | 
    
         
             
              --buttonCounter-danger-bgColor-disabled: #cf222e0d;
         
     | 
| 
       695 
690 
     | 
    
         
             
              --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -711,6 +706,10 @@ 
     | 
|
| 
       711 
706 
     | 
    
         
             
              --color-prettylights-syntax-markup-bold: #1f2328;
         
     | 
| 
       712 
707 
     | 
    
         
             
              --color-prettylights-syntax-markup-italic: #1f2328;
         
     | 
| 
       713 
708 
     | 
    
         
             
              --color-prettylights-syntax-storage-modifier-import: #1f2328;
         
     | 
| 
      
 709 
     | 
    
         
            +
              --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 710 
     | 
    
         
            +
              --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 711 
     | 
    
         
            +
              --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 712 
     | 
    
         
            +
              --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       714 
713 
     | 
    
         
             
              --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       715 
714 
     | 
    
         
             
              --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       716 
715 
     | 
    
         
             
              --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -773,7 +772,6 @@ 
     | 
|
| 
       773 
772 
     | 
    
         
             
              --border-upsell-muted: 0.0625rem solid #c297ff66;
         
     | 
| 
       774 
773 
     | 
    
         
             
              --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       775 
774 
     | 
    
         
             
              --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       776 
     | 
    
         
            -
              --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       777 
775 
     | 
    
         
             
              --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
       778 
776 
     | 
    
         
             
              --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       779 
777 
     | 
    
         
             
              --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
         @@ -782,8 +780,7 @@ 
     | 
|
| 
       782 
780 
     | 
    
         
             
              --button-invisible-fgColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       783 
781 
     | 
    
         
             
              --button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       784 
782 
     | 
    
         
             
              --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       785 
     | 
    
         
            -
              --button-primary-borderColor- 
     | 
| 
       786 
     | 
    
         
            -
              --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 783 
     | 
    
         
            +
              --button-primary-borderColor-rest: var(--borderColor-translucent);
         
     | 
| 
       787 
784 
     | 
    
         
             
              --button-primary-fgColor-rest: var(--fgColor-white);
         
     | 
| 
       788 
785 
     | 
    
         
             
              --button-primary-iconColor-rest: #ffffffcc;
         
     | 
| 
       789 
786 
     | 
    
         
             
              --card-bgColor: var(--bgColor-default);
         
     | 
| 
         @@ -818,20 +815,22 @@ 
     | 
|
| 
       818 
815 
     | 
    
         
             
              --tooltip-fgColor: var(--fgColor-onEmphasis);
         
     | 
| 
       819 
816 
     | 
    
         
             
              --underlineNav-borderColor-hover: var(--borderColor-muted);
         
     | 
| 
       820 
817 
     | 
    
         
             
              --border-neutral-muted: 0.0625rem solid #d1d9e0b3;
         
     | 
| 
       821 
     | 
    
         
            -
              --button-danger-borderColor- 
     | 
| 
      
 818 
     | 
    
         
            +
              --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       822 
819 
     | 
    
         
             
              --button-default-borderColor-hover: var(--button-default-borderColor-rest);
         
     | 
| 
       823 
     | 
    
         
            -
              --button- 
     | 
| 
      
 820 
     | 
    
         
            +
              --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 821 
     | 
    
         
            +
              --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       824 
822 
     | 
    
         
             
              --shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
         
     | 
| 
       825 
823 
     | 
    
         
             
              --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;
         
     | 
| 
       826 
824 
     | 
    
         
             
              --shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
         
     | 
| 
       827 
825 
     | 
    
         
             
              --shadow-floating-xlarge: 0px 0px 0px 1px #d1d9e0, 0px 56px 112px 0px #25292e52;
         
     | 
| 
      
 826 
     | 
    
         
            +
              --button-danger-borderColor-active: var(--button-danger-borderColor-hover);
         
     | 
| 
      
 827 
     | 
    
         
            +
              --button-outline-borderColor-hover: var(--button-primary-borderColor-hover);
         
     | 
| 
       828 
828 
     | 
    
         
             
              --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
         
     | 
| 
       829 
829 
     | 
    
         
             
            }
         
     | 
| 
       830 
830 
     | 
    
         
             
            @media (prefers-color-scheme: dark) {
         
     | 
| 
       831 
     | 
    
         
            -
              [data-color-mode="auto"][data-dark-theme="light"],
         
     | 
| 
       832 
     | 
    
         
            -
              [data-color-mode="auto"][data-dark-theme="light"] ::backdrop {
         
     | 
| 
      
 831 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light"],
         
     | 
| 
      
 832 
     | 
    
         
            +
              [data-color-mode][data-color-mode="auto"][data-dark-theme="light"] ::backdrop {
         
     | 
| 
       833 
833 
     | 
    
         
             
                --bgColor-success-emphasis: #1f883d;
         
     | 
| 
       834 
     | 
    
         
            -
                --button-danger-bgColor-active: #8b0820;
         
     | 
| 
       835 
834 
     | 
    
         
             
                --button-outline-bgColor-active: #0757ba;
         
     | 
| 
       836 
835 
     | 
    
         
             
                --button-primary-bgColor-active: #197935;
         
     | 
| 
       837 
836 
     | 
    
         
             
                --button-primary-bgColor-disabled: #95d8a6;
         
     | 
| 
         @@ -885,10 +884,9 @@ 
     | 
|
| 
       885 
884 
     | 
    
         
             
                --borderColor-success-emphasis: #1a7f37;
         
     | 
| 
       886 
885 
     | 
    
         
             
                --borderColor-success-muted: #4ac26b66;
         
     | 
| 
       887 
886 
     | 
    
         
             
                --borderColor-transparent: #ffffff00;
         
     | 
| 
       888 
     | 
    
         
            -
                --button-danger-bgColor- 
     | 
| 
      
 887 
     | 
    
         
            +
                --button-danger-bgColor-active: #a40e26;
         
     | 
| 
       889 
888 
     | 
    
         
             
                --button-danger-fgColor-disabled: #d1242f80;
         
     | 
| 
       890 
889 
     | 
    
         
             
                --button-danger-fgColor-rest: var(--fgColor-danger);
         
     | 
| 
       891 
     | 
    
         
            -
                --button-danger-iconColor-rest: var(--fgColor-danger);
         
     | 
| 
       892 
890 
     | 
    
         
             
                --button-danger-shadow-selected: inset 0px 1px 0px 0px #4c001433;
         
     | 
| 
       893 
891 
     | 
    
         
             
                --button-inactive-bgColor: #e6eaef;
         
     | 
| 
       894 
892 
     | 
    
         
             
                --button-inactive-fgColor: #59636e;
         
     | 
| 
         @@ -956,10 +954,6 @@ 
     | 
|
| 
       956 
954 
     | 
    
         
             
                --contribution-default-bgColor-3: #2da44e;
         
     | 
| 
       957 
955 
     | 
    
         
             
                --contribution-default-bgColor-4: #116329;
         
     | 
| 
       958 
956 
     | 
    
         
             
                --contribution-default-borderColor-0: #1f23280d;
         
     | 
| 
       959 
     | 
    
         
            -
                --contribution-default-borderColor-1: #1f23280d;
         
     | 
| 
       960 
     | 
    
         
            -
                --contribution-default-borderColor-2: #1f23280d;
         
     | 
| 
       961 
     | 
    
         
            -
                --contribution-default-borderColor-3: #1f23280d;
         
     | 
| 
       962 
     | 
    
         
            -
                --contribution-default-borderColor-4: #1f23280d;
         
     | 
| 
       963 
957 
     | 
    
         
             
                --contribution-halloween-bgColor-1: #f0db3d;
         
     | 
| 
       964 
958 
     | 
    
         
             
                --contribution-halloween-bgColor-2: #ffd642;
         
     | 
| 
       965 
959 
     | 
    
         
             
                --contribution-halloween-bgColor-3: #f68c41;
         
     | 
| 
         @@ -1491,10 +1485,12 @@ 
     | 
|
| 
       1491 
1485 
     | 
    
         
             
                --borderColor-translucent: #1f232826;
         
     | 
| 
       1492 
1486 
     | 
    
         
             
                --borderColor-upsell-emphasis: var(--borderColor-done-emphasis);
         
     | 
| 
       1493 
1487 
     | 
    
         
             
                --borderColor-upsell-muted: var(--borderColor-done-muted);
         
     | 
| 
      
 1488 
     | 
    
         
            +
                --button-danger-bgColor-hover: var(--bgColor-danger-emphasis);
         
     | 
| 
       1494 
1489 
     | 
    
         
             
                --button-danger-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
       1495 
1490 
     | 
    
         
             
                --button-danger-fgColor-active: #ffffff;
         
     | 
| 
       1496 
1491 
     | 
    
         
             
                --button-danger-fgColor-hover: #ffffff;
         
     | 
| 
       1497 
1492 
     | 
    
         
             
                --button-danger-iconColor-hover: #ffffff;
         
     | 
| 
      
 1493 
     | 
    
         
            +
                --button-danger-iconColor-rest: var(--button-danger-fgColor-rest);
         
     | 
| 
       1498 
1494 
     | 
    
         
             
                --button-default-bgColor-active: var(--control-bgColor-active);
         
     | 
| 
       1499 
1495 
     | 
    
         
             
                --button-default-bgColor-hover: var(--control-bgColor-hover);
         
     | 
| 
       1500 
1496 
     | 
    
         
             
                --button-default-bgColor-rest: var(--control-bgColor-rest);
         
     | 
| 
         @@ -1517,7 +1513,6 @@ 
     | 
|
| 
       1517 
1513 
     | 
    
         
             
                --button-outline-fgColor-disabled: #0969da80;
         
     | 
| 
       1518 
1514 
     | 
    
         
             
                --button-outline-fgColor-hover: #ffffff;
         
     | 
| 
       1519 
1515 
     | 
    
         
             
                --button-outline-fgColor-rest: var(--fgColor-accent);
         
     | 
| 
       1520 
     | 
    
         
            -
                --button-primary-borderColor-rest: #1f232826;
         
     | 
| 
       1521 
1516 
     | 
    
         
             
                --button-primary-fgColor-disabled: #ffffffcc;
         
     | 
| 
       1522 
1517 
     | 
    
         
             
                --buttonCounter-danger-bgColor-disabled: #cf222e0d;
         
     | 
| 
       1523 
1518 
     | 
    
         
             
                --buttonCounter-danger-bgColor-hover: #ffffff33;
         
     | 
| 
         @@ -1539,6 +1534,10 @@ 
     | 
|
| 
       1539 
1534 
     | 
    
         
             
                --color-prettylights-syntax-markup-bold: #1f2328;
         
     | 
| 
       1540 
1535 
     | 
    
         
             
                --color-prettylights-syntax-markup-italic: #1f2328;
         
     | 
| 
       1541 
1536 
     | 
    
         
             
                --color-prettylights-syntax-storage-modifier-import: #1f2328;
         
     | 
| 
      
 1537 
     | 
    
         
            +
                --contribution-default-borderColor-1: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1538 
     | 
    
         
            +
                --contribution-default-borderColor-2: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1539 
     | 
    
         
            +
                --contribution-default-borderColor-3: var(--contribution-default-borderColor-0);
         
     | 
| 
      
 1540 
     | 
    
         
            +
                --contribution-default-borderColor-4: var(--contribution-default-borderColor-0);
         
     | 
| 
       1542 
1541 
     | 
    
         
             
                --control-bgColor-disabled: var(--bgColor-disabled);
         
     | 
| 
       1543 
1542 
     | 
    
         
             
                --control-bgColor-selected: var(--control-bgColor-rest);
         
     | 
| 
       1544 
1543 
     | 
    
         
             
                --control-borderColor-danger: var(--borderColor-danger-emphasis);
         
     | 
| 
         @@ -1601,7 +1600,6 @@ 
     | 
|
| 
       1601 
1600 
     | 
    
         
             
                --border-upsell-muted: 0.0625rem solid #c297ff66;
         
     | 
| 
       1602 
1601 
     | 
    
         
             
                --borderColor-neutral-muted: var(--borderColor-muted);
         
     | 
| 
       1603 
1602 
     | 
    
         
             
                --button-danger-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1604 
     | 
    
         
            -
                --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1605 
1603 
     | 
    
         
             
                --button-danger-borderColor-rest: var(--control-borderColor-rest);
         
     | 
| 
       1606 
1604 
     | 
    
         
             
                --button-default-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1607 
1605 
     | 
    
         
             
                --button-default-borderColor-active: var(--control-borderColor-rest);
         
     | 
| 
         @@ -1610,8 +1608,7 @@ 
     | 
|
| 
       1610 
1608 
     | 
    
         
             
                --button-invisible-fgColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       1611 
1609 
     | 
    
         
             
                --button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
         
     | 
| 
       1612 
1610 
     | 
    
         
             
                --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
         
     | 
| 
       1613 
     | 
    
         
            -
                --button-primary-borderColor- 
     | 
| 
       1614 
     | 
    
         
            -
                --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 1611 
     | 
    
         
            +
                --button-primary-borderColor-rest: var(--borderColor-translucent);
         
     | 
| 
       1615 
1612 
     | 
    
         
             
                --button-primary-fgColor-rest: var(--fgColor-white);
         
     | 
| 
       1616 
1613 
     | 
    
         
             
                --button-primary-iconColor-rest: #ffffffcc;
         
     | 
| 
       1617 
1614 
     | 
    
         
             
                --card-bgColor: var(--bgColor-default);
         
     | 
| 
         @@ -1646,13 +1643,16 @@ 
     | 
|
| 
       1646 
1643 
     | 
    
         
             
                --tooltip-fgColor: var(--fgColor-onEmphasis);
         
     | 
| 
       1647 
1644 
     | 
    
         
             
                --underlineNav-borderColor-hover: var(--borderColor-muted);
         
     | 
| 
       1648 
1645 
     | 
    
         
             
                --border-neutral-muted: 0.0625rem solid #d1d9e0b3;
         
     | 
| 
       1649 
     | 
    
         
            -
                --button-danger-borderColor- 
     | 
| 
      
 1646 
     | 
    
         
            +
                --button-danger-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1650 
1647 
     | 
    
         
             
                --button-default-borderColor-hover: var(--button-default-borderColor-rest);
         
     | 
| 
       1651 
     | 
    
         
            -
                --button- 
     | 
| 
      
 1648 
     | 
    
         
            +
                --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
         
     | 
| 
      
 1649 
     | 
    
         
            +
                --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
         
     | 
| 
       1652 
1650 
     | 
    
         
             
                --shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
         
     | 
| 
       1653 
1651 
     | 
    
         
             
                --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;
         
     | 
| 
       1654 
1652 
     | 
    
         
             
                --shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
         
     | 
| 
       1655 
1653 
     | 
    
         
             
                --shadow-floating-xlarge: 0px 0px 0px 1px #d1d9e0, 0px 56px 112px 0px #25292e52;
         
     | 
| 
      
 1654 
     | 
    
         
            +
                --button-danger-borderColor-active: var(--button-danger-borderColor-hover);
         
     | 
| 
      
 1655 
     | 
    
         
            +
                --button-outline-borderColor-hover: var(--button-primary-borderColor-hover);
         
     | 
| 
       1656 
1656 
     | 
    
         
             
                --button-outline-borderColor-active: var(--button-outline-borderColor-hover);
         
     | 
| 
       1657 
1657 
     | 
    
         
             
              }
         
     | 
| 
       1658 
1658 
     | 
    
         
             
            }
         
     |