Improved default styles

Defined the default styles so as to be as accommodating as possible to
the largest possible number of games. In particular, games that abuse
the "Header" style to print bold text.

diff --git a/player/style.css b/player/style.css
index b012c767bfbe91d5b0f7f9c613942246c426eba8..7a37d70d072cdc907018606b60df142de2c87f55 100644 (file)
--- a/player/style.css
+++ b/player/style.css
@@ -26,11 +26,11 @@
  * text-align (left/right/center)
  */
 grid {
-       font-size: 14;
+       font-size: 11;
 }
 
 buffer {
-       font-size: 14;
+       font-size: 11;
 }
 
 grid.user1 {
@@ -40,7 +40,6 @@ grid.user1 {
 
 buffer.header {
        font-weight: bold;
-       text-align: center;
 }
 
 buffer.subheader {