From 4e91ebdd2745875c23e971b3aa52a5d78cfdc0a2 Mon Sep 17 00:00:00 2001 From: "P. F. Chimento" Date: Sat, 29 Jan 2011 17:33:17 +0100 Subject: [PATCH 1/1] 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. --- player/style.css | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/player/style.css b/player/style.css index b012c76..7a37d70 100644 --- 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 { -- 2.30.2