@primer/primitives 11.2.2-rc.d0fa0d53 → 11.3.0-rc.839041ca
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/css/functional/themes/dark-colorblind-high-contrast.css +70 -0
- package/dist/css/functional/themes/dark-colorblind.css +70 -0
- package/dist/css/functional/themes/dark-dimmed-high-contrast.css +70 -0
- package/dist/css/functional/themes/dark-dimmed.css +70 -0
- package/dist/css/functional/themes/dark-high-contrast.css +70 -0
- package/dist/css/functional/themes/dark-tritanopia-high-contrast.css +70 -0
- package/dist/css/functional/themes/dark-tritanopia.css +70 -0
- package/dist/css/functional/themes/dark.css +70 -0
- package/dist/css/functional/themes/light-colorblind-high-contrast.css +70 -0
- package/dist/css/functional/themes/light-colorblind.css +70 -0
- package/dist/css/functional/themes/light-high-contrast.css +70 -0
- package/dist/css/functional/themes/light-tritanopia-high-contrast.css +70 -0
- package/dist/css/functional/themes/light-tritanopia.css +70 -0
- package/dist/css/functional/themes/light.css +70 -0
- package/dist/docs/functional/themes/dark-colorblind-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/dark-colorblind.json +1377 -0
- package/dist/docs/functional/themes/dark-dimmed-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/dark-dimmed.json +1377 -0
- package/dist/docs/functional/themes/dark-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/dark-tritanopia-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/dark-tritanopia.json +1377 -0
- package/dist/docs/functional/themes/dark.json +1377 -0
- package/dist/docs/functional/themes/light-colorblind-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/light-colorblind.json +1373 -0
- package/dist/docs/functional/themes/light-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/light-tritanopia-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/light-tritanopia.json +1373 -0
- package/dist/docs/functional/themes/light.json +1373 -0
- package/dist/figma/themes/dark-colorblind.json +565 -0
- package/dist/figma/themes/dark-dimmed.json +565 -0
- package/dist/figma/themes/dark-high-contrast.json +563 -0
- package/dist/figma/themes/dark-tritanopia.json +565 -0
- package/dist/figma/themes/dark.json +565 -0
- package/dist/figma/themes/light-colorblind.json +563 -0
- package/dist/figma/themes/light-high-contrast.json +563 -0
- package/dist/figma/themes/light-tritanopia.json +563 -0
- package/dist/figma/themes/light.json +563 -0
- package/dist/internalCss/dark-colorblind-high-contrast.css +70 -0
- package/dist/internalCss/dark-colorblind.css +70 -0
- package/dist/internalCss/dark-dimmed-high-contrast.css +70 -0
- package/dist/internalCss/dark-dimmed.css +70 -0
- package/dist/internalCss/dark-high-contrast.css +70 -0
- package/dist/internalCss/dark-tritanopia-high-contrast.css +70 -0
- package/dist/internalCss/dark-tritanopia.css +70 -0
- package/dist/internalCss/dark.css +70 -0
- package/dist/internalCss/light-colorblind-high-contrast.css +70 -0
- package/dist/internalCss/light-colorblind.css +70 -0
- package/dist/internalCss/light-high-contrast.css +70 -0
- package/dist/internalCss/light-tritanopia-high-contrast.css +70 -0
- package/dist/internalCss/light-tritanopia.css +70 -0
- package/dist/internalCss/light.css +70 -0
- package/dist/styleLint/functional/themes/dark-colorblind-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/dark-colorblind.json +1377 -0
- package/dist/styleLint/functional/themes/dark-dimmed-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/dark-dimmed.json +1377 -0
- package/dist/styleLint/functional/themes/dark-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/dark-tritanopia-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/dark-tritanopia.json +1377 -0
- package/dist/styleLint/functional/themes/dark.json +1377 -0
- package/dist/styleLint/functional/themes/light-colorblind-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/light-colorblind.json +1373 -0
- package/dist/styleLint/functional/themes/light-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/light-tritanopia-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/light-tritanopia.json +1373 -0
- package/dist/styleLint/functional/themes/light.json +1373 -0
- package/package.json +1 -1
- package/src/tokens/component/button.json5 +522 -0
|
@@ -75,6 +75,12 @@
|
|
|
75
75
|
--buttonCounter-default-bgColor-rest: #c8d1da;
|
|
76
76
|
--buttonCounter-outline-fgColor-rest: #023b95;
|
|
77
77
|
--buttonCounter-primary-bgColor-rest: #00230b33;
|
|
78
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
79
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
80
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
81
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
82
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
83
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
78
84
|
--codeMirror-syntax-fgColor-constant: #023b95;
|
|
79
85
|
--codeMirror-syntax-fgColor-entity: #622cbc;
|
|
80
86
|
--codeMirror-syntax-fgColor-keyword: #a0111f;
|
|
@@ -700,6 +706,18 @@
|
|
|
700
706
|
--buttonCounter-outline-bgColor-rest: #0349b41a;
|
|
701
707
|
--buttonCounter-outline-fgColor-disabled: #023b9580;
|
|
702
708
|
--buttonCounter-outline-fgColor-hover: #ffffff;
|
|
709
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
710
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
711
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
712
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
713
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
714
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
715
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
716
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
717
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
718
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
719
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #00230b1a;
|
|
720
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
703
721
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
704
722
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
705
723
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -818,6 +836,20 @@
|
|
|
818
836
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
819
837
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
820
838
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
839
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
840
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
841
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
842
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
843
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
844
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
845
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
846
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
847
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
848
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
|
|
849
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
850
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
851
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
852
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
821
853
|
--card-bgColor: var(--bgColor-default);
|
|
822
854
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
823
855
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
@@ -860,6 +892,9 @@
|
|
|
860
892
|
--border-neutral-muted: 0.0625rem solid #454c54;
|
|
861
893
|
--borderColor-draft-muted: var(--borderColor-neutral-muted);
|
|
862
894
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
895
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
896
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
897
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
863
898
|
--controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
|
|
864
899
|
}
|
|
865
900
|
@media (prefers-color-scheme: dark) {
|
|
@@ -938,6 +973,12 @@
|
|
|
938
973
|
--buttonCounter-default-bgColor-rest: #c8d1da;
|
|
939
974
|
--buttonCounter-outline-fgColor-rest: #023b95;
|
|
940
975
|
--buttonCounter-primary-bgColor-rest: #00230b33;
|
|
976
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
977
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
978
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
979
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
980
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
981
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
941
982
|
--codeMirror-syntax-fgColor-constant: #023b95;
|
|
942
983
|
--codeMirror-syntax-fgColor-entity: #622cbc;
|
|
943
984
|
--codeMirror-syntax-fgColor-keyword: #a0111f;
|
|
@@ -1563,6 +1604,18 @@
|
|
|
1563
1604
|
--buttonCounter-outline-bgColor-rest: #0349b41a;
|
|
1564
1605
|
--buttonCounter-outline-fgColor-disabled: #023b9580;
|
|
1565
1606
|
--buttonCounter-outline-fgColor-hover: #ffffff;
|
|
1607
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1608
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1609
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1610
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1611
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1612
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1613
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1614
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1615
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1616
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1617
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #00230b1a;
|
|
1618
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1566
1619
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1567
1620
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
1568
1621
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -1681,6 +1734,20 @@
|
|
|
1681
1734
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
1682
1735
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
1683
1736
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
1737
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1738
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1739
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1740
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1741
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1742
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1743
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1744
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1745
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1746
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
|
|
1747
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1748
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1749
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1750
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1684
1751
|
--card-bgColor: var(--bgColor-default);
|
|
1685
1752
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
1686
1753
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
@@ -1723,6 +1790,9 @@
|
|
|
1723
1790
|
--border-neutral-muted: 0.0625rem solid #454c54;
|
|
1724
1791
|
--borderColor-draft-muted: var(--borderColor-neutral-muted);
|
|
1725
1792
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
1793
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
1794
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
1795
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
1726
1796
|
--controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
|
|
1727
1797
|
}
|
|
1728
1798
|
}
|
|
@@ -79,6 +79,12 @@
|
|
|
79
79
|
--buttonCounter-default-bgColor-rest: #c8d1da;
|
|
80
80
|
--buttonCounter-outline-fgColor-rest: #023b95;
|
|
81
81
|
--buttonCounter-primary-bgColor-rest: #00230b33;
|
|
82
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
83
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
84
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
85
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
86
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
87
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
82
88
|
--codeMirror-syntax-fgColor-constant: #023b95;
|
|
83
89
|
--codeMirror-syntax-fgColor-entity: #622cbc;
|
|
84
90
|
--codeMirror-syntax-fgColor-keyword: #a0111f;
|
|
@@ -703,6 +709,18 @@
|
|
|
703
709
|
--buttonCounter-outline-bgColor-rest: #0349b41a;
|
|
704
710
|
--buttonCounter-outline-fgColor-disabled: #023b9580;
|
|
705
711
|
--buttonCounter-outline-fgColor-hover: #ffffff;
|
|
712
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
713
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
714
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
715
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
716
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
717
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
718
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
719
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
720
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
721
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
722
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #00230b1a;
|
|
723
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
706
724
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
707
725
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
708
726
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -819,6 +837,20 @@
|
|
|
819
837
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
820
838
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
821
839
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
840
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
841
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
842
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
843
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
844
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
845
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
846
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
847
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
848
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
849
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
|
|
850
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
851
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
852
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
853
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
822
854
|
--card-bgColor: var(--bgColor-default);
|
|
823
855
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
824
856
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
@@ -860,6 +892,9 @@
|
|
|
860
892
|
--underlineNav-borderColor-hover: var(--borderColor-muted);
|
|
861
893
|
--border-neutral-muted: 0.0625rem solid #454c54;
|
|
862
894
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
895
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
896
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
897
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
863
898
|
--controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
|
|
864
899
|
}
|
|
865
900
|
@media (prefers-color-scheme: dark) {
|
|
@@ -942,6 +977,12 @@
|
|
|
942
977
|
--buttonCounter-default-bgColor-rest: #c8d1da;
|
|
943
978
|
--buttonCounter-outline-fgColor-rest: #023b95;
|
|
944
979
|
--buttonCounter-primary-bgColor-rest: #00230b33;
|
|
980
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
981
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
982
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
983
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
984
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
985
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
945
986
|
--codeMirror-syntax-fgColor-constant: #023b95;
|
|
946
987
|
--codeMirror-syntax-fgColor-entity: #622cbc;
|
|
947
988
|
--codeMirror-syntax-fgColor-keyword: #a0111f;
|
|
@@ -1566,6 +1607,18 @@
|
|
|
1566
1607
|
--buttonCounter-outline-bgColor-rest: #0349b41a;
|
|
1567
1608
|
--buttonCounter-outline-fgColor-disabled: #023b9580;
|
|
1568
1609
|
--buttonCounter-outline-fgColor-hover: #ffffff;
|
|
1610
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1611
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1612
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1613
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1614
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1615
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1616
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1617
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1618
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1619
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1620
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #00230b1a;
|
|
1621
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1569
1622
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1570
1623
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
1571
1624
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -1682,6 +1735,20 @@
|
|
|
1682
1735
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
1683
1736
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
1684
1737
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
1738
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1739
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1740
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1741
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1742
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1743
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1744
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1745
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1746
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1747
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
|
|
1748
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1749
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1750
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1751
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1685
1752
|
--card-bgColor: var(--bgColor-default);
|
|
1686
1753
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
1687
1754
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
@@ -1723,6 +1790,9 @@
|
|
|
1723
1790
|
--underlineNav-borderColor-hover: var(--borderColor-muted);
|
|
1724
1791
|
--border-neutral-muted: 0.0625rem solid #454c54;
|
|
1725
1792
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
1793
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
1794
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
1795
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
1726
1796
|
--controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
|
|
1727
1797
|
}
|
|
1728
1798
|
}
|
|
@@ -74,6 +74,11 @@
|
|
|
74
74
|
--buttonCounter-danger-fgColor-disabled: #d1242f80;
|
|
75
75
|
--buttonCounter-outline-fgColor-rest: #0550ae;
|
|
76
76
|
--buttonCounter-primary-bgColor-rest: #002d1133;
|
|
77
|
+
--buttonKeybindingHint-danger-bgColor-active: #1f232866;
|
|
78
|
+
--buttonKeybindingHint-danger-bgColor-hover: #1f232833;
|
|
79
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
80
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
81
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #ffffff00;
|
|
77
82
|
--codeMirror-syntax-fgColor-constant: #0550ae;
|
|
78
83
|
--codeMirror-syntax-fgColor-entity: #8250df;
|
|
79
84
|
--codeMirror-syntax-fgColor-keyword: #cf222e;
|
|
@@ -723,6 +728,17 @@
|
|
|
723
728
|
--buttonCounter-outline-bgColor-rest: #0969da1a;
|
|
724
729
|
--buttonCounter-outline-fgColor-disabled: #0969da80;
|
|
725
730
|
--buttonCounter-outline-fgColor-hover: #ffffff;
|
|
731
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
732
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
733
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
734
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
735
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
736
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
737
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
738
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
739
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
740
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #002d111a;
|
|
741
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
726
742
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
727
743
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
728
744
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -817,6 +833,21 @@
|
|
|
817
833
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
818
834
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
819
835
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
836
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
837
|
+
--buttonKeybindingHint-danger-borderColor-hover: var(--borderColor-translucent);
|
|
838
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
839
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
840
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
841
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
842
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
843
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
844
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
845
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
846
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
847
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
848
|
+
--buttonKeybindingHint-primary-borderColor-rest: var(--borderColor-translucent);
|
|
849
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
850
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
820
851
|
--card-bgColor: var(--bgColor-default);
|
|
821
852
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
822
853
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
@@ -854,6 +885,10 @@
|
|
|
854
885
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
855
886
|
--button-primary-borderColor-active: var(--button-primary-borderColor-rest);
|
|
856
887
|
--button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
|
|
888
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
889
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
890
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
891
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
857
892
|
--shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
|
|
858
893
|
--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;
|
|
859
894
|
--shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
|
|
@@ -937,6 +972,11 @@
|
|
|
937
972
|
--buttonCounter-danger-fgColor-disabled: #d1242f80;
|
|
938
973
|
--buttonCounter-outline-fgColor-rest: #0550ae;
|
|
939
974
|
--buttonCounter-primary-bgColor-rest: #002d1133;
|
|
975
|
+
--buttonKeybindingHint-danger-bgColor-active: #1f232866;
|
|
976
|
+
--buttonKeybindingHint-danger-bgColor-hover: #1f232833;
|
|
977
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
978
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
979
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #ffffff00;
|
|
940
980
|
--codeMirror-syntax-fgColor-constant: #0550ae;
|
|
941
981
|
--codeMirror-syntax-fgColor-entity: #8250df;
|
|
942
982
|
--codeMirror-syntax-fgColor-keyword: #cf222e;
|
|
@@ -1586,6 +1626,17 @@
|
|
|
1586
1626
|
--buttonCounter-outline-bgColor-rest: #0969da1a;
|
|
1587
1627
|
--buttonCounter-outline-fgColor-disabled: #0969da80;
|
|
1588
1628
|
--buttonCounter-outline-fgColor-hover: #ffffff;
|
|
1629
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1630
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1631
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1632
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1633
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1634
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1635
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1636
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1637
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1638
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #002d111a;
|
|
1639
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1589
1640
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1590
1641
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
1591
1642
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -1680,6 +1731,21 @@
|
|
|
1680
1731
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
1681
1732
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
1682
1733
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
1734
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1735
|
+
--buttonKeybindingHint-danger-borderColor-hover: var(--borderColor-translucent);
|
|
1736
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1737
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1738
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1739
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1740
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1741
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1742
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1743
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1744
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1745
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1746
|
+
--buttonKeybindingHint-primary-borderColor-rest: var(--borderColor-translucent);
|
|
1747
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1748
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1683
1749
|
--card-bgColor: var(--bgColor-default);
|
|
1684
1750
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
1685
1751
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
@@ -1717,6 +1783,10 @@
|
|
|
1717
1783
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
1718
1784
|
--button-primary-borderColor-active: var(--button-primary-borderColor-rest);
|
|
1719
1785
|
--button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
|
|
1786
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1787
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
1788
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
1789
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
1720
1790
|
--shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
|
|
1721
1791
|
--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;
|
|
1722
1792
|
--shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
|
|
@@ -72,6 +72,11 @@
|
|
|
72
72
|
--buttonCounter-danger-fgColor-disabled: #d1242f80;
|
|
73
73
|
--buttonCounter-outline-fgColor-rest: #0550ae;
|
|
74
74
|
--buttonCounter-primary-bgColor-rest: #002d1133;
|
|
75
|
+
--buttonKeybindingHint-danger-bgColor-active: #1f232866;
|
|
76
|
+
--buttonKeybindingHint-danger-bgColor-hover: #1f232833;
|
|
77
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
78
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
79
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #ffffff00;
|
|
75
80
|
--codeMirror-syntax-fgColor-constant: #0550ae;
|
|
76
81
|
--codeMirror-syntax-fgColor-entity: #8250df;
|
|
77
82
|
--codeMirror-syntax-fgColor-keyword: #cf222e;
|
|
@@ -721,6 +726,17 @@
|
|
|
721
726
|
--buttonCounter-outline-bgColor-rest: #0969da1a;
|
|
722
727
|
--buttonCounter-outline-fgColor-disabled: #0969da80;
|
|
723
728
|
--buttonCounter-outline-fgColor-hover: #ffffff;
|
|
729
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
730
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
731
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
732
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
733
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
734
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
735
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
736
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
737
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
738
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #002d111a;
|
|
739
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
724
740
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
725
741
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
726
742
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -816,6 +832,21 @@
|
|
|
816
832
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
817
833
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
818
834
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
835
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
836
|
+
--buttonKeybindingHint-danger-borderColor-hover: var(--borderColor-translucent);
|
|
837
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
838
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
839
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
840
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
841
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
842
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
843
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
844
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
845
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
846
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
847
|
+
--buttonKeybindingHint-primary-borderColor-rest: var(--borderColor-translucent);
|
|
848
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
849
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
819
850
|
--card-bgColor: var(--bgColor-default);
|
|
820
851
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
821
852
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
@@ -854,6 +885,10 @@
|
|
|
854
885
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
855
886
|
--button-primary-borderColor-active: var(--button-primary-borderColor-rest);
|
|
856
887
|
--button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
|
|
888
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
889
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
890
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
891
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
857
892
|
--shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
|
|
858
893
|
--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;
|
|
859
894
|
--shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
|
|
@@ -935,6 +970,11 @@
|
|
|
935
970
|
--buttonCounter-danger-fgColor-disabled: #d1242f80;
|
|
936
971
|
--buttonCounter-outline-fgColor-rest: #0550ae;
|
|
937
972
|
--buttonCounter-primary-bgColor-rest: #002d1133;
|
|
973
|
+
--buttonKeybindingHint-danger-bgColor-active: #1f232866;
|
|
974
|
+
--buttonKeybindingHint-danger-bgColor-hover: #1f232833;
|
|
975
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
976
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
977
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #ffffff00;
|
|
938
978
|
--codeMirror-syntax-fgColor-constant: #0550ae;
|
|
939
979
|
--codeMirror-syntax-fgColor-entity: #8250df;
|
|
940
980
|
--codeMirror-syntax-fgColor-keyword: #cf222e;
|
|
@@ -1584,6 +1624,17 @@
|
|
|
1584
1624
|
--buttonCounter-outline-bgColor-rest: #0969da1a;
|
|
1585
1625
|
--buttonCounter-outline-fgColor-disabled: #0969da80;
|
|
1586
1626
|
--buttonCounter-outline-fgColor-hover: #ffffff;
|
|
1627
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1628
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1629
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1630
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1631
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1632
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1633
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1634
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1635
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1636
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #002d111a;
|
|
1637
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1587
1638
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1588
1639
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
1589
1640
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -1679,6 +1730,21 @@
|
|
|
1679
1730
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
1680
1731
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
1681
1732
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
1733
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1734
|
+
--buttonKeybindingHint-danger-borderColor-hover: var(--borderColor-translucent);
|
|
1735
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1736
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1737
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1738
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1739
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1740
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1741
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1742
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1743
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1744
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1745
|
+
--buttonKeybindingHint-primary-borderColor-rest: var(--borderColor-translucent);
|
|
1746
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1747
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1682
1748
|
--card-bgColor: var(--bgColor-default);
|
|
1683
1749
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
1684
1750
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
@@ -1717,6 +1783,10 @@
|
|
|
1717
1783
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
1718
1784
|
--button-primary-borderColor-active: var(--button-primary-borderColor-rest);
|
|
1719
1785
|
--button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
|
|
1786
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1787
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
1788
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
1789
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
1720
1790
|
--shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
|
|
1721
1791
|
--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;
|
|
1722
1792
|
--shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
|