How can I customize the HTML used for publishing a repository?
There is currently no means of customising the HTML export. However, we've published the source code of the HTML export plugin, and you can modify the plugin to implement your own custom HTML export. The source code is published on GitHub together with a tutorial for implementing custom SpecLog plugins.