Size tweakages

11 years ago · 6867872aea
parent 091bf37762
commit 6867872aea
2 changed files with 1 additions and 8 deletions
--- a/static/ext/codemirror/codemirror.css
+++ b/static/ext/codemirror/codemirror.css
@ -3,7 +3,7 @@
 .CodeMirror {
  /* Set height, width, borders, and global font properties here */
  font-family: monospace;
-  height: 300px;
+  height: 400px;
 }
 .CodeMirror-scroll {
  /* Set scrolling behaviour here */
--- a/static/gcc.css
+++ b/static/gcc.css
@ -31,13 +31,6 @@ li.social {
    padding: 4px;
 }

-.CodeMirror-scroll {
-    min-height: 600px;
-    overflow-y: auto;
-    overflow-x: auto;
-    width: 100%;
-}
-
 .topbar {
    margin-top: 10px;
    padding: 6px;