From 58b275850442abeca5aba47432fca5eca252efb0 Mon Sep 17 00:00:00 2001
From: "B. Petersen" <r10s@b44t.com>
Date: Sat, 11 Jan 2020 12:57:06 +0100
Subject: [PATCH] tweak toc

---
 assets/help/help.css | 23 ++++++++++++++++++++---
 1 file changed, 20 insertions(+), 3 deletions(-)

diff --git a/assets/help/help.css b/assets/help/help.css
index a2edabd83..beefb5f99 100644
--- a/assets/help/help.css
+++ b/assets/help/help.css
@@ -1,4 +1,21 @@
-ul#top li {
-  margin-top: .7em;
-  margin-bottom: .7em;
+a {
+  text-decoration: none;
+}
+
+ul#top {
+  list-style-type: none;
+  margin: 0;
+  padding: 0;
+}
+
+ul#top > li {
+  font-weight: bold !important;
+  font-size: 1.2rem !important;
+}
+
+ul#top li {
+  margin-top: .7rem;
+  margin-bottom: .7rem;
+  font-weight: normal;
+  font-size: 1rem;
 }