968790 - Rename random "stuff.css" to "bugzilla.css" and start using it for HTML output

Status: RESOLVED FIXED

(Bugzilla :: Documentation, enhancement)

Description

[Gervase Markham [:gerv]]

There's currently a file docs/en/rst/_static/stuff.css, which isn't used and was left over from development. A file like this is where we insert our own tweaks to the style of the output HTML. There is one tweak already in the file - a requirement that <dt> elements be boldface, which is a good thing.

We should rename it to bugzilla.css and set the html_style conf param to use it, so we can pick up that improvement, and have the opportunity to add more.

Gerv

Comment 1

[Gervase Markham [:gerv]]

Attachment: Patch v.1

Comment 2

[Frédéric Buclin]

Comment on attachment 8371455 [details] [diff] [review]
Patch v.1

r=LpSolit

Comment 3

[Gervase Markham [:gerv]]

Committing  to: bzr+ssh://bzr.mozilla.org/bugzilla/trunk/                      
modified docs/en/rst/conf.py
renamed docs/en/rst/_static/stuff.css => docs/en/rst/_static/bugzilla.css
Committed revision 8911.

Gerv