Add styling for table of contents.

2019-11-25 00:51:43 +01:00 · 2019-11-25 00:51:43 +01:00 · cc435f269b
parent 3a16cdb0c8
commit cc435f269b
1 changed files with 6 additions and 0 deletions
--- a/static/assets/style.css
+++ b/static/assets/style.css
@ -110,3 +110,9 @@ div.admonitionblock td
 {
    margin-top: 2em;
 }
+
+/* Table of contents */
+#toc ul
+{
+    margin-top: 0;
+}