##// END OF EJS Templates
coal/paper: equal heights for file and annotate views
Martin Geisler -
r8508:8c5e32a4 default
parent child Browse files
Show More
@@ -162,14 +162,12 b' h3 {'
162 }
162 }
163
163
164 .bigtable td {
164 .bigtable td {
165 padding: 1px 4px;
166 vertical-align: top;
165 vertical-align: top;
167 }
166 }
168
167
169 .bigtable th {
168 .bigtable th {
170 padding: 1px 4px;
169 padding: 1px 4px;
171 border-bottom: 1px solid #999;
170 border-bottom: 1px solid #999;
172 font-size: smaller;
173 }
171 }
174 .bigtable tr { border: none; }
172 .bigtable tr { border: none; }
175 .bigtable .age { width: 6em; }
173 .bigtable .age { width: 6em; }
@@ -187,9 +185,10 b' h3 {'
187 .source, .sourcefirst, .sourcelast {
185 .source, .sourcefirst, .sourcelast {
188 font-family: monospace;
186 font-family: monospace;
189 white-space: pre;
187 white-space: pre;
188 padding: 1px 4px;
190 font-size: 90%;
189 font-size: 90%;
191 }
190 }
192 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; font-size: smaller; }
191 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold }
193 .sourcelast { border-top: 1px solid #999; }
192 .sourcelast { border-top: 1px solid #999; }
194 .source a { color: #999; font-size: smaller; font-family: monospace;}
193 .source a { color: #999; font-size: smaller; font-family: monospace;}
195 .bottomline { border-bottom: 1px solid #999; }
194 .bottomline { border-bottom: 1px solid #999; }
@@ -153,14 +153,12 b' h3 {'
153 }
153 }
154
154
155 .bigtable td {
155 .bigtable td {
156 padding: 1px 4px;
157 vertical-align: top;
156 vertical-align: top;
158 }
157 }
159
158
160 .bigtable th {
159 .bigtable th {
161 padding: 1px 4px;
160 padding: 1px 4px;
162 border-bottom: 1px solid #999;
161 border-bottom: 1px solid #999;
163 font-size: smaller;
164 }
162 }
165 .bigtable tr { border: none; }
163 .bigtable tr { border: none; }
166 .bigtable .age { width: 6em; }
164 .bigtable .age { width: 6em; }
@@ -176,9 +174,10 b' h3 {'
176 .source, .sourcefirst, .sourcelast {
174 .source, .sourcefirst, .sourcelast {
177 font-family: monospace;
175 font-family: monospace;
178 white-space: pre;
176 white-space: pre;
177 padding: 1px 4px;
179 font-size: 90%;
178 font-size: 90%;
180 }
179 }
181 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; font-size: smaller; }
180 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
182 .sourcelast { border-top: 1px solid #999; }
181 .sourcelast { border-top: 1px solid #999; }
183 .source a { color: #999; font-size: smaller; font-family: monospace;}
182 .source a { color: #999; font-size: smaller; font-family: monospace;}
184 .bottomline { border-bottom: 1px solid #999; }
183 .bottomline { border-bottom: 1px solid #999; }
General Comments 0
You need to be logged in to leave comments. Login now