Labels Milestones
Back= [[0,-10], [0,133], [-60.7,260], [-10,280], [130,260], [80,10]]; module frame(points, depth=7, width=15) { module label(string, size=4, halign="center", height=thickness+1, font=default_label_font) { color([1,0,0.
- Normal 0.061823 -0.114014 0.991554 facet normal.
- -1.006624e+02 9.249908e+01 2.550000e+00 facet normal 7.1217e-06.
- Normal 0.989315 -0.0975872 0.108317.
- This can be painted. CapType .