From 1d164aee74dbe2a88dd8b6316601c38caa2c02f8 Mon Sep 17 00:00:00 2001
From: Matthias Geier <Matthias.Geier@gmail.com>
Date: Sat, 18 Apr 2020 12:35:57 +0200
Subject: [PATCH] Disable selecting prompt text

---
 src/nbsphinx.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/nbsphinx.py b/src/nbsphinx.py
index 42769823..4fb5c529 100644
--- 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,