Labels Milestones
Back- v_margin*2 - title_font_size; working_increment = working_height / (8+tolerance/3); // generally-useful spacing amount for vertical columns of stuff // How much horizontal space needed for left-hand and right-hand sub-panels.
- -5.455036e+000 9.983999e+000 vertex 4.695738e+000.
- 4.447341e-003 4.905725e-002 facet normal -0.0819033 -0.0819011 -0.993269 facet.