peterl%netscape.com f11eb90ed6 made relative font sizes round off to next point size		1999-08-08 01:19:09 +00:00
..
public	added != operator	1999-08-08 01:18:40 +00:00
src	made relative font sizes round off to next point size	1999-08-08 01:19:09 +00:00