17 upper_ctr_maj_r = curl/2 + upper_r;
27 rotate_extrude(angle=180)
28 translate([upper_ctr_maj_r, 0])
30 translate([-upper_ctr_maj_r, 0,0])
35 translate([upper_ctr_maj_r, 0, 0])
36 linextr(-0.1, height + 0.1)
38 translate([0, 0, height])
45 linextr(-zmin, -zmin + th) {
46 square(center=true, [th, width]);
51 for (x= sides_depth/2 * [-1,+1])
52 translate([ x, width/2 - th/2 ])