function ATX_mini_itx_size() = [ 170, 170 ]; function ATX_mini_itx_holes_diameters() = 3; function ATX_mini_itx_holes() = [ [-78.65, 74,84], [78.83, 51.98], [-78.65, -80.78], [78.83, -80.78] ];