changeset 8508:8c5e32a4f2f9

coal/paper: equal heights for file and annotate views
author Martin Geisler <mg@lazybytes.net>
date Tue, 19 May 2009 00:33:23 +0200
parents decf329f00cb
children 5cd232ebc317
files templates/static/style-coal.css templates/static/style-paper.css
diffstat 2 files changed, 4 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- 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; }
--- 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; }