From d05bbe563a21a61788a44bd76ebbed51f1daeb62 Mon Sep 17 00:00:00 2001 From: Gervase Markham Date: Mon, 10 Feb 2014 16:48:23 +0000 Subject: 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 --- docs/en/rst/_static/bugzilla.css | 3 +++ docs/en/rst/_static/stuff.css | 3 --- 2 files changed, 3 insertions(+), 3 deletions(-) create mode 100644 docs/en/rst/_static/bugzilla.css delete mode 100644 docs/en/rst/_static/stuff.css (limited to 'docs/en/rst/_static') diff --git a/docs/en/rst/_static/bugzilla.css b/docs/en/rst/_static/bugzilla.css new file mode 100644 index 000000000..c3d8ea781 --- /dev/null +++ b/docs/en/rst/_static/bugzilla.css @@ -0,0 +1,3 @@ +@import 'default.css'; + +dt { font-weight: bold; } diff --git a/docs/en/rst/_static/stuff.css b/docs/en/rst/_static/stuff.css deleted file mode 100644 index c3d8ea781..000000000 --- a/docs/en/rst/_static/stuff.css +++ /dev/null @@ -1,3 +0,0 @@ -@import 'default.css'; - -dt { font-weight: bold; } -- cgit v1.2.3-24-g4f1b