From 71b47dd413bd120109bc573a31488386a031b436 Mon Sep 17 00:00:00 2001
From: Massimiliano Assante <massimiliano.assante@isti.cnr.it>
Date: Wed, 22 Jul 2020 14:57:13 +0200
Subject: [PATCH] refined margin top of loaded resources

---
 .../resourcemanagement/client/ResourceManagementPortlet.java     | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/java/org/gcube/portlets/admin/resourcemanagement/client/ResourceManagementPortlet.java b/src/main/java/org/gcube/portlets/admin/resourcemanagement/client/ResourceManagementPortlet.java
index ffdc054..11b9ade 100644
--- a/src/main/java/org/gcube/portlets/admin/resourcemanagement/client/ResourceManagementPortlet.java
+++ b/src/main/java/org/gcube/portlets/admin/resourcemanagement/client/ResourceManagementPortlet.java
@@ -737,6 +737,7 @@ public class ResourceManagementPortlet implements EntryPoint {
 		loadedResources.setWidth(35);
 		loadedResources.setText("0");
 		loadedResources.setBox(true);
+		loadedResources.setStyleAttribute("margin-top", "-12px");
 		statusbar.add(loadedResources);
 		WidgetsRegistry.registerWidget(UIIdentifiers.STATUS_LOADED_RESOURCES_ID, loadedResources);