Merge pull request #301439 from DanielSidhion/unselectable-prompt

doc: make prompts unselectable on the manuals
NixOS · Apr 4, 2024 · 62c8b54 · 62c8b54
2 parents 60e0053 + 14d67ca
commit 62c8b54
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/doc/style.css b/doc/style.css
@@ -430,3 +430,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;
+}