From 4a93974f52683114dd6c4db3bad0b7adace7c771 Mon Sep 17 00:00:00 2001
From: Hiltjo Posthuma <hiltjo@codemadness.org>
Date: Sun, 29 Dec 2019 19:02:04 +0100
Subject: [PATCH] style.css: highlight anchor ids, useful for linking
 highlighting lines in a diff

---
 style.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/style.css b/style.css
index d8f9fff..d1cd6d3 100644
--- a/style.css
+++ b/style.css
@@ -17,6 +17,10 @@ img {
 	border: 0;
 }
 
+a:target {
+	background-color: #ccc;
+}
+
 a.d,
 a.h,
 a.i,
-- 
2.39.2