On Thu, Dec 12, 2002 at 04:07:42PM +0200, Dekel Tsur wrote: > > If applied to a 10pt font this is decreasing too slowly. > > > > I'd think TeX does something like 10->7->5, but I don't know either. > > For 10pt text size, \scriptsize=7pt and \tiny=5pt in TeX (and also in LyX).
So maybe a multiplication with 0.7 and rounding is in order in general? Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)
