Revert a CSS deletion (broken in e85436b)