@jupyterlab/nbconvert-css 4.0.11 → 4.0.12

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.
Files changed (2) hide show
  1. package/package.json +8 -8
  2. package/style/index.css +2 -0
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@jupyterlab/nbconvert-css",
3
- "version": "4.0.11",
3
+ "version": "4.0.12",
4
4
  "description": "CSS bundle for the JupyterLab nbconvert template",
5
5
  "homepage": "https://github.com/jupyterlab/jupyterlab",
6
6
  "bugs": {
@@ -31,13 +31,13 @@
31
31
  "watch": "webpack --watch"
32
32
  },
33
33
  "dependencies": {
34
- "@jupyterlab/application": "^4.0.11",
35
- "@jupyterlab/apputils": "^4.1.11",
36
- "@jupyterlab/cells": "^4.0.11",
37
- "@jupyterlab/codemirror": "^4.0.11",
38
- "@jupyterlab/notebook": "^4.0.11",
39
- "@jupyterlab/outputarea": "^4.0.11",
40
- "@jupyterlab/rendermime": "^4.0.11"
34
+ "@jupyterlab/application": "^4.0.12",
35
+ "@jupyterlab/apputils": "^4.1.12",
36
+ "@jupyterlab/cells": "^4.0.12",
37
+ "@jupyterlab/codemirror": "^4.0.12",
38
+ "@jupyterlab/notebook": "^4.0.12",
39
+ "@jupyterlab/outputarea": "^4.0.12",
40
+ "@jupyterlab/rendermime": "^4.0.12"
41
41
  },
42
42
  "devDependencies": {
43
43
  "css-loader": "^6.7.1",
package/style/index.css CHANGED
@@ -3998,6 +3998,7 @@ button.jp-Dialog-close-button {
3998
3998
  font-style: normal;
3999
3999
  margin: var(--jp-content-heading-margin-top) 0
4000
4000
  var(--jp-content-heading-margin-bottom) 0;
4001
+ scroll-margin-top: var(--jp-content-heading-margin-top);
4001
4002
  }
4002
4003
 
4003
4004
  .jp-RenderedHTMLCommon h1:first-child,
@@ -4007,6 +4008,7 @@ button.jp-Dialog-close-button {
4007
4008
  .jp-RenderedHTMLCommon h5:first-child,
4008
4009
  .jp-RenderedHTMLCommon h6:first-child {
4009
4010
  margin-top: calc(0.5 * var(--jp-content-heading-margin-top));
4011
+ scroll-margin-top: calc(0.5 * var(--jp-content-heading-margin-top));
4010
4012
  }
4011
4013
 
4012
4014
  .jp-RenderedHTMLCommon h1:last-child,