Fix CSS rule name (Bug #13617).
[jan] Fix spacing in top menu (Bug #13617).