From 5bb26fdb95c8c37fc1a195d214ff716f8dbf5d03 Mon Sep 17 00:00:00 2001
From: Yang Zhen <yangzhen@coding.net>
Date: Thu, 6 Apr 2017 14:55:53 +0800
Subject: [PATCH] Fix https://github.com/Coding/WebIDE/issues/152 Fix
 https://github.com/Coding/WebIDE/issues/153

---
 app/styles/core-ui/Bar.styl       |  1 +
 app/styles/core-ui/History.styl   | 13 +++++++++++++
 app/styles/core-ui/StatusBar.styl |  2 +-
 3 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/app/styles/core-ui/Bar.styl b/app/styles/core-ui/Bar.styl
index 465a46d5..3369a5a6 100644
--- 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
index bd9db4aa..ce78c1b7 100644
--- 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;
+    }
   }
 }
\ No newline at end of file
diff --git a/app/styles/core-ui/StatusBar.styl b/app/styles/core-ui/StatusBar.styl
index ecb207e8..ac54ba2e 100644
--- 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;