@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
|
@@ -88,6 +88,12 @@
|
|
|
88
88
|
--buttonCounter-outline-fgColor-disabled: #74b9ff80;
|
|
89
89
|
--buttonCounter-outline-fgColor-hover: #71b7ff;
|
|
90
90
|
--buttonCounter-outline-fgColor-rest: #5cacff;
|
|
91
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
92
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
93
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
94
|
+
--buttonKeybindingHint-default-bgColor-rest: #262c36;
|
|
95
|
+
--buttonKeybindingHint-inactive-bgColor: #262c36;
|
|
96
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
91
97
|
--codeMirror-selection-bgColor: #5cacff66;
|
|
92
98
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
93
99
|
--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);
|
|
@@ -951,6 +986,12 @@
|
|
|
951
986
|
--buttonCounter-outline-fgColor-disabled: #74b9ff80;
|
|
952
987
|
--buttonCounter-outline-fgColor-hover: #71b7ff;
|
|
953
988
|
--buttonCounter-outline-fgColor-rest: #5cacff;
|
|
989
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
990
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
991
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
992
|
+
--buttonKeybindingHint-default-bgColor-rest: #262c36;
|
|
993
|
+
--buttonKeybindingHint-inactive-bgColor: #262c36;
|
|
994
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
954
995
|
--codeMirror-selection-bgColor: #5cacff66;
|
|
955
996
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
956
997
|
--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);
|
|
@@ -85,6 +85,12 @@
|
|
|
85
85
|
--buttonCounter-outline-fgColor-hover: #58a6ff;
|
|
86
86
|
--buttonCounter-outline-fgColor-rest: #388bfd;
|
|
87
87
|
--buttonCounter-primary-bgColor-rest: #04260f33;
|
|
88
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
89
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
90
|
+
--buttonKeybindingHint-danger-borderColor-hover: #0104091a;
|
|
91
|
+
--buttonKeybindingHint-default-bgColor-rest: #2a313c;
|
|
92
|
+
--buttonKeybindingHint-inactive-bgColor: #2a313c;
|
|
93
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #00000000;
|
|
88
94
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
89
95
|
--codeMirror-syntax-fgColor-constant: #79c0ff;
|
|
90
96
|
--codeMirror-syntax-fgColor-entity: #d2a8ff;
|
|
@@ -721,6 +727,19 @@
|
|
|
721
727
|
--buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
|
|
722
728
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
723
729
|
--buttonCounter-outline-bgColor-disabled: #1f6feb0d;
|
|
730
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
731
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
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: #04260f1a;
|
|
741
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
742
|
+
--buttonKeybindingHint-primary-borderColor-rest: #04260f1a;
|
|
724
743
|
--card-bgColor: var(--bgColor-muted);
|
|
725
744
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
726
745
|
--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;
|
|
@@ -948,6 +983,12 @@
|
|
|
948
983
|
--buttonCounter-outline-fgColor-hover: #58a6ff;
|
|
949
984
|
--buttonCounter-outline-fgColor-rest: #388bfd;
|
|
950
985
|
--buttonCounter-primary-bgColor-rest: #04260f33;
|
|
986
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
987
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
988
|
+
--buttonKeybindingHint-danger-borderColor-hover: #0104091a;
|
|
989
|
+
--buttonKeybindingHint-default-bgColor-rest: #2a313c;
|
|
990
|
+
--buttonKeybindingHint-inactive-bgColor: #2a313c;
|
|
991
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #00000000;
|
|
951
992
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
952
993
|
--codeMirror-syntax-fgColor-constant: #79c0ff;
|
|
953
994
|
--codeMirror-syntax-fgColor-entity: #d2a8ff;
|
|
@@ -1584,6 +1625,19 @@
|
|
|
1584
1625
|
--buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
|
|
1585
1626
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
1586
1627
|
--buttonCounter-outline-bgColor-disabled: #1f6feb0d;
|
|
1628
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1629
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
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: #04260f1a;
|
|
1639
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1640
|
+
--buttonKeybindingHint-primary-borderColor-rest: #04260f1a;
|
|
1587
1641
|
--card-bgColor: var(--bgColor-muted);
|
|
1588
1642
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1589
1643
|
--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;
|
|
@@ -79,6 +79,12 @@
|
|
|
79
79
|
--buttonCounter-outline-fgColor-hover: #58a6ff;
|
|
80
80
|
--buttonCounter-outline-fgColor-rest: #388bfd;
|
|
81
81
|
--buttonCounter-primary-bgColor-rest: #04260f33;
|
|
82
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
83
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
84
|
+
--buttonKeybindingHint-danger-borderColor-hover: #0104091a;
|
|
85
|
+
--buttonKeybindingHint-default-bgColor-rest: #2a313c;
|
|
86
|
+
--buttonKeybindingHint-inactive-bgColor: #2a313c;
|
|
87
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #00000000;
|
|
82
88
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
83
89
|
--codeMirror-syntax-fgColor-constant: #79c0ff;
|
|
84
90
|
--codeMirror-syntax-fgColor-entity: #d2a8ff;
|
|
@@ -716,6 +722,19 @@
|
|
|
716
722
|
--buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
|
|
717
723
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
718
724
|
--buttonCounter-outline-bgColor-disabled: #1f6feb0d;
|
|
725
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
726
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
727
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
728
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
729
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
730
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
731
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
732
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
733
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
734
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
735
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #04260f1a;
|
|
736
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
737
|
+
--buttonKeybindingHint-primary-borderColor-rest: #04260f1a;
|
|
719
738
|
--card-bgColor: var(--bgColor-muted);
|
|
720
739
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
721
740
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
@@ -832,6 +851,19 @@
|
|
|
832
851
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
833
852
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
834
853
|
--button-primary-iconColor-rest: var(--fgColor-white);
|
|
854
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
855
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
856
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
857
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
858
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
859
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
860
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
861
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
862
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
863
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
864
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
865
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
866
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
835
867
|
--control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
|
|
836
868
|
--control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
|
|
837
869
|
--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;
|
|
@@ -942,6 +977,12 @@
|
|
|
942
977
|
--buttonCounter-outline-fgColor-hover: #58a6ff;
|
|
943
978
|
--buttonCounter-outline-fgColor-rest: #388bfd;
|
|
944
979
|
--buttonCounter-primary-bgColor-rest: #04260f33;
|
|
980
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
981
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
982
|
+
--buttonKeybindingHint-danger-borderColor-hover: #0104091a;
|
|
983
|
+
--buttonKeybindingHint-default-bgColor-rest: #2a313c;
|
|
984
|
+
--buttonKeybindingHint-inactive-bgColor: #2a313c;
|
|
985
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #00000000;
|
|
945
986
|
--codeMirror-syntax-fgColor-comment: #656c76;
|
|
946
987
|
--codeMirror-syntax-fgColor-constant: #79c0ff;
|
|
947
988
|
--codeMirror-syntax-fgColor-entity: #d2a8ff;
|
|
@@ -1579,6 +1620,19 @@
|
|
|
1579
1620
|
--buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
|
|
1580
1621
|
--buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
|
|
1581
1622
|
--buttonCounter-outline-bgColor-disabled: #1f6feb0d;
|
|
1623
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1624
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1625
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1626
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1627
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1628
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1629
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1630
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1631
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1632
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1633
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #04260f1a;
|
|
1634
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1635
|
+
--buttonKeybindingHint-primary-borderColor-rest: #04260f1a;
|
|
1582
1636
|
--card-bgColor: var(--bgColor-muted);
|
|
1583
1637
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1584
1638
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
@@ -1695,6 +1749,19 @@
|
|
|
1695
1749
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
1696
1750
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
1697
1751
|
--button-primary-iconColor-rest: var(--fgColor-white);
|
|
1752
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1753
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1754
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1755
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1756
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1757
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1758
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1759
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1760
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1761
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1762
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1763
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1764
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1698
1765
|
--control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
|
|
1699
1766
|
--control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
|
|
1700
1767
|
--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;
|
|
@@ -78,6 +78,12 @@
|
|
|
78
78
|
--buttonCounter-default-bgColor-rest: #c8d1da;
|
|
79
79
|
--buttonCounter-outline-fgColor-rest: #023b95;
|
|
80
80
|
--buttonCounter-primary-bgColor-rest: #00230b33;
|
|
81
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
82
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
83
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
84
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
85
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
86
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
81
87
|
--codeMirror-syntax-fgColor-constant: #023b95;
|
|
82
88
|
--codeMirror-syntax-fgColor-entity: #622cbc;
|
|
83
89
|
--codeMirror-syntax-fgColor-keyword: #873800;
|
|
@@ -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) {
|
|
@@ -941,6 +976,12 @@
|
|
|
941
976
|
--buttonCounter-default-bgColor-rest: #c8d1da;
|
|
942
977
|
--buttonCounter-outline-fgColor-rest: #023b95;
|
|
943
978
|
--buttonCounter-primary-bgColor-rest: #00230b33;
|
|
979
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
980
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
981
|
+
--buttonKeybindingHint-danger-borderColor-hover: #ffffff;
|
|
982
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
983
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
984
|
+
--buttonKeybindingHint-primary-borderColor-rest: #ffffff;
|
|
944
985
|
--codeMirror-syntax-fgColor-constant: #023b95;
|
|
945
986
|
--codeMirror-syntax-fgColor-entity: #622cbc;
|
|
946
987
|
--codeMirror-syntax-fgColor-keyword: #873800;
|
|
@@ -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
|
}
|
|
@@ -70,6 +70,11 @@
|
|
|
70
70
|
--buttonCounter-danger-fgColor-rest: #953800;
|
|
71
71
|
--buttonCounter-outline-fgColor-rest: #0550ae;
|
|
72
72
|
--buttonCounter-primary-bgColor-rest: #002d1133;
|
|
73
|
+
--buttonKeybindingHint-danger-bgColor-active: #1f232866;
|
|
74
|
+
--buttonKeybindingHint-danger-bgColor-hover: #1f232833;
|
|
75
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
76
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
77
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #ffffff00;
|
|
73
78
|
--codeMirror-syntax-fgColor-constant: #0550ae;
|
|
74
79
|
--codeMirror-syntax-fgColor-entity: #8250df;
|
|
75
80
|
--codeMirror-syntax-fgColor-keyword: #bc4c00;
|
|
@@ -720,6 +725,17 @@
|
|
|
720
725
|
--buttonCounter-outline-bgColor-rest: #0969da1a;
|
|
721
726
|
--buttonCounter-outline-fgColor-disabled: #0969da80;
|
|
722
727
|
--buttonCounter-outline-fgColor-hover: #ffffff;
|
|
728
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
729
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
730
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
731
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
732
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
733
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
734
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
735
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
736
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
737
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #002d111a;
|
|
738
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
723
739
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
724
740
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
725
741
|
--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;
|
|
@@ -933,6 +968,11 @@
|
|
|
933
968
|
--buttonCounter-danger-fgColor-rest: #953800;
|
|
934
969
|
--buttonCounter-outline-fgColor-rest: #0550ae;
|
|
935
970
|
--buttonCounter-primary-bgColor-rest: #002d1133;
|
|
971
|
+
--buttonKeybindingHint-danger-bgColor-active: #1f232866;
|
|
972
|
+
--buttonKeybindingHint-danger-bgColor-hover: #1f232833;
|
|
973
|
+
--buttonKeybindingHint-default-bgColor-rest: #eff2f5;
|
|
974
|
+
--buttonKeybindingHint-inactive-bgColor: #eff2f5;
|
|
975
|
+
--buttonKeybindingHint-invisible-borderColor-rest: #ffffff00;
|
|
936
976
|
--codeMirror-syntax-fgColor-constant: #0550ae;
|
|
937
977
|
--codeMirror-syntax-fgColor-entity: #8250df;
|
|
938
978
|
--codeMirror-syntax-fgColor-keyword: #bc4c00;
|
|
@@ -1583,6 +1623,17 @@
|
|
|
1583
1623
|
--buttonCounter-outline-bgColor-rest: #0969da1a;
|
|
1584
1624
|
--buttonCounter-outline-fgColor-disabled: #0969da80;
|
|
1585
1625
|
--buttonCounter-outline-fgColor-hover: #ffffff;
|
|
1626
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1627
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1628
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1629
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1630
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1631
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1632
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1633
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1634
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1635
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #002d111a;
|
|
1636
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1586
1637
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1587
1638
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
1588
1639
|
--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;
|