+module LidEdgeProfile(){
+ polygon([ lpp10,
+ lpp11,
+ lpp12,
+ lpp13,
+ lpp13 + [10, 0],
+ lpp10 + [10, 0]
+ ]);
+ intersection(){
+ circleat(lpp12, r=lp_r12);
+ rectfromto( lpp12 + [-10, 0],
+ lpp12 + [+10, +10] );
+ }
+}
+
+module ButtonCoverProfile(){
+ intersection(){
+ polygon([ bppM, bppP, bppO, bppJ, bppL, bppK ]);
+ hull(){
+ EdgeProfile();
+ LidEdgeProfile();
+ }
+ }
+}
+
+module ButtonPlan(l, deep, cut){
+ epsilon =
+ (cut ? 0 : lid_buttoncover_gap);
+
+ delta =
+ (deep ? lid_buttoncover_overlap : 0);
+
+ C = [0,0]; // by definition
+ T = [ 0, epp4[1] ];
+ G = T + [0,10];
+
+ B0 = C + [0,-1] * button_cutout_depth;
+ B1 = B0 + [0,1] * epsilon;
+
+ r0 = 0.5 * (T[1] - B0[1]);
+ A = [ -(l + button_l_fudge)/2 + r0, 0.5 * (T[1] + B0[1]) ];
+ H = A + [0,-1] * delta;
+
+ D = A + [-2,0] * r0;
+ F = D + [0,10];
+
+ E0 = 0.5 * (D + A);
+ E1 = E0 + [1,0] * epsilon;
+
+ I0 = [ E0[0], H[1] ];
+ I1 = [ E1[0], H[1] ];
+
+ hull(){
+ for (m=[0,1]) mirror([m,0])
+ circleat(H, r0 - epsilon);
+ }
+ for (m=[0,1]) mirror([m,0]) {
+ difference(){
+ polygon([ E1,
+ I1,
+ H,
+ B1,
+ G,
+ F,
+ D
+ ]);
+ circleat(D, r0 + epsilon);
+ }
+ }
+}
+
+module CaseBase_rhsflip(yn=[0,1]) {
+ for (rhs=yn) {
+ translate([phone_width/2, 0, 0])
+ mirror([rhs,0,0])
+ translate([-phone_width/2, 0, 0])
+ children();
+ }
+}
+
+module CaseBase_botflip() {
+ for (bot=[0,1]) {
+ translate([0, -phone_height/2, 0])
+ mirror([0, bot, 0])
+ translate([0, phone_height/2, 0])
+ children();
+ }
+}
+
+module AroundEdges(fill_zstart, fill_th, fill_downwards=0){
+ // sides
+ CaseBase_rhsflip(){
+ translate([0, -phone_cnr_rad, 0])
+ rotate([90,0,0])
+ linear_extrude(height = phone_height - phone_cnr_rad*2)
+ children(0);
+ }
+ // corners
+ CaseBase_rhsflip() CaseBase_botflip() {
+ translate([+1,-1] * phone_cnr_rad)
+ intersection(){
+ rotate_extrude()
+ intersection(){
+ mirror([1,0,0])
+ translate([-1,0] * phone_cnr_rad)
+ children(0);
+ rectfromto([0,-20],[10,20]);
+ }
+ translate([-10, 0, -20] + 0.01 * [+1,-1, 0] )
+ cube([10,10,40]);
+ }
+ }
+ // top and bottom
+ CaseBase_botflip(){
+ translate([ phone_width - phone_cnr_rad, 0,0 ])
+ rotate([90,0,-90])
+ linear_extrude(height = phone_width - phone_cnr_rad*2)
+ children(0);
+ }
+ // fill
+ translate([0,0, fill_zstart])
+ mirror([0,0, fill_downwards])
+ linear_extrude(height = fill_th)
+ rectfromto([+1,-1] * phone_cnr_rad,
+ [phone_width, -phone_height] + [-1,+1] * phone_cnr_rad);
+}
+
+module SideButton(y,l){
+ $button_l= l;
+ translate([0, -y, 0])