Changing the header part for the asciidoc documents to get a fancier one