equal
deleted
inserted
replaced
223 color: #000000; |
223 color: #000000; |
224 padding: 5px; |
224 padding: 5px; |
225 } |
225 } |
226 div.annotate-info a { color: #0000FF; } |
226 div.annotate-info a { color: #0000FF; } |
227 td.annotate:hover div.annotate-info { display: inline; } |
227 td.annotate:hover div.annotate-info { display: inline; } |
|
228 |
|
229 #diffopts-form { |
|
230 font-size: smaller; |
|
231 color: #424242; |
|
232 padding-bottom: 10px; |
|
233 display: none; |
|
234 } |
228 |
235 |
229 .source, .sourcefirst { |
236 .source, .sourcefirst { |
230 font-family: monospace; |
237 font-family: monospace; |
231 white-space: pre; |
238 white-space: pre; |
232 padding: 1px 4px; |
239 padding: 1px 4px; |