From 1dd0d1667090c4993bbd9ab0a2cfc7d092bd54b3 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Tue, 8 Aug 2017 15:50:19 +0200
Subject: [PATCH] css of legend fixed (there was empty bar on top)
---
frontend-js/src/main/css/global.css | 3 +--
frontend-js/src/main/js/minerva.js | 2 +-
2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/frontend-js/src/main/css/global.css b/frontend-js/src/main/css/global.css
index 37d38f9b2b..727a2b54e0 100644
--- a/frontend-js/src/main/css/global.css
+++ b/frontend-js/src/main/css/global.css
@@ -137,13 +137,12 @@
border-right: 1px solid #9DE1F8;
}
-.legendBox {
+.minerva-legend {
position: absolute;
bottom: 10px;
right: 10px;
box-shadow: 0 3px 20px #999999;
border-top: 6px solid #017DA7;
- padding-top: 15px;
}
.searchPanel {
diff --git a/frontend-js/src/main/js/minerva.js b/frontend-js/src/main/js/minerva.js
index 933be3de49..f84281272a 100644
--- a/frontend-js/src/main/js/minerva.js
+++ b/frontend-js/src/main/js/minerva.js
@@ -116,7 +116,7 @@ function createDivStructure(element) {
var legendDiv = functions.createElement({
type : "div",
name : "legendDiv",
- className : "legendBox",
+ className : "minerva-legend",
style : "display:none",
});
rightPanelContainerDiv.appendChild(legendDiv);
--
GitLab