> The text is indeed "10-pt Times Roman". I've noticed > some other brokenness here on Unix (the text doesn't > always change sizes). I'll look into this now.
more strange things happening here, like 2 fonts are allocated when you change the zoom setting, instead of one Marc
