From: Glenn Hutchings <zondo42@gmail.com>
Date: Thu, 12 May 2016 17:11:40 +0000 (+0100)
Subject: Minor improvements to the HTML look-and-feel.
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;ds=sidebyside;h=0d516f59baf6cdad07fe8f00264da39ddd8b0ebb;hp=0d516f59baf6cdad07fe8f00264da39ddd8b0ebb;p=ibg.git

Minor improvements to the HTML look-and-feel.

- Don't scroll the table-of-contents with main text.
- Bolden the keywords in the text.
---