Fix coding/WebIDE#152

Fix coding/WebIDE#153
coding · Apr 6, 2017 · 5bb26fd · 5bb26fd
1 parent cef7665
commit 5bb26fd
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 1 deletion.
diff --git a/app/styles/core-ui/Bar.styl b/app/styles/core-ui/Bar.styl
@@ -3,6 +3,7 @@ $bar-size= 25px
 // the rotated label trick, see: https://gist.github.com/aiboy/7406727
 .side-bar {
   display: flex;
+  noSelect()
 
   &.left, &.right {
     width: $bar-size;

diff --git a/app/styles/core-ui/History.styl b/app/styles/core-ui/History.styl
@@ -25,5 +25,18 @@
       padding: 5px 8px;
       cursor: pointer;
     }
+    .public_fixedDataTable_header, .public_fixedDataTable_header .public_fixedDataTableCell_main {
+      background: #FFF;
+      font-weight: normal;
+    }
+    .fixedDataTableLayout_main {
+      border-width: 0px;
+    }
+    .public_fixedDataTableCell_main {
+      border-color: #ebebeb;
+    }
+    .public_fixedDataTable_main, .public_fixedDataTable_header, .public_fixedDataTable_hasBottomBorder {
+      border-color: #ebebeb;
+    }
   }
 }
diff --git a/app/styles/core-ui/StatusBar.styl b/app/styles/core-ui/StatusBar.styl
@@ -1,7 +1,7 @@
 $bar-height = 30px;
 
 .status-bar {
-  border-top: 1px solid transparent;
+  // border-top: 1px solid transparent;
   display: flex;
   align-items: center;
   min-height: $bar-height;