Aliki: Make hamburger toggle non-selectable

Earlopain · Earlopain · commit 22cffa5d9f55 · 2025-12-01T08:28:43.000+01:00
It's implemented via an utf8 character but should
not be selected by double-clicking
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
`@@ -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 {`