1 files changed, 15 insertions, 2 deletions
diff --git a/doc/_static/demo.css b/doc/_static/demo.css
index ec4468b3..987f0f28 100644
--- a/doc/_static/demo.css
+++ b/doc/_static/demo.css
@@ -3,6 +3,7 @@
     border-radius: 0;
     border: 1px solid #ccc;
     margin-top: 15px;
+    margin-bottom: 10px;
     padding: 10px 15px 5px 10px;
     position: relative;
 }
@@ -19,12 +20,24 @@
 }
 
 #hlcode {
-    padding: 10px 0;
+    margin: 10px 0;
+    max-height: 500px;
+    overflow: auto;
+    border: 1px solid #ccc;
+}
+
+#hlcode:empty {
+    display: none;
 }
 
 #hlcode pre {
     background-color: transparent;
-    border-radius: 0;
+    border: 0;
+    margin: 0;
+}
+#hlcode table {
+    /* unset negative margin from pygments14.css */
+    margin: unset;
 }
 
 #code-header:not([hidden]) {