erik%netscape.com 8e94846f15 bug 13072; we now take the smaller font when the desired font size is
precisely half-way between 2 available fonts; this avoids the 18-pixel
times font on systems with only the "75dpi" (sic) fonts installed;
the 18-pixel font is too large and bold-looking; r=tao
2000-02-12 22:17:15 +00:00
..