From 96c442bedd84526f1fdec60b90f4f21f29710ae1 Mon Sep 17 00:00:00 2001
From: Earlopain <14981592+Earlopain@users.noreply.github.com>
Date: Mon, 1 Dec 2025 13:17:15 +0100
Subject: [PATCH] Aliki: Make hamburger toggle non-selectable

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
---
 .stylelintrc.json                              | 3 ++-
 lib/rdoc/generator/template/aliki/css/rdoc.css | 2 ++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.stylelintrc.json b/.stylelintrc.json
index af92365ca6..b71ea34bdf 100644
--- 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
index ac3143cf9c..f4cf58a9b5 100644
--- 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 {