python@gentoo.org Python sphinx_rtd_theme snide/sphinx_rtd_theme