Fix CSS bug that was accidentally introduced in the recent CSS clean-up (0c41323c4e359cd2ab56c0f7cf08d0bd86cc9f7e).