use use tol = 2; cinch_d = 8.8; module panel_front(pcb_dim, margins, t) { dim = dim_pcb_to_case(pcb_dim, margins, t); x_off = dim[0]-2*t; difference() { pcb_case_panel_front(pcb_dim, margins, t); translate([x_off, 17-tol/2, 7.7-tol/2]) mini_hdmi_hole(t); translate([x_off, 47.7-tol/2, 8-tol/2]) micro_usb_hole(t); translate([x_off, 60.1-tol/2, 8-tol/2]) micro_usb_hole(t); translate([x_off, 42.6+cinch_d/2, 26.5+cinch_d/2]) cinch_hole(t); translate([x_off, 58.5+cinch_d/2, 26.5+cinch_d/2]) cinch_hole(t); } } module mini_hdmi_hole(t) { cube([t, 14+tol, 8.9+tol]); } module micro_usb_hole(t) { cube([t, 10.5+tol, 6.6+tol]); } module cinch_hole(t) { rotate([0, 90, 0]) cylinder(d=cinch_d+tol, h=t, $fn=30); }