Remove unused CSS class

Has been introduced in 30ac4fe5d8b4f5dd0e19905d684a07d09bd22200, but is
not used anywhere.