Labels Milestones
BackLeft_panel_width / 3 + tolerance*8; echo("Left panel:", left_panel_width, " with spacing ", left_panel_spacing); right_panel_width = 12; // [1:1:84] working_increment = working_height / 7; // Number of faces on the wrong side of the Pelorinho