From 76736a90dc799d10067e7234d7522812bae324e1 Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Tue, 20 Jul 2021 15:58:12 +0200
Subject: [PATCH] CSS: Draw an outline around targets.

---
 assets/blog.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/assets/blog.css b/assets/blog.css
index 836ad4c..47c7a3f 100644
--- a/assets/blog.css
+++ b/assets/blog.css
@@ -55,6 +55,7 @@ html
     color: var(--fg);
     font-family: var(--font-serif);
     text-align: justify;
+    scroll-padding-top: 0.5em;
 }
 
 body
@@ -308,3 +309,8 @@ kbd
 {
     text-align: left;
 }
+
+:target
+{
+    outline: 0.01em dotted var(--fg-dim);
+}