Labels Milestones
BackTolerance*8; echo("Left panel:", left_panel_width, " with spacing ", left_panel_spacing); right_panel_width = 12; .
- Vertex 2.629821e+000 -4.514335e+000 2.491820e+001 facet normal -2.498261e-001.
- 0.768509 0.108196 facet normal -0.0736135 0.0683032 -0.994945 facet.