From 5cd435b7551bd18e38f1e30fc82b74bb23b3cf33 Mon Sep 17 00:00:00 2001 From: Philipp Oppermann Date: Tue, 19 Mar 2019 13:24:59 +0100 Subject: [PATCH] Add a small margin after the ToC Heading --- blog/static/css/main.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/blog/static/css/main.css b/blog/static/css/main.css index 7e04ef97..a303d19c 100644 --- a/blog/static/css/main.css +++ b/blog/static/css/main.css @@ -166,6 +166,10 @@ a.anchorjs-link:hover { display: none; } +#toc-inline summary { + margin-bottom: .2rem; +} + aside#all-posts-link { font-size: 90%; margin-top: 0.5rem;