css: minor