@primer/primitives 11.2.2-rc.fc1eacf3 → 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
@@ -392,6 +392,12 @@
392
392
  --buttonCounter-outline-fgColor-disabled: #74b9ff80;
393
393
  --buttonCounter-outline-fgColor-hover: var(--base-color-blue-3);
394
394
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-4);
395
+ --buttonKeybindingHint-danger-bgColor-active: #01040966;
396
+ --buttonKeybindingHint-danger-bgColor-hover: #01040933;
397
+ --buttonKeybindingHint-danger-borderColor-hover: var(--base-color-white);
398
+ --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-4);
399
+ --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-4);
400
+ --buttonKeybindingHint-primary-borderColor-rest: var(--base-color-white);
395
401
  --codeMirror-selection-bgColor: #5cacff66;
396
402
  --codeMirror-syntax-fgColor-comment: var(--base-color-neutral-8);
397
403
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-2);
@@ -1002,6 +1008,16 @@
1002
1008
  --buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
1003
1009
  --buttonCounter-outline-bgColor-disabled: #194fb10d;
1004
1010
  --buttonCounter-primary-bgColor-rest: #01040926;
1011
+ --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
1012
+ --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
1013
+ --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
1014
+ --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
1015
+ --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
1016
+ --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
1017
+ --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
1018
+ --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
1019
+ --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
1020
+ --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
1005
1021
  --card-bgColor: var(--bgColor-muted);
1006
1022
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
1007
1023
  --codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
@@ -1113,6 +1129,22 @@
1113
1129
  --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
1114
1130
  --button-primary-fgColor-rest: var(--fgColor-white);
1115
1131
  --button-primary-iconColor-rest: var(--fgColor-white);
1132
+ --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
1133
+ --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
1134
+ --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
1135
+ --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
1136
+ --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
1137
+ --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
1138
+ --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
1139
+ --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
1140
+ --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
1141
+ --buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
1142
+ --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
1143
+ --buttonKeybindingHint-primary-bgColor-disabled: #0104091a;
1144
+ --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
1145
+ --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
1146
+ --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
1147
+ --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
1116
1148
  --codeMirror-bgColor: var(--bgColor-default);
1117
1149
  --codeMirror-cursor-fgColor: var(--fgColor-default);
1118
1150
  --codeMirror-fgColor: var(--fgColor-default);
@@ -1160,6 +1192,9 @@
1160
1192
  --button-invisible-fgColor-active: var(--control-fgColor-rest);
1161
1193
  --button-invisible-fgColor-hover: var(--control-fgColor-rest);
1162
1194
  --button-invisible-fgColor-rest: var(--control-fgColor-rest);
1195
+ --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
1196
+ --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
1197
+ --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
1163
1198
  --controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
1164
1199
  --progressBar-track-borderColor: var(--progressBar-track-bgColor);
1165
1200
  --underlineNav-borderColor-hover: var(--borderColor-neutral-muted);
@@ -1559,6 +1594,12 @@
1559
1594
  --buttonCounter-outline-fgColor-disabled: #74b9ff80;
1560
1595
  --buttonCounter-outline-fgColor-hover: var(--base-color-blue-3);
1561
1596
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-4);
1597
+ --buttonKeybindingHint-danger-bgColor-active: #01040966;
1598
+ --buttonKeybindingHint-danger-bgColor-hover: #01040933;
1599
+ --buttonKeybindingHint-danger-borderColor-hover: var(--base-color-white);
1600
+ --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-4);
1601
+ --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-4);
1602
+ --buttonKeybindingHint-primary-borderColor-rest: var(--base-color-white);
1562
1603
  --codeMirror-selection-bgColor: #5cacff66;
1563
1604
  --codeMirror-syntax-fgColor-comment: var(--base-color-neutral-8);
1564
1605
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-2);
@@ -2169,6 +2210,16 @@
2169
2210
  --buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
2170
2211
  --buttonCounter-outline-bgColor-disabled: #194fb10d;
2171
2212
  --buttonCounter-primary-bgColor-rest: #01040926;
2213
+ --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
2214
+ --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
2215
+ --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
2216
+ --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
2217
+ --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
2218
+ --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
2219
+ --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
2220
+ --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
2221
+ --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
2222
+ --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
2172
2223
  --card-bgColor: var(--bgColor-muted);
2173
2224
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
2174
2225
  --codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
@@ -2280,6 +2331,22 @@
2280
2331
  --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
2281
2332
  --button-primary-fgColor-rest: var(--fgColor-white);
2282
2333
  --button-primary-iconColor-rest: var(--fgColor-white);
2334
+ --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
2335
+ --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
2336
+ --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
2337
+ --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
2338
+ --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
2339
+ --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
2340
+ --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
2341
+ --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
2342
+ --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
2343
+ --buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
2344
+ --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
2345
+ --buttonKeybindingHint-primary-bgColor-disabled: #0104091a;
2346
+ --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
2347
+ --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
2348
+ --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
2349
+ --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
2283
2350
  --codeMirror-bgColor: var(--bgColor-default);
2284
2351
  --codeMirror-cursor-fgColor: var(--fgColor-default);
2285
2352
  --codeMirror-fgColor: var(--fgColor-default);
@@ -2327,6 +2394,9 @@
2327
2394
  --button-invisible-fgColor-active: var(--control-fgColor-rest);
2328
2395
  --button-invisible-fgColor-hover: var(--control-fgColor-rest);
2329
2396
  --button-invisible-fgColor-rest: var(--control-fgColor-rest);
2397
+ --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
2398
+ --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
2399
+ --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
2330
2400
  --controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
2331
2401
  --progressBar-track-borderColor: var(--progressBar-track-bgColor);
2332
2402
  --underlineNav-borderColor-hover: var(--borderColor-neutral-muted);
@@ -389,6 +389,12 @@
389
389
  --buttonCounter-outline-fgColor-hover: var(--base-color-blue-3);
390
390
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-4);
391
391
  --buttonCounter-primary-bgColor-rest: #04260f33;
392
+ --buttonKeybindingHint-danger-bgColor-active: #01040966;
393
+ --buttonKeybindingHint-danger-bgColor-hover: #01040933;
394
+ --buttonKeybindingHint-danger-borderColor-hover: #0104091a;
395
+ --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-5);
396
+ --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-5);
397
+ --buttonKeybindingHint-invisible-borderColor-rest: var(--base-color-transparent);
392
398
  --codeMirror-syntax-fgColor-comment: var(--base-color-neutral-8);
393
399
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-2);
394
400
  --codeMirror-syntax-fgColor-entity: var(--base-color-purple-2);
@@ -1025,6 +1031,19 @@
1025
1031
  --buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
1026
1032
  --buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
1027
1033
  --buttonCounter-outline-bgColor-disabled: #1f6feb0d;
1034
+ --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
1035
+ --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
1036
+ --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
1037
+ --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
1038
+ --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
1039
+ --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
1040
+ --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
1041
+ --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
1042
+ --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
1043
+ --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
1044
+ --buttonKeybindingHint-primary-bgColor-disabled: #04260f1a;
1045
+ --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
1046
+ --buttonKeybindingHint-primary-borderColor-rest: #04260f1a;
1028
1047
  --card-bgColor: var(--bgColor-muted);
1029
1048
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
1030
1049
  --codeMirror-bgColor: var(--bgColor-default);
@@ -1137,6 +1156,19 @@
1137
1156
  --button-primary-borderColor-rest: var(--borderColor-translucent);
1138
1157
  --button-primary-fgColor-rest: var(--fgColor-white);
1139
1158
  --button-primary-iconColor-rest: var(--fgColor-white);
1159
+ --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
1160
+ --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
1161
+ --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
1162
+ --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
1163
+ --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
1164
+ --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
1165
+ --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
1166
+ --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
1167
+ --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
1168
+ --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
1169
+ --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
1170
+ --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
1171
+ --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
1140
1172
  --control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
1141
1173
  --control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
1142
1174
  --control-checked-fgColor-rest: var(--fgColor-onEmphasis);
@@ -1157,6 +1189,9 @@
1157
1189
  --button-default-borderColor-hover: var(--button-default-borderColor-rest);
1158
1190
  --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
1159
1191
  --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
1192
+ --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
1193
+ --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
1194
+ --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
1160
1195
  --shadow-floating-large: 0px 0px 0px 1px #3d444d, 0px 24px 48px 0px #010409;
1161
1196
  --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;
1162
1197
  --shadow-floating-small: 0px 0px 0px 1px #3d444d, 0px 6px 12px -3px #01040966, 0px 6px 18px 0px #01040966;
@@ -1556,6 +1591,12 @@
1556
1591
  --buttonCounter-outline-fgColor-hover: var(--base-color-blue-3);
1557
1592
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-4);
1558
1593
  --buttonCounter-primary-bgColor-rest: #04260f33;
1594
+ --buttonKeybindingHint-danger-bgColor-active: #01040966;
1595
+ --buttonKeybindingHint-danger-bgColor-hover: #01040933;
1596
+ --buttonKeybindingHint-danger-borderColor-hover: #0104091a;
1597
+ --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-5);
1598
+ --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-5);
1599
+ --buttonKeybindingHint-invisible-borderColor-rest: var(--base-color-transparent);
1559
1600
  --codeMirror-syntax-fgColor-comment: var(--base-color-neutral-8);
1560
1601
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-2);
1561
1602
  --codeMirror-syntax-fgColor-entity: var(--base-color-purple-2);
@@ -2192,6 +2233,19 @@
2192
2233
  --buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
2193
2234
  --buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
2194
2235
  --buttonCounter-outline-bgColor-disabled: #1f6feb0d;
2236
+ --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
2237
+ --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
2238
+ --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
2239
+ --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
2240
+ --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
2241
+ --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
2242
+ --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
2243
+ --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
2244
+ --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
2245
+ --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
2246
+ --buttonKeybindingHint-primary-bgColor-disabled: #04260f1a;
2247
+ --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
2248
+ --buttonKeybindingHint-primary-borderColor-rest: #04260f1a;
2195
2249
  --card-bgColor: var(--bgColor-muted);
2196
2250
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
2197
2251
  --codeMirror-bgColor: var(--bgColor-default);
@@ -2304,6 +2358,19 @@
2304
2358
  --button-primary-borderColor-rest: var(--borderColor-translucent);
2305
2359
  --button-primary-fgColor-rest: var(--fgColor-white);
2306
2360
  --button-primary-iconColor-rest: var(--fgColor-white);
2361
+ --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
2362
+ --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
2363
+ --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
2364
+ --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
2365
+ --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
2366
+ --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
2367
+ --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
2368
+ --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
2369
+ --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
2370
+ --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
2371
+ --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
2372
+ --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
2373
+ --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
2307
2374
  --control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
2308
2375
  --control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
2309
2376
  --control-checked-fgColor-rest: var(--fgColor-onEmphasis);
@@ -2324,6 +2391,9 @@
2324
2391
  --button-default-borderColor-hover: var(--button-default-borderColor-rest);
2325
2392
  --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
2326
2393
  --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
2394
+ --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
2395
+ --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
2396
+ --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
2327
2397
  --shadow-floating-large: 0px 0px 0px 1px #3d444d, 0px 24px 48px 0px #010409;
2328
2398
  --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;
2329
2399
  --shadow-floating-small: 0px 0px 0px 1px #3d444d, 0px 6px 12px -3px #01040966, 0px 6px 18px 0px #01040966;
@@ -383,6 +383,12 @@
383
383
  --buttonCounter-outline-fgColor-hover: var(--base-color-blue-3);
384
384
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-4);
385
385
  --buttonCounter-primary-bgColor-rest: #04260f33;
386
+ --buttonKeybindingHint-danger-bgColor-active: #01040966;
387
+ --buttonKeybindingHint-danger-bgColor-hover: #01040933;
388
+ --buttonKeybindingHint-danger-borderColor-hover: #0104091a;
389
+ --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-5);
390
+ --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-5);
391
+ --buttonKeybindingHint-invisible-borderColor-rest: var(--base-color-transparent);
386
392
  --codeMirror-syntax-fgColor-comment: var(--base-color-neutral-8);
387
393
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-2);
388
394
  --codeMirror-syntax-fgColor-entity: var(--base-color-purple-2);
@@ -1020,6 +1026,19 @@
1020
1026
  --buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
1021
1027
  --buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
1022
1028
  --buttonCounter-outline-bgColor-disabled: #1f6feb0d;
1029
+ --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
1030
+ --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
1031
+ --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
1032
+ --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
1033
+ --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
1034
+ --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
1035
+ --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
1036
+ --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
1037
+ --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
1038
+ --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
1039
+ --buttonKeybindingHint-primary-bgColor-disabled: #04260f1a;
1040
+ --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
1041
+ --buttonKeybindingHint-primary-borderColor-rest: #04260f1a;
1023
1042
  --card-bgColor: var(--bgColor-muted);
1024
1043
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
1025
1044
  --codeMirror-bgColor: var(--bgColor-default);
@@ -1136,6 +1155,19 @@
1136
1155
  --button-primary-borderColor-rest: var(--borderColor-translucent);
1137
1156
  --button-primary-fgColor-rest: var(--fgColor-white);
1138
1157
  --button-primary-iconColor-rest: var(--fgColor-white);
1158
+ --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
1159
+ --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
1160
+ --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
1161
+ --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
1162
+ --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
1163
+ --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
1164
+ --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
1165
+ --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
1166
+ --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
1167
+ --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
1168
+ --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
1169
+ --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
1170
+ --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
1139
1171
  --control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
1140
1172
  --control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
1141
1173
  --control-checked-fgColor-rest: var(--fgColor-onEmphasis);
@@ -1157,6 +1189,9 @@
1157
1189
  --button-default-borderColor-hover: var(--button-default-borderColor-rest);
1158
1190
  --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
1159
1191
  --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
1192
+ --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
1193
+ --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
1194
+ --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
1160
1195
  --shadow-floating-large: 0px 0px 0px 1px #3d444d, 0px 24px 48px 0px #010409;
1161
1196
  --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;
1162
1197
  --shadow-floating-small: 0px 0px 0px 1px #3d444d, 0px 6px 12px -3px #01040966, 0px 6px 18px 0px #01040966;
@@ -1550,6 +1585,12 @@
1550
1585
  --buttonCounter-outline-fgColor-hover: var(--base-color-blue-3);
1551
1586
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-4);
1552
1587
  --buttonCounter-primary-bgColor-rest: #04260f33;
1588
+ --buttonKeybindingHint-danger-bgColor-active: #01040966;
1589
+ --buttonKeybindingHint-danger-bgColor-hover: #01040933;
1590
+ --buttonKeybindingHint-danger-borderColor-hover: #0104091a;
1591
+ --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-5);
1592
+ --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-5);
1593
+ --buttonKeybindingHint-invisible-borderColor-rest: var(--base-color-transparent);
1553
1594
  --codeMirror-syntax-fgColor-comment: var(--base-color-neutral-8);
1554
1595
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-2);
1555
1596
  --codeMirror-syntax-fgColor-entity: var(--base-color-purple-2);
@@ -2187,6 +2228,19 @@
2187
2228
  --buttonCounter-danger-fgColor-rest: var(--fgColor-danger);
2188
2229
  --buttonCounter-invisible-bgColor-rest: var(--bgColor-neutral-muted);
2189
2230
  --buttonCounter-outline-bgColor-disabled: #1f6feb0d;
2231
+ --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
2232
+ --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
2233
+ --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
2234
+ --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
2235
+ --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
2236
+ --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
2237
+ --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
2238
+ --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
2239
+ --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
2240
+ --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
2241
+ --buttonKeybindingHint-primary-bgColor-disabled: #04260f1a;
2242
+ --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
2243
+ --buttonKeybindingHint-primary-borderColor-rest: #04260f1a;
2190
2244
  --card-bgColor: var(--bgColor-muted);
2191
2245
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
2192
2246
  --codeMirror-bgColor: var(--bgColor-default);
@@ -2303,6 +2357,19 @@
2303
2357
  --button-primary-borderColor-rest: var(--borderColor-translucent);
2304
2358
  --button-primary-fgColor-rest: var(--fgColor-white);
2305
2359
  --button-primary-iconColor-rest: var(--fgColor-white);
2360
+ --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
2361
+ --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
2362
+ --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
2363
+ --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
2364
+ --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
2365
+ --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
2366
+ --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
2367
+ --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
2368
+ --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
2369
+ --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
2370
+ --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
2371
+ --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
2372
+ --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
2306
2373
  --control-checked-borderColor-disabled: var(--control-checked-bgColor-disabled);
2307
2374
  --control-checked-borderColor-rest: var(--control-checked-bgColor-rest);
2308
2375
  --control-checked-fgColor-rest: var(--fgColor-onEmphasis);
@@ -2324,6 +2391,9 @@
2324
2391
  --button-default-borderColor-hover: var(--button-default-borderColor-rest);
2325
2392
  --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
2326
2393
  --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
2394
+ --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
2395
+ --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
2396
+ --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
2327
2397
  --shadow-floating-large: 0px 0px 0px 1px #3d444d, 0px 24px 48px 0px #010409;
2328
2398
  --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;
2329
2399
  --shadow-floating-small: 0px 0px 0px 1px #3d444d, 0px 6px 12px -3px #01040966, 0px 6px 18px 0px #01040966;
@@ -381,6 +381,12 @@
381
381
  --buttonCounter-default-bgColor-rest: var(--base-color-neutral-7);
382
382
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
383
383
  --buttonCounter-primary-bgColor-rest: #00230b33;
384
+ --buttonKeybindingHint-danger-bgColor-active: #01040966;
385
+ --buttonKeybindingHint-danger-bgColor-hover: #01040933;
386
+ --buttonKeybindingHint-danger-borderColor-hover: var(--base-color-white);
387
+ --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
388
+ --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
389
+ --buttonKeybindingHint-primary-borderColor-rest: var(--base-color-white);
384
390
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
385
391
  --codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
386
392
  --codeMirror-syntax-fgColor-keyword: var(--base-color-orange-5);
@@ -1007,6 +1013,18 @@
1007
1013
  --buttonCounter-outline-bgColor-rest: #0349b41a;
1008
1014
  --buttonCounter-outline-fgColor-disabled: #023b9580;
1009
1015
  --buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
1016
+ --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
1017
+ --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
1018
+ --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
1019
+ --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
1020
+ --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
1021
+ --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
1022
+ --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
1023
+ --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
1024
+ --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
1025
+ --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
1026
+ --buttonKeybindingHint-primary-bgColor-disabled: #00230b1a;
1027
+ --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
1010
1028
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
1011
1029
  --codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
1012
1030
  --codeMirror-lineNumber-fgColor: var(--fgColor-muted);
@@ -1123,6 +1141,20 @@
1123
1141
  --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
1124
1142
  --button-primary-fgColor-rest: var(--fgColor-white);
1125
1143
  --button-primary-iconColor-rest: #ffffffcc;
1144
+ --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
1145
+ --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
1146
+ --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
1147
+ --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
1148
+ --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
1149
+ --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
1150
+ --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
1151
+ --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
1152
+ --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
1153
+ --buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
1154
+ --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
1155
+ --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
1156
+ --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
1157
+ --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
1126
1158
  --card-bgColor: var(--bgColor-default);
1127
1159
  --codeMirror-bgColor: var(--bgColor-default);
1128
1160
  --codeMirror-cursor-fgColor: var(--fgColor-default);
@@ -1164,6 +1196,9 @@
1164
1196
  --underlineNav-borderColor-hover: var(--borderColor-muted);
1165
1197
  --border-neutral-muted: 0.0625rem solid #454c54;
1166
1198
  --button-default-borderColor-hover: var(--button-default-borderColor-rest);
1199
+ --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
1200
+ --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
1201
+ --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
1167
1202
  --controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
1168
1203
  }
1169
1204
  @media (prefers-color-scheme: dark) {
@@ -1548,6 +1583,12 @@
1548
1583
  --buttonCounter-default-bgColor-rest: var(--base-color-neutral-7);
1549
1584
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
1550
1585
  --buttonCounter-primary-bgColor-rest: #00230b33;
1586
+ --buttonKeybindingHint-danger-bgColor-active: #01040966;
1587
+ --buttonKeybindingHint-danger-bgColor-hover: #01040933;
1588
+ --buttonKeybindingHint-danger-borderColor-hover: var(--base-color-white);
1589
+ --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
1590
+ --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
1591
+ --buttonKeybindingHint-primary-borderColor-rest: var(--base-color-white);
1551
1592
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
1552
1593
  --codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
1553
1594
  --codeMirror-syntax-fgColor-keyword: var(--base-color-orange-5);
@@ -2174,6 +2215,18 @@
2174
2215
  --buttonCounter-outline-bgColor-rest: #0349b41a;
2175
2216
  --buttonCounter-outline-fgColor-disabled: #023b9580;
2176
2217
  --buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
2218
+ --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
2219
+ --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
2220
+ --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
2221
+ --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
2222
+ --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
2223
+ --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
2224
+ --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
2225
+ --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
2226
+ --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
2227
+ --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
2228
+ --buttonKeybindingHint-primary-bgColor-disabled: #00230b1a;
2229
+ --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
2177
2230
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
2178
2231
  --codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
2179
2232
  --codeMirror-lineNumber-fgColor: var(--fgColor-muted);
@@ -2290,6 +2343,20 @@
2290
2343
  --button-outline-bgColor-disabled: var(--control-bgColor-disabled);
2291
2344
  --button-primary-fgColor-rest: var(--fgColor-white);
2292
2345
  --button-primary-iconColor-rest: #ffffffcc;
2346
+ --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
2347
+ --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
2348
+ --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
2349
+ --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
2350
+ --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
2351
+ --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
2352
+ --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
2353
+ --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
2354
+ --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
2355
+ --buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
2356
+ --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
2357
+ --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
2358
+ --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
2359
+ --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
2293
2360
  --card-bgColor: var(--bgColor-default);
2294
2361
  --codeMirror-bgColor: var(--bgColor-default);
2295
2362
  --codeMirror-cursor-fgColor: var(--fgColor-default);
@@ -2331,6 +2398,9 @@
2331
2398
  --underlineNav-borderColor-hover: var(--borderColor-muted);
2332
2399
  --border-neutral-muted: 0.0625rem solid #454c54;
2333
2400
  --button-default-borderColor-hover: var(--button-default-borderColor-rest);
2401
+ --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
2402
+ --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
2403
+ --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
2334
2404
  --controlKnob-borderColor-rest: var(--control-borderColor-emphasis);
2335
2405
  }
2336
2406
  }
@@ -373,6 +373,11 @@
373
373
  --buttonCounter-danger-fgColor-rest: var(--base-color-orange-6);
374
374
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
375
375
  --buttonCounter-primary-bgColor-rest: #002d1133;
376
+ --buttonKeybindingHint-danger-bgColor-active: #1f232866;
377
+ --buttonKeybindingHint-danger-bgColor-hover: #1f232833;
378
+ --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
379
+ --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
380
+ --buttonKeybindingHint-invisible-borderColor-rest: var(--base-color-transparent);
376
381
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
377
382
  --codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
378
383
  --codeMirror-syntax-fgColor-keyword: var(--base-color-orange-5);
@@ -1024,6 +1029,17 @@
1024
1029
  --buttonCounter-outline-bgColor-rest: #0969da1a;
1025
1030
  --buttonCounter-outline-fgColor-disabled: #0969da80;
1026
1031
  --buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
1032
+ --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
1033
+ --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
1034
+ --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
1035
+ --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
1036
+ --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
1037
+ --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
1038
+ --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
1039
+ --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
1040
+ --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
1041
+ --buttonKeybindingHint-primary-bgColor-disabled: #002d111a;
1042
+ --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
1027
1043
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
1028
1044
  --codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
1029
1045
  --codeMirror-lineNumber-fgColor: var(--fgColor-muted);
@@ -1121,6 +1137,21 @@
1121
1137
  --button-primary-borderColor-rest: var(--borderColor-translucent);
1122
1138
  --button-primary-fgColor-rest: var(--fgColor-white);
1123
1139
  --button-primary-iconColor-rest: #ffffffcc;
1140
+ --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
1141
+ --buttonKeybindingHint-danger-borderColor-hover: var(--borderColor-translucent);
1142
+ --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
1143
+ --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
1144
+ --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
1145
+ --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
1146
+ --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
1147
+ --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
1148
+ --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
1149
+ --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
1150
+ --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
1151
+ --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
1152
+ --buttonKeybindingHint-primary-borderColor-rest: var(--borderColor-translucent);
1153
+ --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
1154
+ --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
1124
1155
  --card-bgColor: var(--bgColor-default);
1125
1156
  --codeMirror-bgColor: var(--bgColor-default);
1126
1157
  --codeMirror-cursor-fgColor: var(--fgColor-default);
@@ -1158,6 +1189,10 @@
1158
1189
  --button-default-borderColor-hover: var(--button-default-borderColor-rest);
1159
1190
  --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
1160
1191
  --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
1192
+ --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
1193
+ --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
1194
+ --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
1195
+ --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
1161
1196
  --shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
1162
1197
  --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;
1163
1198
  --shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;
@@ -1540,6 +1575,11 @@
1540
1575
  --buttonCounter-danger-fgColor-rest: var(--base-color-orange-6);
1541
1576
  --buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
1542
1577
  --buttonCounter-primary-bgColor-rest: #002d1133;
1578
+ --buttonKeybindingHint-danger-bgColor-active: #1f232866;
1579
+ --buttonKeybindingHint-danger-bgColor-hover: #1f232833;
1580
+ --buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
1581
+ --buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
1582
+ --buttonKeybindingHint-invisible-borderColor-rest: var(--base-color-transparent);
1543
1583
  --codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
1544
1584
  --codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
1545
1585
  --codeMirror-syntax-fgColor-keyword: var(--base-color-orange-5);
@@ -2191,6 +2231,17 @@
2191
2231
  --buttonCounter-outline-bgColor-rest: #0969da1a;
2192
2232
  --buttonCounter-outline-fgColor-disabled: #0969da80;
2193
2233
  --buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
2234
+ --buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
2235
+ --buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
2236
+ --buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
2237
+ --buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
2238
+ --buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
2239
+ --buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
2240
+ --buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
2241
+ --buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
2242
+ --buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
2243
+ --buttonKeybindingHint-primary-bgColor-disabled: #002d111a;
2244
+ --buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
2194
2245
  --codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
2195
2246
  --codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
2196
2247
  --codeMirror-lineNumber-fgColor: var(--fgColor-muted);
@@ -2288,6 +2339,21 @@
2288
2339
  --button-primary-borderColor-rest: var(--borderColor-translucent);
2289
2340
  --button-primary-fgColor-rest: var(--fgColor-white);
2290
2341
  --button-primary-iconColor-rest: #ffffffcc;
2342
+ --buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
2343
+ --buttonKeybindingHint-danger-borderColor-hover: var(--borderColor-translucent);
2344
+ --buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
2345
+ --buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
2346
+ --buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
2347
+ --buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
2348
+ --buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
2349
+ --buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
2350
+ --buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
2351
+ --buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
2352
+ --buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
2353
+ --buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
2354
+ --buttonKeybindingHint-primary-borderColor-rest: var(--borderColor-translucent);
2355
+ --buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
2356
+ --buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
2291
2357
  --card-bgColor: var(--bgColor-default);
2292
2358
  --codeMirror-bgColor: var(--bgColor-default);
2293
2359
  --codeMirror-cursor-fgColor: var(--fgColor-default);
@@ -2325,6 +2391,10 @@
2325
2391
  --button-default-borderColor-hover: var(--button-default-borderColor-rest);
2326
2392
  --button-primary-borderColor-active: var(--button-primary-borderColor-rest);
2327
2393
  --button-primary-borderColor-hover: var(--button-primary-borderColor-rest);
2394
+ --buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
2395
+ --buttonKeybindingHint-danger-borderColor-disabled: var(--buttonKeybindingHint-default-borderColor-disabled);
2396
+ --buttonKeybindingHint-danger-borderColor-rest: var(--buttonKeybindingHint-default-borderColor-rest);
2397
+ --buttonKeybindingHint-danger-fgColor-disabled: var(--buttonKeybindingHint-default-fgColor-disabled);
2328
2398
  --shadow-floating-large: 0px 0px 0px 1px #d1d9e0, 0px 40px 80px 0px #25292e3d;
2329
2399
  --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;
2330
2400
  --shadow-floating-small: 0px 0px 0px 1px #d1d9e080, 0px 6px 12px -3px #25292e0a, 0px 6px 18px 0px #25292e1f;