Terminology list support and PDF styling.

* Horizontal labedled list for terminology.
* Make terms clickable link targets.
* Remove dots in some titles in the PDF output.