From 4d162fd9c499b11cf5fb797e2ab176bb796deeb5 Mon Sep 17 00:00:00 2001
From: Byron Jones <bjones@mozilla.com>
Date: Tue, 20 Aug 2013 11:36:50 +0800
Subject: Bug 906576: the font size in splinter is too small

---
 extensions/Splinter/web/splinter.css | 2 +-
 extensions/Splinter/web/splinter.js  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'extensions/Splinter/web')

diff --git a/extensions/Splinter/web/splinter.css b/extensions/Splinter/web/splinter.css
index 7e27372b3..36e5fef31 100644
--- a/extensions/Splinter/web/splinter.css
+++ b/extensions/Splinter/web/splinter.css
@@ -220,7 +220,7 @@ div.review-patch-comment-text {
     white-space: pre-wrap;
 }
 
-#files {
+#splinter-files {
    position: relative;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
diff --git a/extensions/Splinter/web/splinter.js b/extensions/Splinter/web/splinter.js
index fae0e20fb..e5f22c397 100644
--- a/extensions/Splinter/web/splinter.js
+++ b/extensions/Splinter/web/splinter.js
@@ -1991,7 +1991,7 @@ Splinter.appendPatchHunk = function (file, hunk, tableType, includeComments, cli
 Splinter.addPatchFile = function (file) {
     var fileDiv = new Element(document.createElement('div'));
     Dom.addClass(fileDiv, 'file');
-    fileDiv.appendTo(Dom.get('files'));
+    fileDiv.appendTo(Dom.get('splinter-files'));
     file.div = fileDiv;
 
     var statusString;
@@ -2327,7 +2327,7 @@ Splinter.start = function () {
     Dom.setStyle('attachmentInfo', 'display', 'block');
     Dom.setStyle('navigationContainer', 'display', 'block');
     Dom.setStyle('overview', 'display', 'block');
-    Dom.setStyle('files', 'display', 'block');
+    Dom.setStyle('splinter-files', 'display', 'block');
     Dom.setStyle('attachmentStatusSpan', 'display', 'none');
 
     if (Splinter.thePatch.intro) {
-- 
cgit v1.2.3-24-g4f1b