From 9568fde0274c1af3d782ddf586e8d1b451ff6bde Mon Sep 17 00:00:00 2001
From: azivner <adam.zivner@gmail.com>
Date: Wed, 14 Nov 2018 08:28:38 +0100
Subject: [PATCH] tooltip color tweak

---
 src/public/stylesheets/style.css | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css
index 94f18d369..08c262ffb 100644
--- a/src/public/stylesheets/style.css
+++ b/src/public/stylesheets/style.css
@@ -110,6 +110,10 @@ ul.fancytree-container {
     outline: none !important;
 }
 
+.fancytree-custom-icon {
+    font-size: 1.3em;
+}
+
 span.fancytree-node.protected > span.fancytree-custom-icon {
     filter: drop-shadow(2px 2px 2px black);
 }
@@ -495,12 +499,12 @@ table.promoted-attributes-in-tooltip td, table.promoted-attributes-in-tooltip th
 }
 
 .tooltip-inner {
-    background-color: white !important;
+    background-color: #fbfbfb !important;
     max-width: 600px;
     max-height: 500px;
     overflow: hidden;
     color: black;
-    border: 1px solid #777;
+    border: 1px solid #aaa;
     text-align: left;
 }
 
@@ -561,10 +565,6 @@ table.promoted-attributes-in-tooltip td, table.promoted-attributes-in-tooltip th
     margin-left:-300px;
 }
 
-.fancytree-custom-icon {
-    font-size: 1.3em;
-}
-
 .multiplicity {
     font-size: larger;
 }