30 Mar
2010
30 Mar
'10
3:51 a.m.
In font-ini I see two parametrized fontsize changes on \switchtobodyfont: 'big' and 'small' (the latter seen defined as \tfx); apart from 'global' which as I understand returns to the original size of \setupbodyfont. Can there be a 'tiny' (corresponding to \tfxx) as another option? I often have use for two steps smaller. Instead of reverting to an explicite pointsize for the smallest of the two, use of big > global > small > tiny would be more general. Just a modest wish. Hans van der Meer