+module CatchPortion(width){
+ translate([phone_width/2, 0,0])
+ rotate([90,0,-90])
+ linextr(-width/2, width/2)
+ children(0);
+}
+
+module PropRecess(){
+ // origin and orientation are nonstandard
+ hwd345 = 0.5*prop_main_width + prop_side_gap;
+ hwd35 = 0.5*prop_fin_width + prop_side_gap;
+ linextr(-hwd345, +hwd345)
+ polygon([ prp1,
+ prp2,
+ prp3,
+ prp4,
+ prp4 + [0,10],
+ prp1 + [0,10],
+ ]);
+ linextr(-hwd35, +hwd35)
+ polygon([ prp1,
+ prp3,
+ prp5,
+ prp5 + [0,10],
+ prp1 + [0,10],
+ ]);
+}
+