1 files changed, 1 insertions, 0 deletions
diff --git a/site/main.css b/site/main.css
index 4da90c3..62b5179 100644
--- a/site/main.css
+++ b/site/main.css
@@ -18,6 +18,7 @@ html {
 
 #code #src {
     width: 100%;
+    min-height: 25ex;
     margin-top: 1ex;
     padding: 1em;
     border: 2px inset lightgray;