diff --git a/.gitignore b/.gitignore index 560c9b530..30157c5b5 100644 --- a/.gitignore +++ b/.gitignore @@ -41,7 +41,7 @@ docs/source/config_options.rst .vscode # Downloaded theme files -#share/templates/lab/static/index.css +share/templates/lab/static/index.css share/templates/lab/static/theme-dark.css share/templates/lab/static/theme-light.css share/templates/classic/static/style.css diff --git a/share/templates/lab/index.html.j2 b/share/templates/lab/index.html.j2 index 256e74797..b69e7e976 100644 --- a/share/templates/lab/index.html.j2 +++ b/share/templates/lab/index.html.j2 @@ -100,6 +100,56 @@ a.anchor-link { display: block; } } +/* Table of Contents for the html exporter */ +.jp-RenderedHTMLTOC-Title { + font-family: var(--jp-content-font-family); + font-size: 24px; + margin: 16px 0; + padding-left: 64px; + font-weight: bold; +} + +.jp-RenderedHTMLTOC-Item-h1 { + font-family: var(--jp-content-font-family); + font-size: 20px; + margin: 0; + padding-left: 88px; +} + +.jp-RenderedHTMLTOC-Item-h2 { + font-family: var(--jp-content-font-family); + font-size: 18px; + margin: 4px; + padding-left: 112px; +} + +.jp-RenderedHTMLTOC-Item-h3 { + font-family: var(--jp-content-font-family); + font-size:16px; + margin: 4px; + padding-left: 136px; +} + +.jp-RenderedHTMLTOC-Item-h4 { + font-family: var(--jp-content-font-family); + font-size: 14px; + margin: 4px; + padding-left: 160px; +} + +.jp-RenderedHTMLTOC-Item-h5 { + font-family: var(--jp-content-font-family); + font-size: 12px; + margin: 4px; + padding-left: 184px; +} + +.jp-RenderedHTMLTOC-Item-h6 { + font-family: var(--jp-content-font-family); + font-size: 10px; + margin: 2px; + padding-left: 208px; +} {% endblock notebook_css %} diff --git a/share/templates/lab/static/index.css b/share/templates/lab/static/index.css index b495e0eb1..08224006a 100644 --- a/share/templates/lab/static/index.css +++ b/share/templates/lab/static/index.css @@ -4034,57 +4034,6 @@ button.jp-Dialog-close-button { font-size: var(--jp-content-font-size0); } -/* Table of Contents for the html exporter */ -.jp-RenderedHTMLTOC-Title { - font-family: var(--jp-content-font-family); - font-size: 24px; - margin: 16px 0; - padding-left: 64px; - font-weight: bold; -} - -.jp-RenderedHTMLTOC-Item-h1 { - font-family: var(--jp-content-font-family); - font-size: 20px; - margin: 0; - padding-left: 88px; -} - -.jp-RenderedHTMLTOC-Item-h2 { - font-family: var(--jp-content-font-family); - font-size: 18px; - margin: 4px; - padding-left: 112px; -} - -.jp-RenderedHTMLTOC-Item-h3 { - font-family: var(--jp-content-font-family); - font-size:16px; - margin: 4px; - padding-left: 136px; -} - -.jp-RenderedHTMLTOC-Item-h4 { - font-family: var(--jp-content-font-family); - font-size: 14px; - margin: 4px; - padding-left: 160px; -} - -.jp-RenderedHTMLTOC-Item-h5 { - font-family: var(--jp-content-font-family); - font-size: 12px; - margin: 4px; - padding-left: 184px; -} - -.jp-RenderedHTMLTOC-Item-h6 { - font-family: var(--jp-content-font-family); - font-size: 10px; - margin: 2px; - padding-left: 208px; -} - /* Lists */ /* stylelint-disable selector-max-type, selector-max-compound-selectors */