CSS tweaks.

Author: mrdoob

index.html

@@ -65,18 +65,17 @@
 			#editor {
 
 				position: absolute;
-				margin: 0;
 				width: 100%;
 				height: 100%;
-				background-color: rgba(255,255,255,0.75);
 
 			}
 
 			#editor .CodeMirror {
 
+				height: 100%;
 				font-family: inconsolata;
 				font-size: 16px;
-				height: 100% !important;
+				background-color: rgba(255,255,255,0.75);
 
 			}