@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.
Files changed (67) hide show
  1. package/dist/css/functional/themes/dark-colorblind-high-contrast.css +70 -0
  2. package/dist/css/functional/themes/dark-colorblind.css +70 -0
  3. package/dist/css/functional/themes/dark-dimmed-high-contrast.css +70 -0
  4. package/dist/css/functional/themes/dark-dimmed.css +70 -0
  5. package/dist/css/functional/themes/dark-high-contrast.css +70 -0
  6. package/dist/css/functional/themes/dark-tritanopia-high-contrast.css +70 -0
  7. package/dist/css/functional/themes/dark-tritanopia.css +70 -0
  8. package/dist/css/functional/themes/dark.css +70 -0
  9. package/dist/css/functional/themes/light-colorblind-high-contrast.css +70 -0
  10. package/dist/css/functional/themes/light-colorblind.css +70 -0
  11. package/dist/css/functional/themes/light-high-contrast.css +70 -0
  12. package/dist/css/functional/themes/light-tritanopia-high-contrast.css +70 -0
  13. package/dist/css/functional/themes/light-tritanopia.css +70 -0
  14. package/dist/css/functional/themes/light.css +70 -0
  15. package/dist/docs/functional/themes/dark-colorblind-high-contrast.json +1373 -0
  16. package/dist/docs/functional/themes/dark-colorblind.json +1377 -0
  17. package/dist/docs/functional/themes/dark-dimmed-high-contrast.json +1373 -0
  18. package/dist/docs/functional/themes/dark-dimmed.json +1377 -0
  19. package/dist/docs/functional/themes/dark-high-contrast.json +1373 -0
  20. package/dist/docs/functional/themes/dark-tritanopia-high-contrast.json +1373 -0
  21. package/dist/docs/functional/themes/dark-tritanopia.json +1377 -0
  22. package/dist/docs/functional/themes/dark.json +1377 -0
  23. package/dist/docs/functional/themes/light-colorblind-high-contrast.json +1373 -0
  24. package/dist/docs/functional/themes/light-colorblind.json +1373 -0
  25. package/dist/docs/functional/themes/light-high-contrast.json +1373 -0
  26. package/dist/docs/functional/themes/light-tritanopia-high-contrast.json +1373 -0
  27. package/dist/docs/functional/themes/light-tritanopia.json +1373 -0
  28. package/dist/docs/functional/themes/light.json +1373 -0
  29. package/dist/figma/themes/dark-colorblind.json +565 -0
  30. package/dist/figma/themes/dark-dimmed.json +565 -0
  31. package/dist/figma/themes/dark-high-contrast.json +563 -0
  32. package/dist/figma/themes/dark-tritanopia.json +565 -0
  33. package/dist/figma/themes/dark.json +565 -0
  34. package/dist/figma/themes/light-colorblind.json +563 -0
  35. package/dist/figma/themes/light-high-contrast.json +563 -0
  36. package/dist/figma/themes/light-tritanopia.json +563 -0
  37. package/dist/figma/themes/light.json +563 -0
  38. package/dist/internalCss/dark-colorblind-high-contrast.css +70 -0
  39. package/dist/internalCss/dark-colorblind.css +70 -0
  40. package/dist/internalCss/dark-dimmed-high-contrast.css +70 -0
  41. package/dist/internalCss/dark-dimmed.css +70 -0
  42. package/dist/internalCss/dark-high-contrast.css +70 -0
  43. package/dist/internalCss/dark-tritanopia-high-contrast.css +70 -0
  44. package/dist/internalCss/dark-tritanopia.css +70 -0
  45. package/dist/internalCss/dark.css +70 -0
  46. package/dist/internalCss/light-colorblind-high-contrast.css +70 -0
  47. package/dist/internalCss/light-colorblind.css +70 -0
  48. package/dist/internalCss/light-high-contrast.css +70 -0
  49. package/dist/internalCss/light-tritanopia-high-contrast.css +70 -0
  50. package/dist/internalCss/light-tritanopia.css +70 -0
  51. package/dist/internalCss/light.css +70 -0
  52. package/dist/styleLint/functional/themes/dark-colorblind-high-contrast.json +1373 -0
  53. package/dist/styleLint/functional/themes/dark-colorblind.json +1377 -0
  54. package/dist/styleLint/functional/themes/dark-dimmed-high-contrast.json +1373 -0
  55. package/dist/styleLint/functional/themes/dark-dimmed.json +1377 -0
  56. package/dist/styleLint/functional/themes/dark-high-contrast.json +1373 -0
  57. package/dist/styleLint/functional/themes/dark-tritanopia-high-contrast.json +1373 -0
  58. package/dist/styleLint/functional/themes/dark-tritanopia.json +1377 -0
  59. package/dist/styleLint/functional/themes/dark.json +1377 -0
  60. package/dist/styleLint/functional/themes/light-colorblind-high-contrast.json +1373 -0
  61. package/dist/styleLint/functional/themes/light-colorblind.json +1373 -0
  62. package/dist/styleLint/functional/themes/light-high-contrast.json +1373 -0
  63. package/dist/styleLint/functional/themes/light-tritanopia-high-contrast.json +1373 -0
  64. package/dist/styleLint/functional/themes/light-tritanopia.json +1373 -0
  65. package/dist/styleLint/functional/themes/light.json +1373 -0
  66. package/package.json +1 -1
  67. 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;