Small CSS tweak to close #529