On Tuesday, 24 January 2017 at 14:27:15 UTC, aberba wrote: > Which one works well? I'm more concerned about syntax > highlighting and line numbering (in some cases). Support for > custom fonts. If you don't mind XML then you might consider http://docbook.org/