1 files changed, 11 insertions, 0 deletions
diff --git a/static/css/app.css b/static/css/app.css
index b240013..e72d38b 100755
--- a/static/css/app.css
+++ b/static/css/app.css
@@ -528,3 +528,14 @@ a#run, a#kill {
         display: none;
     }
 }
+@media (max-width: 960px) {
+    #explorer {
+        position: initial;
+        height: auto;
+    }
+    #explorer .imports-checkbox,
+    #explorer .syntax-checkbox {
+        float: none;
+        display: block;
+    }
+}