Labels Milestones
Back9.665134e+01 5.154800e+00 vertex -1.083563e+02 9.695134e+01 5.118708e+00 vertex -1.084566e+02 9.725134e+01 5.287072e+00 facet normal 0.0243222 0.308979 0.950758 facet normal 0.0702523 -0.0430222 0.996601 facet normal 0.491602 0.262751 0.830234 facet normal 2.360004e-15 -8.103531e-16 -1.000000e+00 facet normal 0.976244 -0.096218 0.194139 facet normal 0.0974089 -0.989348 0.108177 facet normal -0.19508 0.980787 0 facet normal -0.0974598 0.995174 0.0114215 facet normal -0.95694 0.288329 0.0336382 facet normal -0.0819649 0.0819028 -0.993264 vertex 3.43619 -3.13874 21.7467 vertex -3.27291 -3.27291 21.7443 facet normal.
- { color([1,0,0]) linear_extrude(thickness+1) text(string, size, halign=halign.
- 0.741889 0.638745 0.203973 vertex.