Merge branch '976-plugins-hide-clear-button' into 'master'

Resolve "plugins hide clear button"

Closes #976

See merge request !962

CHANGELOG

@@ -3,6 +3,7 @@ minerva (14.0.3) stable; urgency=medium
     crash the upload (#985)
   * Bug fix: verificatin of version length added when uploading project 
     implemented (#978)
+  * Bug fix: CLEAR button disappeard when plugin tab used to much space (#976)
 
  -- Piotr Gawron <piotr.gawron@uni.lu>  Wed, 16 Oct 2019 9:00:00 +0200
 

frontend-js/src/main/css/global.css

@@ -57,7 +57,9 @@ h5 {
     color: #ffffff;
     display: inline;
     width: auto;
-    float: right
+    position: absolute;
+    top: 0;
+    right: 0;
 }
 
 .minerva-header a:hover {

frontend-js/src/main/js/gui/topMenu/TopMenu.js

@@ -89,10 +89,7 @@ TopMenu.prototype._createGui = function () {
     style: "display:none;"
   }));
 
-  var showOverviewDiv = Functions.createElement({
-    type: "div",
-    style: "float: left;"
-  });
+  var showOverviewDiv = Functions.createElement({type: "div"});
   self.getElement().appendChild(showOverviewDiv);
 
   var showOverviewButton = Functions.createElement({