1 files changed, 7 insertions, 0 deletions
diff --git a/doc/overrides.css b/doc/overrides.css
index 4c7d4a31be2..cc21645a0dd 100644
--- 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;
+}