Labels Milestones
BackSphere(r = sphere_indents_radius, $fn = 3, center = false); z_position = height - v_margin*2 - title_font_size; working_increment = (working_height-v_margin+thickness) / (9); // generally-useful spacing amount for vertical columns of stuff col_middle.
- 7.79364 0 5.97318 facet normal 9.901781e-01 1.398070e-01 1.147676e-03.
- Vertex 5.83003 4.3315 7.92322 vertex 4.28775.