equal
deleted
inserted
replaced
206 .bigtable .permissions { width: 8em; text-align: left;} |
206 .bigtable .permissions { width: 8em; text-align: left;} |
207 .bigtable .size { width: 5em; text-align: right; } |
207 .bigtable .size { width: 5em; text-align: right; } |
208 .bigtable .annotate { text-align: right; } |
208 .bigtable .annotate { text-align: right; } |
209 .bigtable td.annotate { font-size: smaller; } |
209 .bigtable td.annotate { font-size: smaller; } |
210 .bigtable td.source { font-size: inherit; } |
210 .bigtable td.source { font-size: inherit; } |
|
211 tr.thisrev a { color:#999999; text-decoration: none; } |
|
212 tr.thisrev td.source { color:#009900; } |
211 |
213 |
212 .source, .sourcefirst { |
214 .source, .sourcefirst { |
213 font-family: monospace; |
215 font-family: monospace; |
214 white-space: pre; |
216 white-space: pre; |
215 padding: 1px 4px; |
217 padding: 1px 4px; |