history wip: Updating history list after saving document

[fnpeditor.git] / styles / common.less

diff --git a/styles/common.less b/styles/common.less
index 1b9ef18..e7767a3 100644 (file)
--- a/styles/common.less
+++ b/styles/common.less
@@ -1,5 +1,9 @@
+body {\r
+    padding-top: 5px;\r
+}\r
+\r
 .rng-common-hoveredNode {\r
-    border-color: red;\r
+    border-color: red !important;\r
     border-style:solid;\r
     border-width:1px;\r
 }\r