translate([0, 0, -pin_thick/2])
linear_extrude(height=pin_thick){
translate([-pin_base/2, 0]) square([pin_base, 50]);
translate([-pin_width/2, -100]) square([pin_width, 101]);
}
hull() for (d=[0,10]) {
translate([0, 0, -pin_thick/2])
linear_extrude(height=pin_thick){
translate([-pin_base/2, 0]) square([pin_base, 50]);
translate([-pin_width/2, -100]) square([pin_width, 101]);
}
hull() for (d=[0,10]) {