Smaller font for the statistics (issue #2239)

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

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%;
+}