13 antifoot_back = antifoot_depth + antifoot_height/antifoot_slope;
16 translate([-antifoot_front-antifoot_back, antifoot_width/2, 0])
18 translate([antifoot_front, antifoot_base, 0])
19 linear_extrude(height=antifoot_width)
20 polygon([[-antifoot_front, -antifoot_base],
21 [-antifoot_front, antifoot_height],
25 [antifoot_back, antifoot_height],
26 [antifoot_back, -antifoot_base]]);
30 effective_depth = whole_depth - antifoot_back;
31 translate([-effective_depth, -whole_width/2, 0])
36 mirror([0,1,0]) LeftLeg();