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