@primer/primitives 11.2.2-rc.fc1eacf3 → 11.3.0
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
|
@@ -87,6 +87,12 @@
|
|
|
87
87
|
--buttonCounter-outline-fgColor-disabled: #74b9ff80;
|
|
88
88
|
--buttonCounter-outline-fgColor-hover: #71b7ff;
|
|
89
89
|
--buttonCounter-outline-fgColor-rest: #5cacff;
|
|
90
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
91
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
92
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
93
|
+
--buttonKeybindingHint-default-bgColor-rest: #262c36;
|
|
94
|
+
--buttonKeybindingHint-inactive-bgColor: #262c36;
|
|
95
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
90
96
|
--codeMirror-selection-bgColor: #5cacff66;
|
|
91
97
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
92
98
|
--codeMirror-syntax-fgColor-constant: #91cbff;
|
|
@@ -698,6 +704,16 @@
|
|
|
698
704
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
699
705
|
--buttonCounter-outline-bgColor-disabled: #194fb10d;
|
|
700
706
|
--buttonCounter-primary-bgColor-rest: #01040926;
|
|
707
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
708
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
709
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
710
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
711
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
712
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
713
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
714
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
715
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
716
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
701
717
|
--card-bgColor: var(--bgColor-muted);
|
|
702
718
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
703
719
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
@@ -809,6 +825,22 @@
|
|
|
809
825
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
810
826
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
811
827
|
--button-primary-iconColor-rest: var(--fgColor-white);
|
|
828
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
829
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
830
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
831
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
832
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
833
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
834
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
835
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
836
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
837
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
|
|
838
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
839
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #0104091a;
|
|
840
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
841
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
842
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
843
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
812
844
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
813
845
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
814
846
|
--codeMirror-fgColor: var(--fgColor-default);
|
|
@@ -856,6 +888,9 @@
|
|
|
856
888
|
--button-invisible-fgColor-active: var(--control-fgColor-rest);
|
|
857
889
|
--button-invisible-fgColor-hover: var(--control-fgColor-rest);
|
|
858
890
|
--button-invisible-fgColor-rest: var(--control-fgColor-rest);
|
|
891
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
892
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
893
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
859
894
|
--controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
|
|
860
895
|
--progressBar-track-borderColor: var(--progressBar-track-bgColor);
|
|
861
896
|
--underlineNav-borderColor-hover: var(--borderColor-neutral-muted);
|
|
@@ -950,6 +985,12 @@
|
|
|
950
985
|
--buttonCounter-outline-fgColor-disabled: #74b9ff80;
|
|
951
986
|
--buttonCounter-outline-fgColor-hover: #71b7ff;
|
|
952
987
|
--buttonCounter-outline-fgColor-rest: #5cacff;
|
|
988
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
989
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
990
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
991
|
+
--buttonKeybindingHint-default-bgColor-rest: #262c36;
|
|
992
|
+
--buttonKeybindingHint-inactive-bgColor: #262c36;
|
|
993
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
953
994
|
--codeMirror-selection-bgColor: #5cacff66;
|
|
954
995
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
955
996
|
--codeMirror-syntax-fgColor-constant: #91cbff;
|
|
@@ -1561,6 +1602,16 @@
|
|
|
1561
1602
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
1562
1603
|
--buttonCounter-outline-bgColor-disabled: #194fb10d;
|
|
1563
1604
|
--buttonCounter-primary-bgColor-rest: #01040926;
|
|
1605
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1606
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1607
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1608
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1609
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1610
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1611
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1612
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1613
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1614
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1564
1615
|
--card-bgColor: var(--bgColor-muted);
|
|
1565
1616
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1566
1617
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
@@ -1672,6 +1723,22 @@
|
|
|
1672
1723
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
1673
1724
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
1674
1725
|
--button-primary-iconColor-rest: var(--fgColor-white);
|
|
1726
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1727
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1728
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1729
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1730
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1731
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1732
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1733
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1734
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1735
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
|
|
1736
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1737
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #0104091a;
|
|
1738
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1739
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1740
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1741
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1675
1742
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
1676
1743
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
1677
1744
|
--codeMirror-fgColor: var(--fgColor-default);
|
|
@@ -1719,6 +1786,9 @@
|
|
|
1719
1786
|
--button-invisible-fgColor-active: var(--control-fgColor-rest);
|
|
1720
1787
|
--button-invisible-fgColor-hover: var(--control-fgColor-rest);
|
|
1721
1788
|
--button-invisible-fgColor-rest: var(--control-fgColor-rest);
|
|
1789
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
1790
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
1791
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
1722
1792
|
--controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
|
|
1723
1793
|
--progressBar-track-borderColor: var(--progressBar-track-bgColor);
|
|
1724
1794
|
--underlineNav-borderColor-hover: var(--borderColor-neutral-muted);
|
|
@@ -81,6 +81,12 @@
|
|
|
81
81
|
--buttonCounter-outline-fgColor-hover: #58a6ff;
|
|
82
82
|
--buttonCounter-outline-fgColor-rest: #388bfd;
|
|
83
83
|
--buttonCounter-primary-bgColor-rest: #04260f33;
|
|
84
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
85
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
86
|
+
--buttonKeybindingHint-danger-borderColor-hover: #0104091a;
|
|
87
|
+
--buttonKeybindingHint-default-bgColor-rest: #2a313c;
|
|
88
|
+
--buttonKeybindingHint-inactive-bgColor: #2a313c;
|
|
89
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #00000000;
|
|
84
90
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
85
91
|
--codeMirror-syntax-fgColor-constant: #79c0ff;
|
|
86
92
|
--codeMirror-syntax-fgColor-entity: #d2a8ff;
|
|
@@ -720,6 +726,19 @@
|
|
|
720
726
|
--buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
|
|
721
727
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
722
728
|
--buttonCounter-outline-bgColor-disabled: #1f6feb0d;
|
|
729
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
730
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
731
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
732
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
733
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
734
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
735
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
736
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
737
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
738
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
739
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #04260f1a;
|
|
740
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
741
|
+
--buttonKeybindingHint-primary-borderColor-rest: #04260f1a;
|
|
723
742
|
--card-bgColor: var(--bgColor-muted);
|
|
724
743
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
725
744
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
@@ -833,6 +852,19 @@
|
|
|
833
852
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
834
853
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
835
854
|
--button-primary-iconColor-rest: var(--fgColor-white);
|
|
855
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
856
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
857
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
858
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
859
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
860
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
861
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
862
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
863
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
864
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
865
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
866
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
867
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
836
868
|
--control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
|
|
837
869
|
--control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
|
|
838
870
|
--control-checked-fgColor-rest: var(--fgColor-onEmphasis);
|
|
@@ -853,6 +885,9 @@
|
|
|
853
885
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
854
886
|
--button-primary-borderColor-active: var(--button-primary-borderColor-rest);
|
|
855
887
|
--button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
|
|
888
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
889
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
890
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
856
891
|
--shadow-floating-large: 0px 0px 0px 1px #3d444d, 0px 24px 48px 0px #010409;
|
|
857
892
|
--shadow-floating-medium: 0px 0px 0px 1px #3d444d, 0px 8px 16px -4px #01040966, 0px 4px 32px -4px #01040966, 0px 24px 48px -12px #01040966, 0px 48px 96px -24px #01040966;
|
|
858
893
|
--shadow-floating-small: 0px 0px 0px 1px #3d444d, 0px 6px 12px -3px #01040966, 0px 6px 18px 0px #01040966;
|
|
@@ -944,6 +979,12 @@
|
|
|
944
979
|
--buttonCounter-outline-fgColor-hover: #58a6ff;
|
|
945
980
|
--buttonCounter-outline-fgColor-rest: #388bfd;
|
|
946
981
|
--buttonCounter-primary-bgColor-rest: #04260f33;
|
|
982
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
983
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
984
|
+
--buttonKeybindingHint-danger-borderColor-hover: #0104091a;
|
|
985
|
+
--buttonKeybindingHint-default-bgColor-rest: #2a313c;
|
|
986
|
+
--buttonKeybindingHint-inactive-bgColor: #2a313c;
|
|
987
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #00000000;
|
|
947
988
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
948
989
|
--codeMirror-syntax-fgColor-constant: #79c0ff;
|
|
949
990
|
--codeMirror-syntax-fgColor-entity: #d2a8ff;
|
|
@@ -1583,6 +1624,19 @@
|
|
|
1583
1624
|
--buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
|
|
1584
1625
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
1585
1626
|
--buttonCounter-outline-bgColor-disabled: #1f6feb0d;
|
|
1627
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1628
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1629
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1630
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1631
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1632
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1633
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1634
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1635
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1636
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1637
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #04260f1a;
|
|
1638
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1639
|
+
--buttonKeybindingHint-primary-borderColor-rest: #04260f1a;
|
|
1586
1640
|
--card-bgColor: var(--bgColor-muted);
|
|
1587
1641
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1588
1642
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
@@ -1696,6 +1750,19 @@
|
|
|
1696
1750
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
1697
1751
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
1698
1752
|
--button-primary-iconColor-rest: var(--fgColor-white);
|
|
1753
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1754
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1755
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1756
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1757
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1758
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1759
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1760
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1761
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1762
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1763
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1764
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1765
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1699
1766
|
--control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
|
|
1700
1767
|
--control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
|
|
1701
1768
|
--control-checked-fgColor-rest: var(--fgColor-onEmphasis);
|
|
@@ -1716,6 +1783,9 @@
|
|
|
1716
1783
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
1717
1784
|
--button-primary-borderColor-active: var(--button-primary-borderColor-rest);
|
|
1718
1785
|
--button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
|
|
1786
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
1787
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
1788
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
1719
1789
|
--shadow-floating-large: 0px 0px 0px 1px #3d444d, 0px 24px 48px 0px #010409;
|
|
1720
1790
|
--shadow-floating-medium: 0px 0px 0px 1px #3d444d, 0px 8px 16px -4px #01040966, 0px 4px 32px -4px #01040966, 0px 24px 48px -12px #01040966, 0px 48px 96px -24px #01040966;
|
|
1721
1791
|
--shadow-floating-small: 0px 0px 0px 1px #3d444d, 0px 6px 12px -3px #01040966, 0px 6px 18px 0px #01040966;
|
|
@@ -87,6 +87,16 @@
|
|
|
87
87
|
--buttonCounter-outline-fgColor-hover: #539bf5;
|
|
88
88
|
--buttonCounter-outline-fgColor-rest: #4184e4;
|
|
89
89
|
--buttonCounter-primary-bgColor-rest: #11341733;
|
|
90
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
91
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
92
|
+
--buttonKeybindingHint-danger-borderColor-hover: #cdd9e5;
|
|
93
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
94
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
95
|
+
--buttonKeybindingHint-default-bgColor-rest: #2a313c;
|
|
96
|
+
--buttonKeybindingHint-inactive-bgColor: #2a313c;
|
|
97
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #00000000;
|
|
98
|
+
--buttonKeybindingHint-primary-borderColor-rest: #cdd9e5;
|
|
99
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
90
100
|
--codeMirror-selection-bgColor: #4184e466;
|
|
91
101
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
92
102
|
--codeMirror-syntax-fgColor-constant: #6cb6ff;
|
|
@@ -705,6 +715,18 @@
|
|
|
705
715
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
706
716
|
--buttonCounter-outline-bgColor-disabled: #1b4b910d;
|
|
707
717
|
--buttonCounter-outline-fgColor-disabled: #96d0ff80;
|
|
718
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
719
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
720
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
721
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
722
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
723
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
724
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
725
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
726
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
727
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
728
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #1134171a;
|
|
729
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
708
730
|
--card-bgColor: var(--bgColor-muted);
|
|
709
731
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
710
732
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
@@ -835,6 +857,16 @@
|
|
|
835
857
|
--button-invisible-fgColor-rest: var(--control-fgColor-rest);
|
|
836
858
|
--button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
|
|
837
859
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
860
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
861
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
862
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
863
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
864
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
865
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
866
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
867
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
868
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
869
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
838
870
|
--control-borderColor-emphasis: var(--borderColor-emphasis);
|
|
839
871
|
--control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
|
|
840
872
|
--controlKnob-bgColor-disabled: var(--control-bgColor-disabled);
|
|
@@ -856,6 +888,9 @@
|
|
|
856
888
|
--borderColor-draft-muted: var(--borderColor-neutral-muted);
|
|
857
889
|
--button-default-borderColor-active: var(--button-default-borderColor-rest);
|
|
858
890
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
891
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
892
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
893
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
859
894
|
--controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
|
|
860
895
|
--progressBar-track-borderColor: var(--progressBar-track-bgColor);
|
|
861
896
|
--underlineNav-borderColor-hover: var(--borderColor-neutral-muted);
|
|
@@ -950,6 +985,16 @@
|
|
|
950
985
|
--buttonCounter-outline-fgColor-hover: #539bf5;
|
|
951
986
|
--buttonCounter-outline-fgColor-rest: #4184e4;
|
|
952
987
|
--buttonCounter-primary-bgColor-rest: #11341733;
|
|
988
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
989
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
990
|
+
--buttonKeybindingHint-danger-borderColor-hover: #cdd9e5;
|
|
991
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
992
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
993
|
+
--buttonKeybindingHint-default-bgColor-rest: #2a313c;
|
|
994
|
+
--buttonKeybindingHint-inactive-bgColor: #2a313c;
|
|
995
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #00000000;
|
|
996
|
+
--buttonKeybindingHint-primary-borderColor-rest: #cdd9e5;
|
|
997
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
953
998
|
--codeMirror-selection-bgColor: #4184e466;
|
|
954
999
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
955
1000
|
--codeMirror-syntax-fgColor-constant: #6cb6ff;
|
|
@@ -1568,6 +1613,18 @@
|
|
|
1568
1613
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
1569
1614
|
--buttonCounter-outline-bgColor-disabled: #1b4b910d;
|
|
1570
1615
|
--buttonCounter-outline-fgColor-disabled: #96d0ff80;
|
|
1616
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1617
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1618
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1619
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1620
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1621
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1622
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1623
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1624
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1625
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1626
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #1134171a;
|
|
1627
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1571
1628
|
--card-bgColor: var(--bgColor-muted);
|
|
1572
1629
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1573
1630
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
@@ -1698,6 +1755,16 @@
|
|
|
1698
1755
|
--button-invisible-fgColor-rest: var(--control-fgColor-rest);
|
|
1699
1756
|
--button-invisible-iconColor-disabled: var(--control-fgColor-disabled);
|
|
1700
1757
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
1758
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1759
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1760
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1761
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1762
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1763
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1764
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1765
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1766
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1767
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1701
1768
|
--control-borderColor-emphasis: var(--borderColor-emphasis);
|
|
1702
1769
|
--control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
|
|
1703
1770
|
--controlKnob-bgColor-disabled: var(--control-bgColor-disabled);
|
|
@@ -1719,6 +1786,9 @@
|
|
|
1719
1786
|
--borderColor-draft-muted: var(--borderColor-neutral-muted);
|
|
1720
1787
|
--button-default-borderColor-active: var(--button-default-borderColor-rest);
|
|
1721
1788
|
--button-default-borderColor-hover: var(--button-default-borderColor-rest);
|
|
1789
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
1790
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
1791
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
1722
1792
|
--controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
|
|
1723
1793
|
--progressBar-track-borderColor: var(--progressBar-track-bgColor);
|
|
1724
1794
|
--underlineNav-borderColor-hover: var(--borderColor-neutral-muted);
|
|
@@ -93,6 +93,12 @@
|
|
|
93
93
|
--buttonCounter-outline-fgColor-hover: #539bf5;
|
|
94
94
|
--buttonCounter-outline-fgColor-rest: #4184e4;
|
|
95
95
|
--buttonCounter-primary-bgColor-rest: #11341733;
|
|
96
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
97
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
98
|
+
--buttonKeybindingHint-danger-borderColor-hover: #0104091a;
|
|
99
|
+
--buttonKeybindingHint-default-bgColor-rest: #2a313c;
|
|
100
|
+
--buttonKeybindingHint-inactive-bgColor: #2a313c;
|
|
101
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #00000000;
|
|
96
102
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
97
103
|
--codeMirror-syntax-fgColor-constant: #6cb6ff;
|
|
98
104
|
--codeMirror-syntax-fgColor-entity: #dcbdfb;
|
|
@@ -734,6 +740,27 @@
|
|
|
734
740
|
--buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
|
|
735
741
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
736
742
|
--buttonCounter-outline-bgColor-disabled: #316dca0d;
|
|
743
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
744
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
745
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
746
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
747
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
748
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
749
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
750
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
751
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
752
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
753
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
754
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
755
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
756
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
757
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
758
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
759
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #1134171a;
|
|
760
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
761
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
762
|
+
--buttonKeybindingHint-primary-borderColor-rest: #1134171a;
|
|
763
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
737
764
|
--card-bgColor: var(--bgColor-muted);
|
|
738
765
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
739
766
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
@@ -850,6 +877,13 @@
|
|
|
850
877
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
851
878
|
--button-outline-borderColor-hover: var(--button-default-borderColor-hover);
|
|
852
879
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
880
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
881
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
882
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
883
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
884
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
885
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
886
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
853
887
|
--control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
|
|
854
888
|
--control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
|
|
855
889
|
--controlKnob-bgColor-disabled: var(--control-bgColor-disabled);
|
|
@@ -860,6 +894,7 @@
|
|
|
860
894
|
--button-outline-borderColor-active: var(--button-outline-borderColor-hover);
|
|
861
895
|
--button-primary-borderColor-active: var(--button-primary-borderColor-rest);
|
|
862
896
|
--button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
|
|
897
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
863
898
|
--button-danger-borderColor-active: var(--button-danger-borderColor-hover);
|
|
864
899
|
}
|
|
865
900
|
@media (prefers-color-scheme: dark) {
|
|
@@ -956,6 +991,12 @@
|
|
|
956
991
|
--buttonCounter-outline-fgColor-hover: #539bf5;
|
|
957
992
|
--buttonCounter-outline-fgColor-rest: #4184e4;
|
|
958
993
|
--buttonCounter-primary-bgColor-rest: #11341733;
|
|
994
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
995
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
996
|
+
--buttonKeybindingHint-danger-borderColor-hover: #0104091a;
|
|
997
|
+
--buttonKeybindingHint-default-bgColor-rest: #2a313c;
|
|
998
|
+
--buttonKeybindingHint-inactive-bgColor: #2a313c;
|
|
999
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #00000000;
|
|
959
1000
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
960
1001
|
--codeMirror-syntax-fgColor-constant: #6cb6ff;
|
|
961
1002
|
--codeMirror-syntax-fgColor-entity: #dcbdfb;
|
|
@@ -1597,6 +1638,27 @@
|
|
|
1597
1638
|
--buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
|
|
1598
1639
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
1599
1640
|
--buttonCounter-outline-bgColor-disabled: #316dca0d;
|
|
1641
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1642
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1643
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1644
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1645
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1646
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1647
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1648
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1649
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1650
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1651
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1652
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1653
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1654
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1655
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1656
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1657
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #1134171a;
|
|
1658
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1659
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1660
|
+
--buttonKeybindingHint-primary-borderColor-rest: #1134171a;
|
|
1661
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1600
1662
|
--card-bgColor: var(--bgColor-muted);
|
|
1601
1663
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1602
1664
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
@@ -1713,6 +1775,13 @@
|
|
|
1713
1775
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
1714
1776
|
--button-outline-borderColor-hover: var(--button-default-borderColor-hover);
|
|
1715
1777
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
1778
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1779
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
1780
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
1781
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1782
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1783
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1784
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1716
1785
|
--control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
|
|
1717
1786
|
--control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
|
|
1718
1787
|
--controlKnob-bgColor-disabled: var(--control-bgColor-disabled);
|
|
@@ -1723,6 +1792,7 @@
|
|
|
1723
1792
|
--button-outline-borderColor-active: var(--button-outline-borderColor-hover);
|
|
1724
1793
|
--button-primary-borderColor-active: var(--button-primary-borderColor-rest);
|
|
1725
1794
|
--button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
|
|
1795
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
1726
1796
|
--button-danger-borderColor-active: var(--button-danger-borderColor-hover);
|
|
1727
1797
|
}
|
|
1728
1798
|
}
|
|
@@ -85,6 +85,12 @@
|
|
|
85
85
|
--buttonCounter-outline-fgColor-disabled: #74b9ff80;
|
|
86
86
|
--buttonCounter-outline-fgColor-hover: #71b7ff;
|
|
87
87
|
--buttonCounter-outline-fgColor-rest: #5cacff;
|
|
88
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
89
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
90
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
91
|
+
--buttonKeybindingHint-default-bgColor-rest: #262c36;
|
|
92
|
+
--buttonKeybindingHint-inactive-bgColor: #262c36;
|
|
93
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
88
94
|
--codeMirror-selection-bgColor: #5cacff66;
|
|
89
95
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
90
96
|
--codeMirror-syntax-fgColor-constant: #91cbff;
|
|
@@ -696,6 +702,16 @@
|
|
|
696
702
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
697
703
|
--buttonCounter-outline-bgColor-disabled: #194fb10d;
|
|
698
704
|
--buttonCounter-primary-bgColor-rest: #01040926;
|
|
705
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
706
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
707
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
708
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
709
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
710
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
711
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
712
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
713
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
714
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
699
715
|
--card-bgColor: var(--bgColor-muted);
|
|
700
716
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
701
717
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
@@ -808,6 +824,22 @@
|
|
|
808
824
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
809
825
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
810
826
|
--button-primary-iconColor-rest: var(--fgColor-white);
|
|
827
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
828
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
829
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
830
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
831
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
832
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
833
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
834
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
835
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
836
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
|
|
837
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
838
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #0104091a;
|
|
839
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
840
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
841
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
842
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
811
843
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
812
844
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
813
845
|
--codeMirror-fgColor: var(--fgColor-default);
|
|
@@ -856,6 +888,9 @@
|
|
|
856
888
|
--button-invisible-fgColor-active: var(--control-fgColor-rest);
|
|
857
889
|
--button-invisible-fgColor-hover: var(--control-fgColor-rest);
|
|
858
890
|
--button-invisible-fgColor-rest: var(--control-fgColor-rest);
|
|
891
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
892
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
893
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
859
894
|
--controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
|
|
860
895
|
--progressBar-track-borderColor: var(--progressBar-track-bgColor);
|
|
861
896
|
--underlineNav-borderColor-hover: var(--borderColor-neutral-muted);
|
|
@@ -948,6 +983,12 @@
|
|
|
948
983
|
--buttonCounter-outline-fgColor-disabled: #74b9ff80;
|
|
949
984
|
--buttonCounter-outline-fgColor-hover: #71b7ff;
|
|
950
985
|
--buttonCounter-outline-fgColor-rest: #5cacff;
|
|
986
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
987
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
988
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
989
|
+
--buttonKeybindingHint-default-bgColor-rest: #262c36;
|
|
990
|
+
--buttonKeybindingHint-inactive-bgColor: #262c36;
|
|
991
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
951
992
|
--codeMirror-selection-bgColor: #5cacff66;
|
|
952
993
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
953
994
|
--codeMirror-syntax-fgColor-constant: #91cbff;
|
|
@@ -1559,6 +1600,16 @@
|
|
|
1559
1600
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
1560
1601
|
--buttonCounter-outline-bgColor-disabled: #194fb10d;
|
|
1561
1602
|
--buttonCounter-primary-bgColor-rest: #01040926;
|
|
1603
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1604
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1605
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1606
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1607
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1608
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1609
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1610
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1611
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1612
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1562
1613
|
--card-bgColor: var(--bgColor-muted);
|
|
1563
1614
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1564
1615
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
@@ -1671,6 +1722,22 @@
|
|
|
1671
1722
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
1672
1723
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
1673
1724
|
--button-primary-iconColor-rest: var(--fgColor-white);
|
|
1725
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1726
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1727
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1728
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1729
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1730
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1731
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1732
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1733
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1734
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
|
|
1735
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1736
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #0104091a;
|
|
1737
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1738
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1739
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1740
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1674
1741
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
1675
1742
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
1676
1743
|
--codeMirror-fgColor: var(--fgColor-default);
|
|
@@ -1719,6 +1786,9 @@
|
|
|
1719
1786
|
--button-invisible-fgColor-active: var(--control-fgColor-rest);
|
|
1720
1787
|
--button-invisible-fgColor-hover: var(--control-fgColor-rest);
|
|
1721
1788
|
--button-invisible-fgColor-rest: var(--control-fgColor-rest);
|
|
1789
|
+
--buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
|
|
1790
|
+
--buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
|
|
1791
|
+
--buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
|
|
1722
1792
|
--controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
|
|
1723
1793
|
--progressBar-track-borderColor: var(--progressBar-track-bgColor);
|
|
1724
1794
|
--underlineNav-borderColor-hover: var(--borderColor-neutral-muted);
|