Added header logo to documentation

doc/sphinx/_templates/layout.html

@@ -0,0 +1,10 @@
+{% extends "!layout.html" %}
+
+
+{% block relbar1 %}
+<div style="background-color: white; text-align: left; padding: 10px 10px 15px 15px">
+<a href="{{ pathto('index') }}">
+<img src="{{pathto("_static/cantera-logo.png", 1) }}" border="0" alt="Cantera"/></a>
+</div>
+{{ super() }}
+{% endblock %}

doc/sphinx/conf.py

@@ -135,7 +135,7 @@ html_theme = 'sphinxdoc'
 # The name of an image file (within the static path) to use as favicon of the
 # docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32
 # pixels large.
-#html_favicon = None
+html_favicon = "_static/favicon.ico"
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,