From 1f9044baf67c717106ce925166ed5f075dd50a3d Mon Sep 17 00:00:00 2001 From: ef3d0c3e Date: Wed, 28 Aug 2024 15:08:09 +0200 Subject: [PATCH] Update style --- style.css | 44 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) diff --git a/style.css b/style.css index e0243d3..fdf1f23 100644 --- a/style.css +++ b/style.css @@ -137,11 +137,55 @@ a.inline-code { content: "–"; } +/* TOC */ +.toc { + margin: auto; + margin-top: 1.8em; + width: 85%; + padding: 0.5em; + background-color: #1f1f1f; +} + +.toc a { + text-decoration: none; + color: #0ff08b; +} + +.toc ol { + margin: 0; + padding-left: 1.1em; +} + +.toc span { + display: flex; + justify-content: center; +} + /* Sections */ a.section-link { + display: none; text-decoration: none; } +h1:hover a.section-link { + display: inline; +} +h2:hover a.section-link { + display: inline; +} +h3:hover a.section-link { + display: inline; +} +h4:hover a.section-link { + display: inline; +} +h5:hover a.section-link { + display: inline; +} +h6:hover a.section-link { + display: inline; +} + /* Code blocks */ div.code-block-title { background-color: #20202a;