master: Small CSS tweak.