6 Jun
2018
6 Jun
'18
3:06 p.m.
On Tue, 5 Jun 2018, Alan Braslau wrote:
The "style=" use is, in general, preferable for tagging (and exporting). For less than paragraph switching, the use of \definehighlight for example could be used.
Quick and dirty font switching is almost always poor usage...
You didn't read the first paragraph of my article :-) Aditya