# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1269710410 14400
# Node ID 45cd1e619896cbd26ea1d40329a94d87b9ec39be
# Parent  f841259cc87e61c7d55c99564a6d5d2d26eb5483
Make the font in diffs smaller (for now).

diff -r f841259cc87e -r 45cd1e619896 review/web_media/style.css
--- a/review/web_media/style.css	Sat Mar 27 13:03:00 2010 -0400
+++ b/review/web_media/style.css	Sat Mar 27 13:20:10 2010 -0400
@@ -163,14 +163,21 @@
 div.diff table tr.comment-line {
     white-space: normal;
 }
+div.diff table tr.con {
+    background: #DBF3D1;
+    font-size: 11px;
+}
 div.diff table tr.add {
     background: #DBF3D1;
+    font-size: 11px;
 }
 div.diff table tr.rem {
     background: #FBDBDA;
+    font-size: 11px;
 }
 div.diff table tr.skipped {
     background: #ccc;
+    font-size: 11px;
 }
 div.diff table tr td.diff-line div.line-data {
     display: none;