Labels Milestones
BackCenter_adjust; center_col = width_mm/2; vertical_space = height - v_margin*2 - title_font_size; working_increment = working_height / (8+tolerance/3); // generally-useful spacing.
- Vertex 6.918735e-001 -7.088008e+000 1.747200e+001 vertex 1.039424e+000.
- 8.30568 -3.44384 3 vertex.
- 4.54285 -5.69935 7.24096 vertex -5.55594.
- 7.81019 vertex -4.33969 -5.83811 7.81812 facet normal 0.884724.