Fixes CSS bug introduced by me earlier.