No, I hadn't been aware of that. That does pretty much what I want to accomplish. And I see there's CSS to alter the colors.
Thanks a lot! Out of curiosity: is there any way to achieve what I originally asked? I see myself wanting to have this in JSPWiki in some way sooner or later. Ulf On Tue, Apr 2, 2019 at 1:06 PM Dirk Frederickx <dirk.frederi...@gmail.com> wrote: > Ulf > > Did you try %%prettify style? > https://jspwiki-wiki.apache.org/Wiki.jsp?page=Prettify > > dirk >