Aliki: Make hamburger toggle non-selectable

Earlopain · Earlopain · commit 02b282321063 · 2025-11-30T13:39:07.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,7 @@ nav footer a {
     cursor: pointer;
     transition: color var(--transition-fast);
     line-height: 1;
+    user-select: none;
   }
 
   #navigation-toggle:hover {

Original file line number	Diff line number	Diff line change
`@@ -664,6 +664,7 @@ nav footer a {`
`664`	`664`	`cursor: pointer;`
`665`	`665`	`transition: color var(--transition-fast);`
`666`	`666`	`line-height: 1;`
	`667`	`+ user-select: none;`
`667`	`668`	`}`
`668`	`669`
`669`	`670`	`#navigation-toggle:hover {`