From 744616b84dd69c2880899ac9c309563ffeddcf5f Mon Sep 17 00:00:00 2001
From: DS <commits@sidhion.com>
Date: Wed, 3 Apr 2024 22:06:18 -0700
Subject: [PATCH] doc: make prompts unselectable on the manuals

---
 doc/style.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/style.css b/doc/style.css
index fddf4f4823c762c..bd931d475908b85 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -414,3 +414,12 @@ div.appendix .informaltable th,
 div.appendix .informaltable td {
     padding: 0.5rem;
 }
+
+/*
+  This relies on highlight.js applying certain classes on the prompts.
+  For more details, see https://highlightjs.readthedocs.io/en/latest/css-classes-reference.html#stylable-scopes
+*/
+.hljs-meta.prompt_ {
+    user-select: none;
+    -webkit-user-select: none;
+}
\ No newline at end of file