\thinlines ¶Declaration to set the thickness of subsequent lines, circles, and ovals
in a picture environment to be 0.4pt. This is the default
thickness, so this command is unnecessary unless the thickness has been
changed with either \linethickness or \thicklines.