From 0f97b7a64fa3733689b713a2210a4f7b64e069d7 Mon Sep 17 00:00:00 2001 From: Mirek Kratochvil Date: Thu, 15 Jun 2023 15:05:51 +0200 Subject: add local anchors to headers --- assets/style.css | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'assets') diff --git a/assets/style.css b/assets/style.css index 410986d..6b89c32 100644 --- a/assets/style.css +++ b/assets/style.css @@ -43,6 +43,17 @@ a:hover { text-decoration: underline; } +a.header-local-anchor { + color: #eee; + font-weight: 300; + padding-left: 0.5em; +} + +a.header-local-anchor:hover { + text-decoration: none; + color: #0ad; +} + body { margin: 0; background: white; -- cgit v1.2.3