Fix selection for safari/Internet Explorer and Mozilla

1 files changed, 8 insertions, 4 deletions

diff --git a/sphinx/themes/basic/static/basic.css_t b/sphinx/themes/basic/static/basic.css_t
index 25ab688e4..b80868d7a 100644
--- a/sphinx/themes/basic/static/basic.css_t
+++ b/sphinx/themes/basic/static/basic.css_t
@@ -817,12 +817,16 @@ div.code-block-caption code {
     background-color: transparent;
 }
 
-table.highlighttable td.linenos,
-span.linenos,
-div.doctest > div.highlight span.gp {  /* gp: Generic.Prompt */
-    user-select: none;
+/* From https://stackoverflow.com/a/34372191 */
+span.gp {  /* gp: Generic.Prompt */ 
+  user-select: none;
+  -webkit-user-select: text; /* Safari fallback only */
+  -webkit-user-select: none; /* Chrome/Safari */
+  -moz-user-select: none; /* Firefox */
+  -ms-user-select: none; /* IE10+ */
 }
 
+
 div.code-block-caption span.caption-number {
     padding: 0.1em 0.3em;
     font-style: italic;