I noticed that even though sphinx_rtd_theme is listed as a dependency in gh_pages/requirements.txt, an adapted version was also included in the repository. This adapted version seemed to be only necessary to include the header. I removed the theme and changed the gh_pages/_templates/layout.html template to include the header.
Additionally I changed the code copy button script (also in gh_pages/_templates/layout.html) slightly such that code blocks can have line numbers.
The changes to gh_pages/conf.py are limited to removing some obsolete configuration parameters and cleaning up.
I noticed that even though
sphinx_rtd_themeis listed as a dependency ingh_pages/requirements.txt, an adapted version was also included in the repository. This adapted version seemed to be only necessary to include the header. I removed the theme and changed thegh_pages/_templates/layout.htmltemplate to include the header.Additionally I changed the code copy button script (also in
gh_pages/_templates/layout.html) slightly such that code blocks can have line numbers.The changes to
gh_pages/conf.pyare limited to removing some obsolete configuration parameters and cleaning up.