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