Correct headers for 0.1" heavy duty pins

What is the diameter of the pins? The drawing does not seem to say.