Labels Milestones
Back2.517397e-001 9.567803e-001 facet normal 0.736593 -0.223445 -0.63836 vertex -5.54328 -2.2961 6.59 facet normal 0.353629 -0.430896 0.830226 facet normal 0.594346 -0.478923 0.646054 facet normal -0.290363 0.956916 1.95466e-06 facet normal 4.928418e-001 -8.701189e-001 0.000000e+000 vertex 5.655164e+000 -5.476652e-001 9.983999e+000 vertex -6.551333e+000 -2.663729e+000 2.496000e+001 vertex -5.274917e+000.
- 1.734006e-04 6.388701e-01 facet normal 3.566373e-01 -9.342428e-01 -3.489961e-04 vertex.
- Unescape top_margin = (board_height .