Labels Milestones
Back2.5; // margins from edges h_margin = hole_dist_side + thickness; v_margin.
- Normal -0.0943136 0.991505 0.0895749 facet normal -0.195077.
- -0.0879059 6.86646 facet normal -0.90036.
2.5; // margins from edges h_margin = hole_dist_side + thickness; v_margin.