Improved default styles
authorP. F. Chimento <philip.chimento@gmail.com>
Sat, 29 Jan 2011 16:33:17 +0000 (17:33 +0100)
committerP. F. Chimento <philip.chimento@gmail.com>
Sat, 29 Jan 2011 16:33:17 +0000 (17:33 +0100)
commit4e91ebdd2745875c23e971b3aa52a5d78cfdc0a2
tree9ce839e58abe99d80a3fc890a774ed0ff48f3dea
parent393b7a2b777d06754da16ffa5998d3eb9bf128ad
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