Thank you for that! It’s something I have a private copy of so that I could modify it in a way that better suited my exact (unconventional) needs. It’s far better than coloring output by hand, which is what I otherwise would have had to do.
Aside from custom colorization (which I just hard-coded differently), I don’t think any of the changes I made would be applicable to the project as a whole.
Thank you for that! It’s something I have a private copy of so that I could modify it in a way that better suited my exact (unconventional) needs. It’s far better than coloring output by hand, which is what I otherwise would have had to do.
What are these needs? Maybe it makes sense to implement them in to-html directly. I’m open to making to-html more configurable.
Aside from custom colorization (which I just hard-coded differently), I don’t think any of the changes I made would be applicable to the project as a whole.