@primer/primitives 11.2.2-rc.fc1eacf3 → 11.3.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/css/functional/themes/dark-colorblind-high-contrast.css +70 -0
- package/dist/css/functional/themes/dark-colorblind.css +70 -0
- package/dist/css/functional/themes/dark-dimmed-high-contrast.css +70 -0
- package/dist/css/functional/themes/dark-dimmed.css +70 -0
- package/dist/css/functional/themes/dark-high-contrast.css +70 -0
- package/dist/css/functional/themes/dark-tritanopia-high-contrast.css +70 -0
- package/dist/css/functional/themes/dark-tritanopia.css +70 -0
- package/dist/css/functional/themes/dark.css +70 -0
- package/dist/css/functional/themes/light-colorblind-high-contrast.css +70 -0
- package/dist/css/functional/themes/light-colorblind.css +70 -0
- package/dist/css/functional/themes/light-high-contrast.css +70 -0
- package/dist/css/functional/themes/light-tritanopia-high-contrast.css +70 -0
- package/dist/css/functional/themes/light-tritanopia.css +70 -0
- package/dist/css/functional/themes/light.css +70 -0
- package/dist/docs/functional/themes/dark-colorblind-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/dark-colorblind.json +1377 -0
- package/dist/docs/functional/themes/dark-dimmed-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/dark-dimmed.json +1377 -0
- package/dist/docs/functional/themes/dark-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/dark-tritanopia-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/dark-tritanopia.json +1377 -0
- package/dist/docs/functional/themes/dark.json +1377 -0
- package/dist/docs/functional/themes/light-colorblind-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/light-colorblind.json +1373 -0
- package/dist/docs/functional/themes/light-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/light-tritanopia-high-contrast.json +1373 -0
- package/dist/docs/functional/themes/light-tritanopia.json +1373 -0
- package/dist/docs/functional/themes/light.json +1373 -0
- package/dist/figma/themes/dark-colorblind.json +565 -0
- package/dist/figma/themes/dark-dimmed.json +565 -0
- package/dist/figma/themes/dark-high-contrast.json +563 -0
- package/dist/figma/themes/dark-tritanopia.json +565 -0
- package/dist/figma/themes/dark.json +565 -0
- package/dist/figma/themes/light-colorblind.json +563 -0
- package/dist/figma/themes/light-high-contrast.json +563 -0
- package/dist/figma/themes/light-tritanopia.json +563 -0
- package/dist/figma/themes/light.json +563 -0
- package/dist/internalCss/dark-colorblind-high-contrast.css +70 -0
- package/dist/internalCss/dark-colorblind.css +70 -0
- package/dist/internalCss/dark-dimmed-high-contrast.css +70 -0
- package/dist/internalCss/dark-dimmed.css +70 -0
- package/dist/internalCss/dark-high-contrast.css +70 -0
- package/dist/internalCss/dark-tritanopia-high-contrast.css +70 -0
- package/dist/internalCss/dark-tritanopia.css +70 -0
- package/dist/internalCss/dark.css +70 -0
- package/dist/internalCss/light-colorblind-high-contrast.css +70 -0
- package/dist/internalCss/light-colorblind.css +70 -0
- package/dist/internalCss/light-high-contrast.css +70 -0
- package/dist/internalCss/light-tritanopia-high-contrast.css +70 -0
- package/dist/internalCss/light-tritanopia.css +70 -0
- package/dist/internalCss/light.css +70 -0
- package/dist/styleLint/functional/themes/dark-colorblind-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/dark-colorblind.json +1377 -0
- package/dist/styleLint/functional/themes/dark-dimmed-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/dark-dimmed.json +1377 -0
- package/dist/styleLint/functional/themes/dark-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/dark-tritanopia-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/dark-tritanopia.json +1377 -0
- package/dist/styleLint/functional/themes/dark.json +1377 -0
- package/dist/styleLint/functional/themes/light-colorblind-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/light-colorblind.json +1373 -0
- package/dist/styleLint/functional/themes/light-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/light-tritanopia-high-contrast.json +1373 -0
- package/dist/styleLint/functional/themes/light-tritanopia.json +1373 -0
- package/dist/styleLint/functional/themes/light.json +1373 -0
- package/package.json +1 -1
- package/src/tokens/component/button.json5 +522 -0
|
@@ -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;
|