Merge pull request #7403 from fricklerhandwerk/noselect

disallow selecting shell prompt in code samples
NixOS · Feb 10, 2023 · 320e391 · 320e391
2 parents 5597d68 + 1805386
commit 320e391
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/doc/manual/custom.css b/doc/manual/custom.css
@@ -5,3 +5,7 @@ h1:not(:first-of-type) {
 h2 {
  margin-top: 1em;
 }
+
+.hljs-meta {
+ user-select: none;
+}