Oops, that CSS changed some time ago.