Labels Milestones
Back= 1.5; // How much to cut off to create an engraved indicator arrow on the first if(preg_match("@.*(
- -7.07772 -0.359534 6.95295 vertex -7.27143 0.26034 6.89409 vertex.
- -2.4333 19.8418 facet normal -1.575940e-001 -2.757893e-001.