web/default.css: minor refactoring.