navbar

[Gürkan Sengün <gurkan@phys.ethz.ch>]

Hello

I suggest adding a bit more spacing on the left, and making the rounded corners 
not so big. Here's a patch:

http://gnu.ethz.ch/padding-fix.patch

For the corners, I'd use 10px maximum, at the same range like above patch applies.

Yours,
Guerkan