3
1
Back

V_margin+8; module label(string, size=4, halign="center", height=thickness+1, font=default_label_font) { module title(string, size=12, halign="center", font=font_for_title) { color([1,0,0]) linear_extrude(thickness+1) text(string, size, halign=halign, font=font); } module external_direction_indicator() { if(pointy_external_indicator == true } module title(string, size=12, halign="center", font=font_for_title) .