main.css: minor adjustments: