admin editor: fix theme selector and full screen

2013-06-10 15:22:00 +02:00
parent 5d6b4842ba
commit 9e2bb2c08a
4 changed files with 20 additions and 22 deletions
@@ -3,7 +3,7 @@
 .CodeMirror {
  /* Set height, width, borders, and global font properties here */
  font-family: monospace;
-  height: 300px;
+  height: auto;
 }

 .CodeMirror-scroll {
@@ -12,17 +12,13 @@
 }

 /* Fullscreen */
-
 .CodeMirror-fullscreen {
-        display: block;
-        position: absolute;
-        top: 0; left: 0;
-        width: 100% ! important;;
-        z-index: 9999;
-      }
-
-
-
+	display: block;
+	position: absolute ! important;
+	top: 0; left: 0;
+	width: 100% ! important;
+	z-index: 9999;
+}

 /* BREAKPOINTS */