Disable selecting prompt text

spatialaudio · Apr 20, 2020 · 1d164ae · 1d164ae
1 parent 53d4de2
commit 1d164ae
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/nbsphinx.py b/src/nbsphinx.py
@@ -488,6 +488,7 @@
     width: %(nbsphinx_prompt_width)s;
     padding-top: 0.3rem;
     position: relative;
+    user-select: none;
 }
 
 div.nbinput.container div.prompt > div,