6 Jul
2011
6 Jul
'11
10:27 a.m.
Thanks. That worked great.
luigi scarso
On Wed, Jul 6, 2011 at 12:13 PM, H. Hodges
wrote: What is the \setuphead option to set font size? textstyles http://wiki.contextgarden.net/Titles
what about \section{\hbox{\externalfigure[timers]}Timers}}.