diff .hgsub @ 301:841b5e0ab726

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.
author David Soria Parra <dsp@php.net>
date Tue, 09 Mar 2010 02:15:02 +0100
parents fa62d8bbc649
children 246341163502
line wrap: on
line diff