From 3930a02123e6b4c5a4d365bf18e80b7ca1188f0e Mon Sep 17 00:00:00 2001
From: azivner <adam.zivner@gmail.com>
Date: Sun, 6 Jan 2019 20:59:19 +0100
Subject: [PATCH] tree now uses standard font size which effectively makes it a
 bit larger

---
 src/public/stylesheets/desktop.css |  2 +-
 src/public/stylesheets/style.css   | 10 ++++++++++
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/public/stylesheets/desktop.css b/src/public/stylesheets/desktop.css
index 9502838a6..a75f1462d 100644
--- a/src/public/stylesheets/desktop.css
+++ b/src/public/stylesheets/desktop.css
@@ -62,7 +62,7 @@
     padding: 10px 0 10px 0;
     margin: 0 20px 0 10px;
     border: 1px solid #ddd;
-    border-radius: 5px;
+    border-radius: 7px;
 }
 
 #context-menu-container {
diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css
index da5bc9064..8c0386efd 100644
--- a/src/public/stylesheets/style.css
+++ b/src/public/stylesheets/style.css
@@ -16,6 +16,16 @@ body {
     flex-grow: 100;
 }
 
+ul.fancytree-container {
+    /* override specific size from fancytree.css */
+    font-family: inherit !important;
+    font-size: inherit !important;
+}
+
+.fancytree-title {
+    margin-left: 7px !important;
+}
+
 .fancytree-node:not(.fancytree-loading) .fancytree-expander {
     background: none;
     width: auto;