[martin_dd]

That's right! It's a custom HTML renderer with custom css and client-side js for navigation and search.

[saywhanow]

This looks promising, but it needs a far improved introduction.

A good start would be focusing on what it is, rather than what you did.