Sphinx documentation theme bits, to go with sphinx-bootstrap-theme.