css: mini spacing fix.