Refined central limit theorem and infinite density tail of the Lorentz gas from Lévy walk