# HG changeset patch
# User David Soria Parra <dsp@php.net>
# Date 1268097302 -3600
# Node ID 841b5e0ab7262fa8c99960e2edd5e8676f57aa5c
# Parent  a2be6892b34837221c6695679d54c3dfb9f1a7dc
Make navigation font a little bit smaller

The navigation font was optimized for the custom font, but was compeltly
unreadable if the javascript files cannot be load. To avoid this issue we make
them a little bit smaller so without the custom fonts the items still fit. If
the font is loaded it's a little bit smaller but I think it's okay.

diff -r a2be6892b348 -r 841b5e0ab726 static/css/styles.css
--- a/static/css/styles.css	Sun Mar 07 23:01:14 2010 +0100
+++ b/static/css/styles.css	Tue Mar 09 02:15:02 2010 +0100
@@ -91,7 +91,7 @@
 /*
  * Nav
  */
-#nav { position: absolute; top: 17px; right: 0; background: #999; height: 42px; margin: 0; width: 665px; font-size: 1.1428em; *font-size: 16px; line-height: 42px; font-family: Optimer, Helvetica, Arial, sans-serif; overflow: hidden; }
+#nav { position: absolute; top: 17px; right: 0; background: #999; height: 42px; margin: 0; width: 665px; font-size: 1em; *font-size: 16px; line-height: 42px; font-family: Optimer, Helvetica, Arial, sans-serif; overflow: hidden; }
 #nav li { float: left; margin: 0; padding: 0; list-style: none; }
 #nav a { float: left; color: #fff; text-decoration: none; padding: 0 16px; *padding: 0 14px; }
 #nav a:hover, #nav a:focus, #nav .active a { background: #00b5f1; }