From dc9b43c9074e44cf20ae2db64ab49415a283fb36 Mon Sep 17 00:00:00 2001
From: Unrud <unrud@outlook.com>
Date: Thu, 15 Sep 2022 01:12:41 +0200
Subject: [PATCH] Make header link not selectable

---
 assets/default.css | 4 ++++
 assets/print.css   | 2 +-
 assets/screen.css  | 4 +++-
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/assets/default.css b/assets/default.css
index d5ad9156..413ea544 100644
--- a/assets/default.css
+++ b/assets/default.css
@@ -15,6 +15,10 @@ table, tr, td, th, thead {
     border-collapse: collapse;
 }
 
+.headerlink {
+    display: none;
+}
+
 @media not screen {
     nav {
         /* Override changes made by JS to HTMLElement */
diff --git a/assets/print.css b/assets/print.css
index 31f40d4f..7d580eaf 100644
--- a/assets/print.css
+++ b/assets/print.css
@@ -1,4 +1,4 @@
-nav, .headerlink {
+nav {
     display: none;
 }
 
diff --git a/assets/screen.css b/assets/screen.css
index 0749b4b9..5a12fd64 100644
--- a/assets/screen.css
+++ b/assets/screen.css
@@ -365,7 +365,9 @@ td, th {
 }
 
 .headerlink {
-    display: none;
+    -webkit-user-select: none;
+    -moz-user-select: none;
+    user-select: none;
 }
 
 section > *:first-child:hover a.headerlink {