fix: improve line breaking in ToC CSS (#3)

leanprover · Jul 17, 2024 · a139de2 · a139de2
1 parent 93af241
commit a139de2
Showing 1 changed file with 47 additions and 0 deletions.
diff --git a/static/theme.css b/static/theme.css
@@ -93,4 +93,51 @@ figcaption {
 /* Different color for information */
 .information pre, .information code {
     border-color: var(--lean-blue);
+}
+
+/* TODO: consider upstreaming, but also consider doing section numbering server-side */
+
+#toc ol li::before {
+    text-align: right;
+    padding-right: 0.5ex;
+}
+
+#toc li > ol {
+    padding: 0;
+}
+
+#toc > ol > li::before {
+    width: 1.5em;
+    position: absolute;
+    left: -1.5em;
+    box-sizing: border-box;
+}
+
+#toc > ol > li {
+    margin-left: 1.5em;
+    position: relative;
+}
+
+#toc > ol > li > ol > li::before {
+    width: 2.25em;
+    position: absolute;
+    left: -2.25em;
+    box-sizing: border-box;
+}
+
+#toc > ol > li > ol > li {
+    margin-left: 2.25em;
+    position: relative;
+}
+
+#toc > ol > li > ol > li > ol > li::before {
+    width: 2.75em;
+    position: absolute;
+    left: -2.75em;
+    box-sizing: border-box;
+}
+
+#toc > ol > li > ol > li > ol > li {
+    margin-left: 2.75em;
+    position: relative;
 }