From 98fa065de722bb7981949117a66643ed9eac8c52 Mon Sep 17 00:00:00 2001
From: Jay Weisskopf <jay@jayschwa.net>
Date: Mon, 8 Apr 2019 23:54:36 -0400
Subject: [PATCH] docs: Underline link when hovering over it

In addition to the pointer, this gives some visual feedback to the user
that the element is interactive. This is a very common style pattern
across the web.
---
 doc/langref.html.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/langref.html.in b/doc/langref.html.in
index bb2a67c562865a5f07bfdd7557d975cc884d3a33..1d80c73a3e50ca45fda9c7177c089304174cb977 100644
--- a/doc/langref.html.in
+++ b/doc/langref.html.in
@@ -8,7 +8,7 @@
       body{
         font-family: system-ui, -apple-system, Roboto, "Segoe UI", sans-serif;
       }
-      a {
+      a:not(:hover) {
         text-decoration: none;
       }
       table, th, td {
-- 
2.54.0