3
1
Back

- hole_vdist) / 2; hole_vert = (board_height - hole_vdist) / 2; hole_vert = (board_height - hole_vdist) / 2; hole_margin = 1; $n > 0; $abs = preg_replace($re, '/', $abs, -1, $n)) { } 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.

New Pull Request