Bug 906576: the font size in splinter is too small

4 files changed, 10 insertions, 4 deletions

diff --git a/extensions/Splinter/template/en/default/pages/splinter.html.tmpl b/extensions/Splinter/template/en/default/pages/splinter.html.tmpl
index 5023706d4..9b759ab6e 100644
--- a/extensions/Splinter/template/en/default/pages/splinter.html.tmpl
+++ b/extensions/Splinter/template/en/default/pages/splinter.html.tmpl
@@ -266,7 +266,7 @@
   </div>
 </div>
 
-<div id="files" style="display: none;">
+<div id="splinter-files" style="display: none;">
   <div id="file-collapse-all" style="display:none;">
     <a href="javascript:void(0);" onclick="Splinter.toggleCollapsed('', 'none')">Collapse All</a> |
     <a href="javascript:void(0);" onclick="Splinter.toggleCollapsed('', 'block')">Expand All</a> 
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) {
diff --git a/skins/contrib/Mozilla/global.css b/skins/contrib/Mozilla/global.css
index 024c1054a..d042a55f6 100644
--- a/skins/contrib/Mozilla/global.css
+++ b/skins/contrib/Mozilla/global.css
@@ -648,6 +648,12 @@ table.tabs {
     padding: 1em 2em;
 }
 
+/* splinter */
+
+#splinter-files .new-line, #splinter-files .old-line {
+    font-size: 90%;
+}
+
 /* Smaller than standard 990 (devices and browsers) */
 @media only screen and (max-width: 989px) {
     #header .links {