Labels Milestones
Backd6ebbf1c1b28130c9d340e0b0f0f06a7bc1cfd83 Add control label font so we don't lose.
- Normal -7.314496e-001 -6.818955e-001 0.000000e+000 vertex.
- 6.598533e-15 facet normal 0.0817037 -0.0823248 0.993251 vertex -5.77664.
- 2.5; polygon([[0,0], [(board_width-insert_width)/2, -insert_depth], [board_width-(board_width-insert_width)/2, -insert_depth], [board_width.