Sphinx: Avoid formatting problems in PDF index
Sphinx: Avoid formatting problems in PDF index

Fixes #1573

webmaster128/botan,randombit/botan,webmaster128/botan,randombit/botan,webmaster128/botan,randombit/botan,randombit/botan,webmaster128/botan,randombit/botan,webmaster128/botan