Make compiler dropdown wider

7 years ago · 88390b05f4
parent 5e14b1a254
commit 88390b05f4
1 changed files with 2 additions and 2 deletions
--- a/static/explorer.css
+++ b/static/explorer.css
@ -3,7 +3,7 @@
 }

 .compiler {
-    width: 10em;
+    width: 13em;
 }

 .CodeMirror {
@ -160,4 +160,4 @@ span.icon {
    background-color: rgba(255, 0, 0, 0.2);
    color: #0000b0;
    font-weight: bold;
-}
+}