This is the size mostly used by our GWT theme. Setting the page size
to 11 pt. caused some weird font size issues if the text wasn't
wrapped inside of a table. Most of Gerrit is table heavy, so most text
is set to "small" by the theme's "table {font-size: small;}" rule.
This fixes the font size in the project admin panels, which jumped to
be fairly large text compared to everything else in Gerrit when Martin
refactored its component tree.
Change-Id: Ibe2597eeb6f8f915a33a0b7ebaf453df5b0dfcd3
7400ec0fe6