Smaller font for the statistics (issue #2239)

diff --git a/src/gr/grnet/pithos/web/client/Pithos.css b/src/gr/grnet/pithos/web/client/Pithos.css
index 025503e..09c8e41 100644 (file)
--- a/src/gr/grnet/pithos/web/client/Pithos.css
+++ b/src/gr/grnet/pithos/web/client/Pithos.css
@@ -42,3 +42,15 @@
        color: #4085A5;
        text-decoration: underline;
 }
+
+.statistics {
+       color: black;
+       padding-top: 10px;
+       padding-bottom: 10px;
+}
+
+@external gwt-HTML;
+
+.statistics .gwt-HTML {
+       font-size: 80%;
+}

diff --git a/src/gr/grnet/pithos/web/client/Pithos.java b/src/gr/grnet/pithos/web/client/Pithos.java
index d034e86..cfd53a1 100644 (file)
--- a/src/gr/grnet/pithos/web/client/Pithos.java
+++ b/src/gr/grnet/pithos/web/client/Pithos.java
@@ -121,6 +121,11 @@ public class Pithos implements EntryPoint, ResizeHandler {
        
        public interface Style extends CssResource {
                String commandAnchor();
+               
+               String statistics();
+               
+               @ClassName("gwt-HTML")
+               String html();
        }
        
        public interface Resources extends ClientBundle {

diff --git a/src/gr/grnet/pithos/web/client/foldertree/FolderTreeView.java b/src/gr/grnet/pithos/web/client/foldertree/FolderTreeView.java
index ffa79eb..e4fcc48 100644 (file)
--- a/src/gr/grnet/pithos/web/client/foldertree/FolderTreeView.java
+++ b/src/gr/grnet/pithos/web/client/foldertree/FolderTreeView.java
@@ -36,6 +36,7 @@
 package gr.grnet.pithos.web.client.foldertree;
 
 import gr.grnet.pithos.web.client.FolderContextMenu;
+import gr.grnet.pithos.web.client.Pithos;
 import gr.grnet.pithos.web.client.PithosDisclosurePanel;
 import gr.grnet.pithos.web.client.TreeView;
 
@@ -190,7 +191,7 @@ public class FolderTreeView extends Composite implements TreeView {
         content.add(tree);
 
         HorizontalPanel statistics = new HorizontalPanel();
-           statistics.addStyleName("pithos-statistics");
+           statistics.addStyleName(Pithos.resources.pithosCss().statistics());
            statistics.add(new HTML("Used: "));
            usedBytes = new HTML();
            statistics.add(usedBytes);

diff --git a/src/gr/grnet/pithos/web/public/pithos.css b/src/gr/grnet/pithos/web/public/pithos.css
index 701b120..aaa8a8b 100644 (file)
--- a/src/gr/grnet/pithos/web/public/pithos.css
+++ b/src/gr/grnet/pithos/web/public/pithos.css
@@ -345,16 +345,6 @@ table.pithos-permList.props-labels {
        padding-left: 4;
 }
 
-.pithos-statistics {
-       color: black;
-       padding-top: 10px;
-       padding-bottom: 10px;
-}
-
-.pithos-statistics .gwt-HTML {
-       font-size: 85%;
-}
-
 .pithos-statisticsSeparator {
        background: url(images/separator.png) no-repeat;
        width: 100%;