[css2] Update section 12.5.