disco-lang
diff --git a/‎www/disco-live.html‎
Lines changed: 1 addition & 0 deletions b/‎www/disco-live.html‎
Lines changed: 1 addition & 0 deletions
@@ -36,6 +36,7 @@
         padding: 6px;
         overflow: scroll;
         max-width: 30em;
+        max-height: 40em;
         margin-bottom:6px;
       }
       #out pre {
Original file line number	Diff line number	Diff line change
`@@ -36,6 +36,7 @@`
`36`	`36`	`padding: 6px;`
`37`	`37`	`overflow: scroll;`
`38`	`38`	`max-width: 30em;`
	`39`	`+ max-height: 40em;`
`39`	`40`	`margin-bottom:6px;`
`40`	`41`	`}`
`41`	`42`	`#out pre {`