Aliki: Make hamburger toggle non-selectable

Earlopain · Earlopain · commit 96c442bedd84 · 2025-12-01T13:17:15.000+01:00
It's implemented via an utf8 character but should
not be selected by double-clicking.

`property-no-vendor-prefix` is disabled because no autoprefixer is used
diff --git a/.stylelintrc.json b/.stylelintrc.json
@@ -7,6 +7,7 @@
   "rules": {
     "csstools/value-no-unknown-custom-properties": true,
     "custom-property-no-missing-var-function": true,
-    "no-descending-specificity": null
+    "no-descending-specificity": null,
+    "property-no-vendor-prefix": null
   }
 }
diff --git a/lib/rdoc/generator/template/aliki/css/rdoc.css b/lib/rdoc/generator/template/aliki/css/rdoc.css
@@ -664,6 +664,8 @@ nav footer a {
     cursor: pointer;
     transition: color var(--transition-fast);
     line-height: 1;
+    user-select: none;
+    -webkit-user-select: none;
   }
 
   #navigation-toggle:hover {

Original file line number	Diff line number	Diff line change
`@@ -7,6 +7,7 @@`
`7`	`7`	`"rules": {`
`8`	`8`	`"csstools/value-no-unknown-custom-properties": true,`
`9`	`9`	`"custom-property-no-missing-var-function": true,`
`10`		`- "no-descending-specificity": null`
	`10`	`+ "no-descending-specificity": null,`
	`11`	`+ "property-no-vendor-prefix": null`
`11`	`12`	`}`
`12`	`13`	`}`
Original file line number	Diff line number	Diff line change
`@@ -664,6 +664,8 @@ nav footer a {`
`664`	`664`	`cursor: pointer;`
`665`	`665`	`transition: color var(--transition-fast);`
`666`	`666`	`line-height: 1;`
	`667`	`+ user-select: none;`
	`668`	`+ -webkit-user-select: none;`
`667`	`669`	`}`
`668`	`670`
`669`	`671`	`#navigation-toggle:hover {`