From 97fad150092e10f59e55e98327d62d4c19f97e83 Mon Sep 17 00:00:00 2001
From: Dan Helfman <witten@torsion.org>
Date: Sun, 21 Aug 2022 21:48:07 -0700
Subject: [PATCH] Switch to more accessible header permalink anchors in
 documentation.

---
 .eleventy.js             | 3 +--
 docs/_includes/index.css | 8 ++++++++
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/.eleventy.js b/.eleventy.js
index 79b508792..bde54af74 100644
--- a/.eleventy.js
+++ b/.eleventy.js
@@ -23,8 +23,7 @@ module.exports = function(eleventyConfig) {
         }
     };
     let markdownItAnchorOptions = {
-        permalink: true,
-        permalinkClass: "direct-link"
+        permalink: markdownItAnchor.permalink.headerLink()
     };
 
     eleventyConfig.setLibrary(
diff --git a/docs/_includes/index.css b/docs/_includes/index.css
index a3aedbcf0..1d06fabe0 100644
--- a/docs/_includes/index.css
+++ b/docs/_includes/index.css
@@ -530,3 +530,11 @@ main .elv-toc + h1 .direct-link {
 		display: none ;
 	}
 }
+
+.header-anchor {
+    text-decoration: none;
+}
+
+.header-anchor:hover::after {
+    content: " 🔗";
+}