mobile: font size tweaks

diff --git a/mobile/mobile.css b/mobile/mobile.css
index 6f7f89e935c1d3a35dede44c867495b3e65a0488..a912b1a702402d64a6c8cf00d3304d37c23124c7 100644 (file)
--- a/mobile/mobile.css
+++ b/mobile/mobile.css
@@ -29,6 +29,7 @@ h3 {
        border-style : solid;
        border-color : #88b0ff;
        font-weight : bold;
+       font-size : small;
 }
 
 #content {
@@ -173,6 +174,7 @@ div.postTags {
 div.footerAddon {
        margin-top : 5px;
        margin-bottom : 5px;
+       font-size : small;
 }
 
 .loginError {