@jupyterlab/theme-dark-high-contrast-extension 4.3.3 → 4.3.5
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 +10 -1
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@jupyterlab/theme-dark-high-contrast-extension",
|
|
3
|
-
"version": "4.3.
|
|
3
|
+
"version": "4.3.5",
|
|
4
4
|
"description": "JupyterLab - Dark High Contrast 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.5",
|
|
36
|
+
"@jupyterlab/apputils": "^4.4.5",
|
|
37
|
+
"@jupyterlab/translation": "^4.3.5"
|
|
38
38
|
},
|
|
39
39
|
"devDependencies": {
|
|
40
40
|
"rimraf": "~5.0.5",
|
package/style/variables.css
CHANGED
|
@@ -83,6 +83,15 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
83
83
|
0 24px 38px 3px var(--jp-shadow-penumbra-color),
|
|
84
84
|
0 9px 46px 8px var(--jp-shadow-ambient-color);
|
|
85
85
|
|
|
86
|
+
/* shortcut buttons
|
|
87
|
+
*
|
|
88
|
+
* The following css variables are used to specify the visual
|
|
89
|
+
* styling of the keyboard shortcut buttons
|
|
90
|
+
*/
|
|
91
|
+
|
|
92
|
+
--jp-shortcuts-button-background: var(--jp-brand-color1);
|
|
93
|
+
--jp-shortcuts-button-hover-background: var(--jp-brand-color0);
|
|
94
|
+
|
|
86
95
|
/* Borders
|
|
87
96
|
*
|
|
88
97
|
* The following variables, specify the visual styling of borders in JupyterLab.
|
|
@@ -393,7 +402,7 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
393
402
|
--jp-search-unselected-match-background-color: var(
|
|
394
403
|
--jp-inverse-layout-color0
|
|
395
404
|
);
|
|
396
|
-
--jp-search-unselected-match-color:
|
|
405
|
+
--jp-search-unselected-match-color: black;
|
|
397
406
|
|
|
398
407
|
/* scrollbar related styles. Supports every browser except Edge. */
|
|
399
408
|
|