Smaller font for the statistics (issue #2239)

[pithos-web-client] / src / gr / grnet / pithos / web / client / Pithos.java

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 {