3
1
Back

*/ hole_dist_top = 2.5; // margins from edges h_margin = hole_dist_side + thickness; output_column = width_mm - hole_dist_side, hole_dist_top); echo("Putting a hole with radius: ", hole_r , " at ", width_mm - thickness*2; left_rib_x = 0; right_rib_x = width_mm - thickness; module label(string, size=4, halign="center") { color([1,0,0]) linear_extrude(thickness+1) text(string, size, halign=halign, font=font_for_title); .

New Pull Request