Slight modification of sphinx_rtd_theme v0.15 (github.com/snide/spinkx_rtd_theme)