From ed6f41e9d8b32b076e8ebb4633baa6ddf3b80915 Mon Sep 17 00:00:00 2001 From: Sam Date: Wed, 7 Aug 2024 11:01:34 +0100 Subject: [PATCH] Small style tweaks --- static/css/style.css | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/static/css/style.css b/static/css/style.css index 4be41c7..647f9da 100644 --- a/static/css/style.css +++ b/static/css/style.css @@ -372,18 +372,16 @@ article strong { margin-bottom: 20px; } -#TableOfContents { - margin-top: 10px; -} - #TableOfContents li::marker { content: none; margin: 0px; } -#TableOfContents li, -a { +#TableOfContents li { margin: 0px; +} + +#TableOfContents a { font-size: 14px; }