Switch to more accessible header permalink anchors in documentation.

2022-08-21 21:48:07 -07:00
parent 462326406e
commit 97fad15009
2 changed files with 9 additions and 2 deletions
--- 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: " 🔗";
+}