Deploying to gh-pages from @ 7e98e10 🚀

LaurentRDC · Sep 13, 2023 · a5b1455 · a5b1455
1 parent 76ac8ba
commit a5b1455
Show file tree

Hide file tree

Showing 7 changed files with 81 additions and 75 deletions.
diff --git a/MANUAL.html b/MANUAL.html
@@ -11,16 +11,18 @@
 div.columns{display: flex; gap: min(4vw, 1.5em);}
 div.column{flex: auto; overflow-x: auto;}
 div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
-ul.task-list{list-style: none;}
+
+ul.task-list[class]{list-style: none;}
 ul.task-list li input[type="checkbox"] {
+font-size: inherit;
 width: 0.8em;
 margin: 0 0.8em 0.2em -1.6em;
 vertical-align: middle;
 }
 .display.math{display: block; text-align: center; margin: 0.5rem auto;}
 
 pre > code.sourceCode { white-space: pre; position: relative; }
-pre > code.sourceCode > span { display: inline-block; line-height: 1.25; }
+pre > code.sourceCode > span { line-height: 1.25; }
 pre > code.sourceCode > span:empty { height: 1.2em; }
 .sourceCode { overflow: visible; }
 code.sourceCode > span { color: inherit; text-decoration: inherit; }

diff --git a/index.html b/index.html
diff --git a/plots/pandocplot1025666781739678714.html b/plots/pandocplot1025666781739678714.html
diff --git a/plots/pandocplot17672692230154196518.png → plots/pandocplot10304052530869426875.png b/plots/pandocplot17672692230154196518.png → plots/pandocplot10304052530869426875.png
diff --git a/...s/pandocplot17672692230154196518.src.html → ...s/pandocplot10304052530869426875.src.html b/...s/pandocplot17672692230154196518.src.html → ...s/pandocplot10304052530869426875.src.html
@@ -143,7 +143,7 @@
 div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
 ul.task-list{list-style: none;}
 pre > code.sourceCode { white-space: pre; position: relative; }
-pre > code.sourceCode > span { display: inline-block; line-height: 1.25; }
+pre > code.sourceCode > span { line-height: 1.25; }
 pre > code.sourceCode > span:empty { height: 1.2em; }
 .sourceCode { overflow: visible; }
 code.sourceCode > span { color: inherit; text-decoration: inherit; }

diff --git a/plots/pandocplot16974575287094059809.html b/plots/pandocplot16974575287094059809.html
diff --git a/plots/pandocplot1025666781739678714.src.html → ...s/pandocplot16974575287094059809.src.html b/plots/pandocplot1025666781739678714.src.html → ...s/pandocplot16974575287094059809.src.html
@@ -143,7 +143,7 @@
 div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
 ul.task-list{list-style: none;}
 pre > code.sourceCode { white-space: pre; position: relative; }
-pre > code.sourceCode > span { display: inline-block; line-height: 1.25; }
+pre > code.sourceCode > span { line-height: 1.25; }
 pre > code.sourceCode > span:empty { height: 1.2em; }
 .sourceCode { overflow: visible; }
 code.sourceCode > span { color: inherit; text-decoration: inherit; }