css tweaks

css/ui.css

@@ -61,13 +61,13 @@
   bottom:0;
   left:0;
   right:0;
-  background-color: #666;
-  overflow: hidden;
+  background-color:#666;
+  overflow:hidden;
+  display:flex;
+  flex-direction:row;
 }
 #workspace {
   background-color:#333;
-  float:left;
-  height:100%;
   overflow:hidden;
 }
 div.editor {
@@ -222,8 +222,6 @@ a.dropdown-toggle {
     border-radius:6px 0 6px 6px;
 }
 div.emulator {
-  float:left;
-  height:100%;
   background-color: #666;
   margin-top: 20px auto 0;
 }
@@ -347,8 +345,7 @@ div.replaydiv {
 }
 .split,
 .gutter.gutter-horizontal {
-    float: left;
-    height: 100%;
+  height: 100%;
 }
 div.markdown {
  background-color: #fff;
@@ -366,7 +363,6 @@ div.markdown th {
  padding:0.2em;
 }
 #sidebar {
- float:left;
 }
 #sidebar ul {
   list-style-type:none;
@@ -393,3 +389,11 @@ div.markdown th {
   -webkit-background-clip: text;
   color:rgba(0,0,0,0);
 }
+.disable-select {
+  -webkit-touch-callout: none;
+  -webkit-user-select: none;
+  -khtml-user-select: none;
+  -moz-user-select: none;
+  -ms-user-select: none;
+  user-select: none;
+}