[AppDB] Increase menu text size

[Alex Waite]

Alexander Nicolaysen Sørnes wrote:
> This should make it easier for people to notice the menu options.  From 10px 
> to 11px.
> 
> 
> Regards,
> 
> Alexander N. Sørnes
> 
> 
> ------------------------------------------------------------------------
> 
> 
  I agree with increasing text size here, but we should keep in mind a
few things.  Setting text size in pixels is no longer the cool thing to
do.  W3C feels that it is best to use the "x-small, small, medium, etc"
values since they respect user settings and accessibility the most.  An
alternative which gives more control but isn't quite as proper is to use
em instead of px.  Either is better than using pixels.  Also, this text
size should be changed on all pages because the menu text size in the
AppDB is now larger than the text in the menu on the front page.
  I am part of a large project at my work where I have had to learn
quite a bit about web accessibility and best practices.  Contrary to
popular (and lazy) belief, most of it actually makes it easier in the
end to write and maintain a large website.  Plus the site is accessible
to more users.

---Alex