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.

Andre'

-- 
Those who desire to give up Freedom in order to gain Security,
will not have, nor do they deserve, either one. (T. Jefferson)

Reply via email to