@jupyterlab/theme-light-extension 4.3.4 → 4.3.6
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/package.json +4 -4
- package/style/variables.css +9 -1
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@jupyterlab/theme-light-extension",
|
|
3
|
-
"version": "4.3.
|
|
3
|
+
"version": "4.3.6",
|
|
4
4
|
"description": "JupyterLab - Default Light Theme",
|
|
5
5
|
"homepage": "https://github.com/jupyterlab/jupyterlab",
|
|
6
6
|
"bugs": {
|
|
@@ -32,9 +32,9 @@
|
|
|
32
32
|
"watch": "tsc -b --watch"
|
|
33
33
|
},
|
|
34
34
|
"dependencies": {
|
|
35
|
-
"@jupyterlab/application": "^4.3.
|
|
36
|
-
"@jupyterlab/apputils": "^4.4.
|
|
37
|
-
"@jupyterlab/translation": "^4.3.
|
|
35
|
+
"@jupyterlab/application": "^4.3.6",
|
|
36
|
+
"@jupyterlab/apputils": "^4.4.6",
|
|
37
|
+
"@jupyterlab/translation": "^4.3.6"
|
|
38
38
|
},
|
|
39
39
|
"devDependencies": {
|
|
40
40
|
"rimraf": "~5.0.5",
|
package/style/variables.css
CHANGED
|
@@ -94,6 +94,14 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
94
94
|
--jp-inverse-border-color: var(--md-grey-600, #757575);
|
|
95
95
|
--jp-border-radius: 2px;
|
|
96
96
|
|
|
97
|
+
/* shortcut buttons
|
|
98
|
+
*
|
|
99
|
+
* The following css variables are used to specify the visual
|
|
100
|
+
* styling of the keyboard shortcut buttons
|
|
101
|
+
*/
|
|
102
|
+
--jp-shortcuts-button-background: var(--jp-brand-color3);
|
|
103
|
+
--jp-shortcuts-button-hover-background: var(--jp-brand-color2);
|
|
104
|
+
|
|
97
105
|
/* UI Fonts
|
|
98
106
|
*
|
|
99
107
|
* The UI font CSS variables are used for the typography all of the JupyterLab
|
|
@@ -342,7 +350,7 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
342
350
|
--jp-mirror-editor-variable-3-color: #085;
|
|
343
351
|
--jp-mirror-editor-punctuation-color: #05a;
|
|
344
352
|
--jp-mirror-editor-property-color: #05a;
|
|
345
|
-
--jp-mirror-editor-operator-color: #
|
|
353
|
+
--jp-mirror-editor-operator-color: #7800c2;
|
|
346
354
|
--jp-mirror-editor-comment-color: #408080;
|
|
347
355
|
--jp-mirror-editor-string-color: #ba2121;
|
|
348
356
|
--jp-mirror-editor-string-2-color: #708;
|