diff --git a/theme/basic.css b/theme/basic.css
index f00195e..14a5a1e 100644
--- a/theme/basic.css
+++ b/theme/basic.css
@@ -93,6 +93,7 @@ input:invalid {
 #devel {
   background-color: #eee;
   color: black;
+  overflow: scroll;
 }
 #devel .string {
   color: #9c27b0;