> No one has mentioned it to me before now, that I can recall.
:-) Suddenly two people are disturbed by it almost at the same time.
> I have to admit the italic periods don't bother me. In fact, by
> being oriented a bit toward the right they are a bit more "leader-y"
> than normal periods.
Well, looking at them with a PDF viewer, they look really bad IMHO.
Italic periods probably worked best for a certain printer which RMS
used 13 years ago. Today, with less and less people going to print
the manuals but viewing them online, I see really no reason to use
them.
Perhaps it is possible to change them to roman, providing an
@italicleaders command for backwards compatibility...
Werner
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
