# HG changeset patch
# User Martin Geisler <mg@lazybytes.net>
# Date 1242686003 -7200
# Node ID 8c5e32a4f2f9733d4f8b65ca709d67286c66d5c0
# Parent  decf329f00cbe22f2eb0b9739cc016e0052f2424
coal/paper: equal heights for file and annotate views

diff -r decf329f00cb -r 8c5e32a4f2f9 templates/static/style-coal.css
--- a/templates/static/style-coal.css	Tue May 19 00:28:47 2009 +0200
+++ b/templates/static/style-coal.css	Tue May 19 00:33:23 2009 +0200
@@ -162,14 +162,12 @@
 }
 
 .bigtable td {
-  padding: 1px 4px;
   vertical-align: top;
 }
 
 .bigtable th {
   padding: 1px 4px;
   border-bottom: 1px solid #999;
-  font-size: smaller;
 }
 .bigtable tr { border: none; }
 .bigtable .age { width: 6em; }
@@ -187,9 +185,10 @@
 .source, .sourcefirst, .sourcelast {
   font-family: monospace;
   white-space: pre;
+  padding: 1px 4px;
   font-size: 90%;
 }
-.sourcefirst { border-bottom: 1px solid #999; font-weight: bold; font-size: smaller; }
+.sourcefirst { border-bottom: 1px solid #999; font-weight: bold }
 .sourcelast { border-top: 1px solid #999; }
 .source a { color: #999; font-size: smaller; font-family: monospace;}
 .bottomline { border-bottom: 1px solid #999; }
diff -r decf329f00cb -r 8c5e32a4f2f9 templates/static/style-paper.css
--- a/templates/static/style-paper.css	Tue May 19 00:28:47 2009 +0200
+++ b/templates/static/style-paper.css	Tue May 19 00:33:23 2009 +0200
@@ -153,14 +153,12 @@
 }
 
 .bigtable td {
-  padding: 1px 4px;
   vertical-align: top;
 }
 
 .bigtable th {
   padding: 1px 4px;
   border-bottom: 1px solid #999;
-  font-size: smaller;
 }
 .bigtable tr { border: none; }
 .bigtable .age { width: 6em; }
@@ -176,9 +174,10 @@
 .source, .sourcefirst, .sourcelast {
   font-family: monospace;
   white-space: pre;
+  padding: 1px 4px;
   font-size: 90%;
 }
-.sourcefirst { border-bottom: 1px solid #999; font-weight: bold; font-size: smaller; }
+.sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
 .sourcelast { border-top: 1px solid #999; }
 .source a { color: #999; font-size: smaller; font-family: monospace;}
 .bottomline { border-bottom: 1px solid #999; }