Labels Milestones
Back2 jackHoleDepth = 10; label_font = 6; // generally-useful spacing amount for vertical columns of stuff col_left = h_margin; bottom_row.
- -3.367382e-003 5.957437e-001 vertex 5.108496e+000 -2.948792e+000 2.482134e+001 facet normal.
- 7.670526e-01 vertex -1.082916e+02 9.725134e+01 1.127522e+01 facet.