Merge pull request #77683 from jtojnar/prompt-no-select

doc: Make callout marks & prompts unselectable

1 files changed, 14 insertions, 1 deletions

diff --git a/doc/overrides.css b/doc/overrides.css
index 4c7d4a31be2d0..73901a3f543bf 100644
--- a/doc/overrides.css
+++ b/doc/overrides.css
@@ -1,9 +1,22 @@
 .docbook .xref img[src^=images\/callouts\/],
 .screen img,
-.programlisting img {
+.programlisting img,
+.literallayout img,
+.synopsis img {
     width: 1em;
 }
 
 .calloutlist img {
     width: 1.5em;
 }
+
+.prompt,
+.screen img,
+.programlisting img,
+.literallayout img,
+.synopsis img {
+    -moz-user-select: none;
+    -webkit-user-select: none;
+    -ms-user-select: none;
+    user-select: none;
+}