+ PsHull([P2,P3,P4]);
+ difference(){
+ PsHull([P0,P1,P2,P5,P8,P9]);
+ translate(Q0) {
+ hull(){
+ circle(r=edge_or, $fn=20);
+ translate([0,10]) circle(r=edge_or, $fn=20);
+ }
+ }
+ }
+}
+
+module LeverSectTop(){
+ difference(){
+ LeverSect();
+ translate([pivot_x,0]) circle(r= pivot_r + pivot_slop, $fn=20);
+ }
+}
+
+module LeverSectBot(){
+ mirror([0,1]) {
+ LeverSect();
+ PsHull([P5,P6,P7]);
+ translate([pivot_x,0]) circle(r=pivot_r, $fn=20);
+ }
+}
+
+module Demo(){
+ translate([0,0,-5]) color("white") ExtrusionSect();
+ LeverSectTop();
+ LeverSectBot();