![](https://secure.gravatar.com/avatar/29c7bbff49b1599eddb2ec73fd9ffa6e.jpg?s=120&d=mm&r=g)
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
5222
Age (days ago)
5222
Last active (days ago)
0 comments
1 participants
participants (1)
-
Hans van der Meer