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