Skip to content

Commit

Permalink
Place the css inline in index.html.j2.
Browse files Browse the repository at this point in the history
  • Loading branch information
HaudinFlorence committed Sep 17, 2024
1 parent 81e7e6c commit 3fefaae
Show file tree
Hide file tree
Showing 3 changed files with 51 additions and 52 deletions.
2 changes: 1 addition & 1 deletion .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -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
50 changes: 50 additions & 0 deletions share/templates/lab/index.html.j2
Original file line number Diff line number Diff line change
Expand Up @@ -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;
}
</style>

{% endblock notebook_css %}
Expand Down
51 changes: 0 additions & 51 deletions share/templates/lab/static/index.css
Original file line number Diff line number Diff line change
Expand Up @@ -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 */
Expand Down

0 comments on commit 3fefaae

Please sign in to comment.