Minor improvements to the HTML look-and-feel.
authorGlenn Hutchings <zondo42@gmail.com>
Thu, 12 May 2016 17:11:40 +0000 (18:11 +0100)
committerGlenn Hutchings <zondo42@gmail.com>
Thu, 12 May 2016 17:11:40 +0000 (18:11 +0100)
commit0d516f59baf6cdad07fe8f00264da39ddd8b0ebb
tree326c41a61003afd5b3b763f592bcd44647e19367
parentb339390ab1a13e134841cb9b57c7259261c8561f
Minor improvements to the HTML look-and-feel.

- Don't scroll the table-of-contents with main text.
- Bolden the keywords in the text.
README.md
conf.py
static/ibg.css [new file with mode: 0644]