| The problem is that the double bracket characters are constructed by
the text formatter from 2 separate characters (the single bracket
characters). They are kerned by half the width of a single bracket to
bring them close together. Output is fine on 300 dot-per-inch printers.
However, on the video screen, which is only 75 dots per inch, some
rounding off must be done to align the characters on pixel boundaries.
So, sometimes the 2 characters are too close together and sometimes
not: it's very difficult to fine tune at such low resolution. I have
experimented with the kerning and have gotten better results, but there
will still probably be some erratic output especially at different
point sizes. I could take out the kerning altogether, which will
produce consistent output although you will probably think the
characters then are too far apart.
If you use double brackets a lot and this is causing huge problems
for your document, send me mail and we can experiment some more.
Mary
|