@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
|
@@ -378,6 +378,12 @@
|
|
|
378
378
|
--buttonCounter-default-bgColor-rest: var(--base-color-neutral-7);
|
|
379
379
|
--buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
|
|
380
380
|
--buttonCounter-primary-bgColor-rest: #00230b33;
|
|
381
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
382
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
383
|
+
--buttonKeybindingHint-danger-borderColor-hover: var(--base-color-white);
|
|
384
|
+
--buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
|
|
385
|
+
--buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
|
|
386
|
+
--buttonKeybindingHint-primary-borderColor-rest: var(--base-color-white);
|
|
381
387
|
--codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
|
|
382
388
|
--codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
|
|
383
389
|
--codeMirror-syntax-fgColor-keyword: var(--base-color-red-5);
|
|
@@ -1004,6 +1010,18 @@
|
|
|
1004
1010
|
--buttonCounter-outline-bgColor-rest: #0349b41a;
|
|
1005
1011
|
--buttonCounter-outline-fgColor-disabled: #023b9580;
|
|
1006
1012
|
--buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
|
|
1013
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1014
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
1015
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1016
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1017
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1018
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1019
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1020
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1021
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1022
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1023
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #00230b1a;
|
|
1024
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1007
1025
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1008
1026
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
1009
1027
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -1122,6 +1140,20 @@
|
|
|
1122
1140
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
1123
1141
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
1124
1142
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
1143
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1144
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1145
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1146
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1147
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1148
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1149
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1150
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1151
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1152
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
|
|
1153
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1154
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1155
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1156
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1125
1157
|
--card-bgColor: var(--bgColor-default);
|
|
1126
1158
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
1127
1159
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
@@ -1164,6 +1196,9 @@
|
|
|
1164
1196
|
--border-neutral-muted: 0.0625rem solid #454c54;
|
|
1165
1197
|
--borderColor-draft-muted: var(--borderColor-neutral-muted);
|
|
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) {
|
|
@@ -1545,6 +1580,12 @@
|
|
|
1545
1580
|
--buttonCounter-default-bgColor-rest: var(--base-color-neutral-7);
|
|
1546
1581
|
--buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
|
|
1547
1582
|
--buttonCounter-primary-bgColor-rest: #00230b33;
|
|
1583
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
1584
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
1585
|
+
--buttonKeybindingHint-danger-borderColor-hover: var(--base-color-white);
|
|
1586
|
+
--buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
|
|
1587
|
+
--buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
|
|
1588
|
+
--buttonKeybindingHint-primary-borderColor-rest: var(--base-color-white);
|
|
1548
1589
|
--codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
|
|
1549
1590
|
--codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
|
|
1550
1591
|
--codeMirror-syntax-fgColor-keyword: var(--base-color-red-5);
|
|
@@ -2171,6 +2212,18 @@
|
|
|
2171
2212
|
--buttonCounter-outline-bgColor-rest: #0349b41a;
|
|
2172
2213
|
--buttonCounter-outline-fgColor-disabled: #023b9580;
|
|
2173
2214
|
--buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
|
|
2215
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
2216
|
+
--buttonKeybindingHint-danger-borderColor-active: var(--buttonKeybindingHint-danger-borderColor-hover);
|
|
2217
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
2218
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
2219
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
2220
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
2221
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
2222
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
2223
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
2224
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
2225
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #00230b1a;
|
|
2226
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
2174
2227
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
2175
2228
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
2176
2229
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -2289,6 +2342,20 @@
|
|
|
2289
2342
|
--button-outline-bgColor-disabled: var(--control-bgColor-disabled);
|
|
2290
2343
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
2291
2344
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
2345
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
2346
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
2347
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
2348
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
2349
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
2350
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
2351
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
2352
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
2353
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
2354
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--borderColor-muted);
|
|
2355
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
2356
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
2357
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
2358
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
2292
2359
|
--card-bgColor: var(--bgColor-default);
|
|
2293
2360
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
2294
2361
|
--codeMirror-cursor-fgColor: var(--fgColor-default);
|
|
@@ -2331,6 +2398,9 @@
|
|
|
2331
2398
|
--border-neutral-muted: 0.0625rem solid #454c54;
|
|
2332
2399
|
--borderColor-draft-muted: var(--borderColor-neutral-muted);
|
|
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
|
}
|
|
@@ -382,6 +382,12 @@
|
|
|
382
382
|
--buttonCounter-default-bgColor-rest: var(--base-color-neutral-7);
|
|
383
383
|
--buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
|
|
384
384
|
--buttonCounter-primary-bgColor-rest: #00230b33;
|
|
385
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
386
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
387
|
+
--buttonKeybindingHint-danger-borderColor-hover: var(--base-color-white);
|
|
388
|
+
--buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
|
|
389
|
+
--buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
|
|
390
|
+
--buttonKeybindingHint-primary-borderColor-rest: var(--base-color-white);
|
|
385
391
|
--codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
|
|
386
392
|
--codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
|
|
387
393
|
--codeMirror-syntax-fgColor-keyword: var(--base-color-red-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) {
|
|
@@ -1549,6 +1584,12 @@
|
|
|
1549
1584
|
--buttonCounter-default-bgColor-rest: var(--base-color-neutral-7);
|
|
1550
1585
|
--buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
|
|
1551
1586
|
--buttonCounter-primary-bgColor-rest: #00230b33;
|
|
1587
|
+
--buttonKeybindingHint-danger-bgColor-active: #01040966;
|
|
1588
|
+
--buttonKeybindingHint-danger-bgColor-hover: #01040933;
|
|
1589
|
+
--buttonKeybindingHint-danger-borderColor-hover: var(--base-color-white);
|
|
1590
|
+
--buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
|
|
1591
|
+
--buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
|
|
1592
|
+
--buttonKeybindingHint-primary-borderColor-rest: var(--base-color-white);
|
|
1552
1593
|
--codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
|
|
1553
1594
|
--codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
|
|
1554
1595
|
--codeMirror-syntax-fgColor-keyword: var(--base-color-red-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
|
}
|
|
@@ -377,6 +377,11 @@
|
|
|
377
377
|
--buttonCounter-danger-fgColor-disabled: #d1242f80;
|
|
378
378
|
--buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
|
|
379
379
|
--buttonCounter-primary-bgColor-rest: #002d1133;
|
|
380
|
+
--buttonKeybindingHint-danger-bgColor-active: #1f232866;
|
|
381
|
+
--buttonKeybindingHint-danger-bgColor-hover: #1f232833;
|
|
382
|
+
--buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
|
|
383
|
+
--buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
|
|
384
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--base-color-transparent);
|
|
380
385
|
--codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
|
|
381
386
|
--codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
|
|
382
387
|
--codeMirror-syntax-fgColor-keyword: var(--base-color-red-5);
|
|
@@ -1027,6 +1032,17 @@
|
|
|
1027
1032
|
--buttonCounter-outline-bgColor-rest: #0969da1a;
|
|
1028
1033
|
--buttonCounter-outline-fgColor-disabled: #0969da80;
|
|
1029
1034
|
--buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
|
|
1035
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
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: #002d111a;
|
|
1045
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1030
1046
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1031
1047
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
1032
1048
|
--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;
|
|
@@ -1544,6 +1579,11 @@
|
|
|
1544
1579
|
--buttonCounter-danger-fgColor-disabled: #d1242f80;
|
|
1545
1580
|
--buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
|
|
1546
1581
|
--buttonCounter-primary-bgColor-rest: #002d1133;
|
|
1582
|
+
--buttonKeybindingHint-danger-bgColor-active: #1f232866;
|
|
1583
|
+
--buttonKeybindingHint-danger-bgColor-hover: #1f232833;
|
|
1584
|
+
--buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
|
|
1585
|
+
--buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
|
|
1586
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--base-color-transparent);
|
|
1547
1587
|
--codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
|
|
1548
1588
|
--codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
|
|
1549
1589
|
--codeMirror-syntax-fgColor-keyword: var(--base-color-red-5);
|
|
@@ -2194,6 +2234,17 @@
|
|
|
2194
2234
|
--buttonCounter-outline-bgColor-rest: #0969da1a;
|
|
2195
2235
|
--buttonCounter-outline-fgColor-disabled: #0969da80;
|
|
2196
2236
|
--buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
|
|
2237
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
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: #002d111a;
|
|
2247
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
2197
2248
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
2198
2249
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
2199
2250
|
--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;
|
|
@@ -375,6 +375,11 @@
|
|
|
375
375
|
--buttonCounter-danger-fgColor-disabled: #d1242f80;
|
|
376
376
|
--buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
|
|
377
377
|
--buttonCounter-primary-bgColor-rest: #002d1133;
|
|
378
|
+
--buttonKeybindingHint-danger-bgColor-active: #1f232866;
|
|
379
|
+
--buttonKeybindingHint-danger-bgColor-hover: #1f232833;
|
|
380
|
+
--buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
|
|
381
|
+
--buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
|
|
382
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--base-color-transparent);
|
|
378
383
|
--codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
|
|
379
384
|
--codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
|
|
380
385
|
--codeMirror-syntax-fgColor-keyword: var(--base-color-red-5);
|
|
@@ -1025,6 +1030,17 @@
|
|
|
1025
1030
|
--buttonCounter-outline-bgColor-rest: #0969da1a;
|
|
1026
1031
|
--buttonCounter-outline-fgColor-disabled: #0969da80;
|
|
1027
1032
|
--buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
|
|
1033
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1034
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1035
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
1036
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
1037
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
1038
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
1039
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
1040
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
1041
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
1042
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #002d111a;
|
|
1043
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
1028
1044
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
1029
1045
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
1030
1046
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -1120,6 +1136,21 @@
|
|
|
1120
1136
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
1121
1137
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
1122
1138
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
1139
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
1140
|
+
--buttonKeybindingHint-danger-borderColor-hover: var(--borderColor-translucent);
|
|
1141
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
1142
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
1143
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
1144
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1145
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
1146
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1147
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
1148
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1149
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
1150
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
1151
|
+
--buttonKeybindingHint-primary-borderColor-rest: var(--borderColor-translucent);
|
|
1152
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
1153
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
1123
1154
|
--card-bgColor: var(--bgColor-default);
|
|
1124
1155
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
1125
1156
|
--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;
|
|
@@ -1542,6 +1577,11 @@
|
|
|
1542
1577
|
--buttonCounter-danger-fgColor-disabled: #d1242f80;
|
|
1543
1578
|
--buttonCounter-outline-fgColor-rest: var(--base-color-blue-6);
|
|
1544
1579
|
--buttonCounter-primary-bgColor-rest: #002d1133;
|
|
1580
|
+
--buttonKeybindingHint-danger-bgColor-active: #1f232866;
|
|
1581
|
+
--buttonKeybindingHint-danger-bgColor-hover: #1f232833;
|
|
1582
|
+
--buttonKeybindingHint-default-bgColor-rest: var(--base-color-neutral-2);
|
|
1583
|
+
--buttonKeybindingHint-inactive-bgColor: var(--base-color-neutral-2);
|
|
1584
|
+
--buttonKeybindingHint-invisible-borderColor-rest: var(--base-color-transparent);
|
|
1545
1585
|
--codeMirror-syntax-fgColor-constant: var(--base-color-blue-6);
|
|
1546
1586
|
--codeMirror-syntax-fgColor-entity: var(--base-color-purple-5);
|
|
1547
1587
|
--codeMirror-syntax-fgColor-keyword: var(--base-color-red-5);
|
|
@@ -2192,6 +2232,17 @@
|
|
|
2192
2232
|
--buttonCounter-outline-bgColor-rest: #0969da1a;
|
|
2193
2233
|
--buttonCounter-outline-fgColor-disabled: #0969da80;
|
|
2194
2234
|
--buttonCounter-outline-fgColor-hover: var(--base-color-neutral-0);
|
|
2235
|
+
--buttonKeybindingHint-danger-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
2236
|
+
--buttonKeybindingHint-default-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
2237
|
+
--buttonKeybindingHint-default-fgColor-rest: var(--fgColor-muted);
|
|
2238
|
+
--buttonKeybindingHint-inactive-fgColor: var(--button-inactive-fgColor);
|
|
2239
|
+
--buttonKeybindingHint-invisible-bgColor-active: var(--control-transparent-bgColor-active);
|
|
2240
|
+
--buttonKeybindingHint-invisible-bgColor-disabled: var(--button-invisible-bgColor-disabled);
|
|
2241
|
+
--buttonKeybindingHint-invisible-bgColor-hover: var(--control-transparent-bgColor-hover);
|
|
2242
|
+
--buttonKeybindingHint-invisible-bgColor-rest: var(--buttonKeybindingHint-default-bgColor-rest);
|
|
2243
|
+
--buttonKeybindingHint-invisible-fgColor-rest: var(--fgColor-muted);
|
|
2244
|
+
--buttonKeybindingHint-primary-bgColor-disabled: #002d111a;
|
|
2245
|
+
--buttonKeybindingHint-primary-bgColor-rest: var(--buttonCounter-primary-bgColor-rest);
|
|
2195
2246
|
--codeMirror-activeline-bgColor: var(--bgColor-neutral-muted);
|
|
2196
2247
|
--codeMirror-gutterMarker-fgColor-muted: var(--fgColor-muted);
|
|
2197
2248
|
--codeMirror-lineNumber-fgColor: var(--fgColor-muted);
|
|
@@ -2287,6 +2338,21 @@
|
|
|
2287
2338
|
--button-primary-borderColor-rest: var(--borderColor-translucent);
|
|
2288
2339
|
--button-primary-fgColor-rest: var(--fgColor-white);
|
|
2289
2340
|
--button-primary-iconColor-rest: #ffffffcc;
|
|
2341
|
+
--buttonKeybindingHint-danger-bgColor-disabled: var(--buttonKeybindingHint-default-bgColor-disabled);
|
|
2342
|
+
--buttonKeybindingHint-danger-borderColor-hover: var(--borderColor-translucent);
|
|
2343
|
+
--buttonKeybindingHint-danger-fgColor-active: var(--fgColor-onEmphasis);
|
|
2344
|
+
--buttonKeybindingHint-danger-fgColor-hover: var(--fgColor-onEmphasis);
|
|
2345
|
+
--buttonKeybindingHint-danger-fgColor-rest: var(--buttonKeybindingHint-default-fgColor-rest);
|
|
2346
|
+
--buttonKeybindingHint-default-borderColor-disabled: var(--control-borderColor-disabled);
|
|
2347
|
+
--buttonKeybindingHint-default-borderColor-rest: var(--borderColor-muted);
|
|
2348
|
+
--buttonKeybindingHint-default-fgColor-disabled: var(--control-fgColor-disabled);
|
|
2349
|
+
--buttonKeybindingHint-inactive-borderColor: var(--borderColor-muted);
|
|
2350
|
+
--buttonKeybindingHint-invisible-borderColor-disabled: var(--control-borderColor-disabled);
|
|
2351
|
+
--buttonKeybindingHint-invisible-fgColor-disabled: var(--control-fgColor-disabled);
|
|
2352
|
+
--buttonKeybindingHint-primary-borderColor-disabled: var(--control-borderColor-disabled);
|
|
2353
|
+
--buttonKeybindingHint-primary-borderColor-rest: var(--borderColor-translucent);
|
|
2354
|
+
--buttonKeybindingHint-primary-fgColor-disabled: var(--button-primary-fgColor-disabled);
|
|
2355
|
+
--buttonKeybindingHint-primary-fgColor-rest: var(--fgColor-onEmphasis);
|
|
2290
2356
|
--card-bgColor: var(--bgColor-default);
|
|
2291
2357
|
--codeMirror-bgColor: var(--bgColor-default);
|
|
2292
2358
|
--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;
|