Format docbook css
Add clickable anchors to HTML docs

Fixes gh-525