style.css: highlight anchor ids, useful for linking highlighting lines in a diff

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