chiark / gitweb /
pivoting_gap = 0.1;
outside_gap = 3;
pivoting_gap = 0.1;
outside_gap = 3;
outend_height = 3;
outside_pushh = 4;
outend_height = 3;
outside_pushh = 4;
//LeverSectBot(true);
//Demo();
//LeverTop();
//LeverSectBot(true);
//Demo();
//LeverTop();