From 56b50cea5609a39aaa161ad3ba90a3792ba01956 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Sun, 11 Oct 2020 18:27:48 +0200
Subject: [PATCH] Hide prompt in generated doc

---
 doc/source/conf.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/source/conf.py b/doc/source/conf.py
index e6ba967..b63d93b 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -251,4 +251,10 @@ nbsphinx_prolog = """
       Interactive version:
       <span style="white-space: nowrap;"><a href="https://mybinder.org/v2/gh/movesrwth/stormpy/master?filepath=notebooks/{{ docname }}"><img alt="Binder badge" src="https://mybinder.org/badge_logo.svg" style="vertical-align:text-bottom"></a>.</span>
     </div>
+    <style>
+        .nbinput .prompt,
+        .nboutput .prompt {
+            display: none;
+        }
+    </style>
 """