+ // rounded top
+ for (x=[-1, 1]) scale([x, 1, 1])
+ translate([batt_len/2 + wall + cable_sep, -infty/2, body_top_h - 2*wall])
+ rotate([-90, 0, 0])
+ scale([1, -2, 1])
+ difference() {
+ cube([wall+eps, wall+eps, infty]);
+ translate([0, 0, -eps])
+ cylinder(r=wall, h=infty+2*eps);
+ }