Make header link not selectable

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 */

assets/print.css

@@ -1,4 +1,4 @@
-nav, .headerlink {
+nav {
     display: none;
 }
 

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 {