@jupyterlab/theme-dark-high-contrast-extension 4.5.0 → 4.5.2
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 +11 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@jupyterlab/theme-dark-high-contrast-extension",
|
|
3
|
-
"version": "4.5.
|
|
3
|
+
"version": "4.5.2",
|
|
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.5.
|
|
36
|
-
"@jupyterlab/apputils": "^4.6.
|
|
37
|
-
"@jupyterlab/translation": "^4.5.
|
|
35
|
+
"@jupyterlab/application": "^4.5.2",
|
|
36
|
+
"@jupyterlab/apputils": "^4.6.2",
|
|
37
|
+
"@jupyterlab/translation": "^4.5.2"
|
|
38
38
|
},
|
|
39
39
|
"devDependencies": {
|
|
40
40
|
"rimraf": "~5.0.5",
|
package/style/variables.css
CHANGED
|
@@ -300,6 +300,17 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
300
300
|
var(--jp-code-padding) - var(--jp-cell-padding) - 1px
|
|
301
301
|
);
|
|
302
302
|
|
|
303
|
+
/* The scroll padding is calculated to provide enough space at the bottom of
|
|
304
|
+
a text editor to allow the last line of code to be positioned at the top
|
|
305
|
+
of the viewport when the editor is scrolled all the way down. We also
|
|
306
|
+
subtract one pixel to avoid showing a scrollbar when the file contains
|
|
307
|
+
only a single line. This padding enables a 'scroll past end' feature in
|
|
308
|
+
text editors. */
|
|
309
|
+
--jp-editor-scroll-padding: calc(
|
|
310
|
+
100% - var(--jp-code-font-size) * var(--jp-code-line-height) -
|
|
311
|
+
var(--jp-code-padding) - 1px
|
|
312
|
+
);
|
|
313
|
+
|
|
303
314
|
/* Rendermime styles */
|
|
304
315
|
|
|
305
316
|
--jp-rendermime-error-background: rgba(244, 67, 54, 0.28);
|