diff --git a/use-classic-theme.patch b/use-classic-theme.patch new file mode 100644 index 0000000..c54acca --- /dev/null +++ b/use-classic-theme.patch @@ -0,0 +1,19 @@ +diff -up Python-3.5.1/Doc/tools/pydoctheme/theme.conf.theme Python-3.5.1/Doc/tools/pydoctheme/theme.conf +--- Python-3.5.1/Doc/tools/pydoctheme/theme.conf.theme 2015-12-15 06:28:22.954322337 +0100 ++++ Python-3.5.1/Doc/tools/pydoctheme/theme.conf 2015-12-15 06:28:46.294782062 +0100 +@@ -1,5 +1,5 @@ + [theme] +-inherit = default ++inherit = classic + stylesheet = pydoctheme.css + pygments_style = sphinx + +diff -up Python-3.5.1/Doc/tools/pydoctheme/static/pydoctheme.css.theme Python-3.5.1/Doc/tools/pydoctheme/static/pydoctheme.css +--- Python-3.5.1/Doc/tools/pydoctheme/static/pydoctheme.css.theme 2015-12-15 06:36:56.813832075 +0100 ++++ Python-3.5.1/Doc/tools/pydoctheme/static/pydoctheme.css 2015-12-15 06:36:19.314538520 +0100 +@@ -1,4 +1,4 @@ +-@import url("default.css"); ++@import url("classic.css"); + + body { + background-color: white;