tooltip color tweak

This commit is contained in:
azivner 2018-11-14 08:28:38 +01:00
parent 9cf08bf926
commit 9568fde027

View File

@ -110,6 +110,10 @@ ul.fancytree-container {
outline: none !important; outline: none !important;
} }
.fancytree-custom-icon {
font-size: 1.3em;
}
span.fancytree-node.protected > span.fancytree-custom-icon { span.fancytree-node.protected > span.fancytree-custom-icon {
filter: drop-shadow(2px 2px 2px black); 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 { .tooltip-inner {
background-color: white !important; background-color: #fbfbfb !important;
max-width: 600px; max-width: 600px;
max-height: 500px; max-height: 500px;
overflow: hidden; overflow: hidden;
color: black; color: black;
border: 1px solid #777; border: 1px solid #aaa;
text-align: left; text-align: left;
} }
@ -561,10 +565,6 @@ table.promoted-attributes-in-tooltip td, table.promoted-attributes-in-tooltip th
margin-left:-300px; margin-left:-300px;
} }
.fancytree-custom-icon {
font-size: 1.3em;
}
.multiplicity { .multiplicity {
font-size: larger; font-size: larger;
} }