On Thu, Dec 12, 2002 at 01:54:32PM +0100, Andre Poenitz wrote: > On Thu, Dec 12, 2002 at 02:41:54PM +0200, Dekel Tsur wrote: > > I think that the rule should be: > > If current text size is <= \normalsize (and > \tiny), use \scriptsize/\tiny > > If current text size is the i-th size after \normalsize, increase the sizes > > above by i. > > 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).
