ui/src/optsolver.src

32 	Size = MAP_APPFONT ( 250, 210 ) ;
40 		Size = MAP_APPFONT ( 86, 8 ) ;
48 		Size = MAP_APPFONT ( 135, 12 ) ;
55 		Size = MAP_APPFONT ( 13, 15 ) ;
63 		Size = MAP_APPFONT ( 86, 8 ) ;
70 		Size = MAP_APPFONT ( 50, 10 ) ;
78 		Size = MAP_APPFONT ( 50, 10 ) ;
86 		Size = MAP_APPFONT ( 42, 10 ) ;
95 		Size = MAP_APPFONT ( 91, 12 ) ;
102 		Size = MAP_APPFONT ( 13, 15 ) ;
110 		Size = MAP_APPFONT ( 86, 8 ) ;
118 		Size = MAP_APPFONT ( 135, 12 ) ;
125 		Size = MAP_APPFONT ( 13, 15 ) ;
133 		Size = MAP_APPFONT ( 241, 8 ) ;
140 		Size = MAP_APPFONT ( 78, 8 ) ;
146 		Size = MAP_APPFONT ( 40, 8 ) ;
152 		Size = MAP_APPFONT ( 78, 8 ) ;
161 		Size = MAP_APPFONT ( 63, 12 ) ;
168 		Size = MAP_APPFONT ( 13, 15 ) ;
177 		Size = MAP_APPFONT ( 40, 56 ) ;
194 		Size = MAP_APPFONT ( 63, 12 ) ;
201 		Size = MAP_APPFONT ( 13, 15 ) ;
209 		Size = MAP_APPFONT ( 13, 15 ) ;
220 		Size = MAP_APPFONT ( 63, 12 ) ;
227 		Size = MAP_APPFONT ( 13, 15 ) ;
236 		Size = MAP_APPFONT ( 40, 56 ) ;
253 		Size = MAP_APPFONT ( 63, 12 ) ;
260 		Size = MAP_APPFONT ( 13, 15 ) ;
268 		Size = MAP_APPFONT ( 13, 15 ) ;
279 		Size = MAP_APPFONT ( 63, 12 ) ;
286 		Size = MAP_APPFONT ( 13, 15 ) ;
295 		Size = MAP_APPFONT ( 40, 56 ) ;
312 		Size = MAP_APPFONT ( 63, 12 ) ;
319 		Size = MAP_APPFONT ( 13, 15 ) ;
327 		Size = MAP_APPFONT ( 13, 15 ) ;
338 		Size = MAP_APPFONT ( 63, 12 ) ;
345 		Size = MAP_APPFONT ( 13, 15 ) ;
354 		Size = MAP_APPFONT ( 40, 56 ) ;
371 		Size = MAP_APPFONT ( 63, 12 ) ;
378 		Size = MAP_APPFONT ( 13, 15 ) ;
386 		Size = MAP_APPFONT ( 13, 15 ) ;
395 		Size = MAP_APPFONT ( 8, 59 ) ;
402 		Size = MAP_APPFONT ( 250, 8 ) ;
409 		Size = MAP_APPFONT ( 55, 14 ) ;
416 		Size = MAP_APPFONT ( 55, 14 ) ;
422 		Size = MAP_APPFONT ( 55, 14 ) ;
430 		Size = MAP_APPFONT ( 55, 14 ) ;
454 	Size = MAP_APPFONT ( 118, 72 ) ;
460 		Size = MAP_APPFONT ( 106, 8 ) ;
467 		Size = MAP_APPFONT ( 106, 8 ) ;
474 		Size = MAP_APPFONT ( 118, 8 ) ;
479 		Size = MAP_APPFONT ( 50, 14 ) ;
492 	Size = MAP_APPFONT ( 118, 72 ) ;
497 		Size = MAP_APPFONT ( 106, 8 ) ;
503 		Size = MAP_APPFONT ( 106, 16 ) ;
510 		Size = MAP_APPFONT ( 118, 8 ) ;
515 		Size = MAP_APPFONT ( 50, 14 ) ;
528 	Size = MAP_APPFONT ( 138, 89 ) ;
533 		Size = MAP_APPFONT ( 126, 8 ) ;
539 		Size = MAP_APPFONT ( 126, 8 ) ;
545 		Size = MAP_APPFONT ( 126, 16 ) ;
552 		Size = MAP_APPFONT ( 138, 8 ) ;
557 		Size = MAP_APPFONT ( 60, 14 ) ;
565 		Size = MAP_APPFONT ( 60, 14 ) ;