Ticket #6867: 6867.diff

src/frontend/styles.css

@@ -57 +57 @@
         display: block;
         margin: -4px -4px 0;
         padding: 2px 4px;
-        font-size: 0.8em;
+        font-size: 1.2em;
         background: #ddd;
 }