equal
deleted
inserted
replaced
885 .date { white-space:nowrap; } |
885 .date { white-space:nowrap; } |
886 .indexlinks { white-space:nowrap; } |
886 .indexlinks { white-space:nowrap; } |
887 .parity0 { background-color: #ddd; } |
887 .parity0 { background-color: #ddd; } |
888 .parity1 { background-color: #eee; } |
888 .parity1 { background-color: #eee; } |
889 .lineno { width: 60px; color: #aaa; font-size: smaller; |
889 .lineno { width: 60px; color: #aaa; font-size: smaller; |
890 text-align: right; padding-right:1em; } |
890 text-align: right; } |
891 .plusline { color: green; } |
891 .plusline { color: green; } |
892 .minusline { color: red; } |
892 .minusline { color: red; } |
893 .atline { color: purple; } |
893 .atline { color: purple; } |
894 .annotate { font-size: smaller; text-align: right; padding-right: 1em; } |
894 .annotate { font-size: smaller; text-align: right; padding-right: 1em; } |
895 .buttons a { |
895 .buttons a { |