12 antifoot_back = antifoot_depth + antifoot_height/antifoot_slope;
13 translate([-antifoot_front-antifoot_back, antifoot_width/2, 0])
15 translate([antifoot_front, antifoot_base, 0])
16 linear_extrude(height=antifoot_width)
17 polygon([[-antifoot_front, -antifoot_base],
18 [-antifoot_front, antifoot_height],
22 [antifoot_back, antifoot_height],
23 [antifoot_back+antifoot_overlap, antifoot_height],
24 [antifoot_back+antifoot_overlap, -antifoot_base]]);