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 04011ea
Show file tree
Hide file tree
Showing 3 changed files with 51 additions and 53 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
52 changes: 0 additions & 52 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 Expand Up @@ -6800,4 +6749,3 @@ div.jp-Cell-Placeholder-content-2 {
div.jp-Cell-Placeholder-content-3 {
top: 140px;
}

0 comments on commit 04011ea

Please sign in to comment.