On Fri, Dec 13, 2002 at 08:29:31AM +0100, Andre Poenitz wrote:
> 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?
We can't do that. The font must be one of the predefined size.
So my suggestion is to use sizes that are slightly larger than latex (like
LyX 1.1.6 did):
We just need to change math_metricsinfo.C:
static const int diff[4][4] = { { 0, 0, -3, -5 },
{ 0, 0, -3, -5 },
Instead of 0,0,-3,-5 (this should actually be 0,0,-3,-4),
use 0,0,-2,-3.
