On 7 March 2016 at 17:13, Per Bothner wrote:
> Has anyone considered some mechanism for extensible text styles?
> I'm especially interested in being to control the 'class' attribute
> in HTML output, but setting other attributes is also useful.
>
> One application is syntax-colorizing programs.
>
Has anyone considered some mechanism for extensible text styles?
I'm especially interested in being to control the 'class' attribute
in HTML output, but setting other attributes is also useful.
One application is syntax-colorizing programs.
Another is using different styles for terminal prompts,
> I\\\'ve finally finished this. It does appear a bit faster as well as
> being simpler. Where it could potentially break is chapter names with
> non-ASCII characters, and index entries with non-ASCII characters, as
> well as macros using non-ASCII characters (either in the macro
> definition or in
