Add Bugzilla logo to top left corner.

diff --git a/docs/en/images/bugzilla.png b/docs/en/images/bugzilla.png
new file mode 100644 (file)
index 0000000..eb973b4
Binary files /dev/null and b/docs/en/images/bugzilla.png differ

diff --git a/docs/en/rst/_static/bugzilla.css b/docs/en/rst/_static/bugzilla.css
index c8f3529473cbab47b6b0c1f29e42d5769f749ceb..06f5c837528b6df66dc502415ad36f1b526d2eb4 100644 (file)
--- a/docs/en/rst/_static/bugzilla.css
+++ b/docs/en/rst/_static/bugzilla.css
@@ -13,3 +13,9 @@ dt { font-weight: bold; }
   background-color: lightpink;
   border: 2px darkred solid;
 }
+
+/* Make Buggie's antenna not take up so much space */
+.logo {
+  display: block;
+  margin-top: -20px;
+}

diff --git a/docs/en/rst/conf.py b/docs/en/rst/conf.py
index d47c303507dd04831c54325a80f2a6f226772e04..b371d839365daf6f3b2951ae080026c6430af5f5 100644 (file)
--- a/docs/en/rst/conf.py
+++ b/docs/en/rst/conf.py
@@ -149,7 +149,7 @@ html_style = "bugzilla.css"
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.
-#html_logo = None
+html_logo = "../images/bugzilla.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