www/themes/default/theme.css: Minor changes ...