Some last-minute CSS fixes