that's max-height

This commit is contained in:
Jeremy Ashkenas 2010-02-13 19:14:28 -05:00
parent ecfa212189
commit c39c2e3599
1 changed files with 2 additions and 2 deletions

View File

@ -90,9 +90,9 @@ div.code {
border: 0; border: 0;
padding: 5px 7px; padding: 5px 7px;
margin-left: 5px; margin-left: 5px;
height: 250px; min-height: 250px;
resize: none; resize: none;
} }
#repl_results { #repl_results {
height: 260px; min-height: 260px;
} }