15 Jan
2015
15 Jan
'15
5:03 p.m.
Am 15.01.2015 um 15:43 schrieb Idris Samawi Hamid ادريس سماوي حامد
: On Thu, 15 Jan 2015 01:01:37 -0700, Alan BRASLAU
wrote: The suggestion of using \definehighlight, etc. is good practice, too.
But to be consistent we would have to do this:
\definehighlight[important][style=bold]
\definestartstop[important][style=bold] Wolfgang