Add RDO-Manager logo to docs

Change-Id: I53a350f10def164c229d1307f5681b4ef3f87bf1

doc/source/_custom/custom.css

@@ -28,6 +28,20 @@
 }
 
 
+/* LOGO */
+.wy-side-nav-search a {
+  margin-bottom: 5px;
+}
+
+.wy-side-nav-search img {
+  background: none;
+  border-radius: 0;
+  height: 60px;
+  width: auto;
+  margin: 0;
+}
+
+
 /* TYPOGRAPHY */
 p {
   margin-bottom: 16px;
@@ -185,7 +199,6 @@ footer p {
 }
 
 
-
 /* LINKS */
 a.external:after {
   font-family: FontAwesome;

doc/source/_templates/layout.html

@@ -7,6 +7,14 @@
 {% set script_files = script_files + ["_static/jquery.nav.js"] %}
 {% set script_files = script_files + ["_static/menu.js"] %}
 
+{% block sidebartitle %}
+
+  <a href="{{ pathto(master_doc) }}">
+    {# Not strictly valid HTML, but it's the only way to display/scale it properly, without weird scripting or heaps of work #}
+    <img src="{{ pathto('_static/' + 'rdo-manager-logo.png', 1) }}" class="logo" />
+  </a>
+{% endblock %}
+
 
 {% block menu %}
   <div id="admonition_selector">

doc/source/conf.py

@@ -97,7 +97,7 @@ html_theme = 'sphinx_rtd_theme'
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
-#html_theme_options = {}
+html_theme_options = {}
 
 # Add any paths that contain custom themes here, relative to this directory.
 html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
@@ -111,7 +111,7 @@ html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.
-#html_logo = None
+html_logo = '_images/rdo-manager-logo.png'
 
 # 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