From cc435f269b48f6b3f433a467521eb2f1f8102e09 Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Mon, 25 Nov 2019 00:51:43 +0100
Subject: [PATCH] Add styling for table of contents.

---
 static/assets/style.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/static/assets/style.css b/static/assets/style.css
index f2af9e6..98f2c27 100644
--- 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;
+}