Add OpenSearch and a Python logo to the HTML output.
diff --git a/Doc/conf.py b/Doc/conf.py
index 45d40fb..e4641ea 100644
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -85,6 +85,12 @@
     'index': 'indexcontent.html',
 }
 
+# Output an OpenSearch description file.
+html_use_opensearch = True
+
+# Additional static files.
+html_static_path = ['tools/sphinxext/static']
+
 # Output file base name for HTML help builder.
 htmlhelp_basename = 'python' + release.replace('.', '')