18 upper_ctr_maj_r = curl/2 + upper_r;
28 rotate_extrude(angle=180)
29 translate([upper_ctr_maj_r, 0])
31 translate([-upper_ctr_maj_r, 0,0])
36 translate([upper_ctr_maj_r, 0, 0])
37 linextr(-0.1, height + 0.1)
39 translate([0, 0, height])
46 linextr(-zmin, -zmin + th) {
47 square(center=true, [th2, width]);
52 for (x= sides_depth/2 * [-1,+1])
53 translate([ x, width/2 - th2/2 ])