doc: Make prompt unselectable

Weirdly, no-one seems to have noticed this was broken.
2020-01-14 15:04:21 +01:00 · 2020-01-14 15:04:21 +01:00 · 8334b83595
commit 8334b83595
parent 30ea02a6ad
1 changed files with 7 additions and 0 deletions
--- a/doc/overrides.css
+++ b/doc/overrides.css
@ -7,3 +7,10 @@
 .calloutlist img {
    width: 1.5em;
 }
+
+.prompt {
+    -moz-user-select: none;
+    -webkit-user-select: none;
+    -ms-user-select: none;
+    user-select: none;
+}