From: Gervase Markham <gerv@gerv.net>
Date: Mon, 10 Feb 2014 16:48:23 +0000 (+0000)
Subject: Rename random stuff.css to bugzilla.css and start using it for HTML output. r=LpSolit... 
X-Git-Tag: bugzilla-4.5.3~82
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d05bbe563a21a61788a44bd76ebbed51f1daeb62;p=thirdparty%2Fbugzilla.git

Rename random stuff.css to bugzilla.css and start using it for HTML output. r=LpSolit, a=justdave.

https://bugzilla.mozilla.org/show_bug.cgi?id=968790
---

diff --git a/docs/en/rst/_static/stuff.css b/docs/en/rst/_static/bugzilla.css
similarity index 100%
rename from docs/en/rst/_static/stuff.css
rename to docs/en/rst/_static/bugzilla.css
diff --git a/docs/en/rst/conf.py b/docs/en/rst/conf.py
index 3cb412a3e0..71f610575b 100644
--- a/docs/en/rst/conf.py
+++ b/docs/en/rst/conf.py
@@ -122,6 +122,8 @@ html_theme = 'default'
 # A shorter title for the navigation bar.  Default is the same as html_title.
 #html_short_title = None
 
+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