I’d like to add something like this at some point, for sure. Can you tell me about your use case? How do you use the HTML exports today?
Right now, I just want the HTML-exported documentation I write to be readable by my coworkers... so as of this moment I have an `.sh` script I drag/drop the exported HTML onto, which uses `sed` to rewrite the colour codes in the CSS.
