equal
deleted
inserted
replaced
129 border-top: 1px solid #666; |
129 border-top: 1px solid #666; |
130 border-bottom: 1px solid #666; |
130 border-bottom: 1px solid #666; |
131 border-right: 1px solid #666; |
131 border-right: 1px solid #666; |
132 } |
132 } |
133 |
133 |
|
134 .comment_pre |
|
135 { |
|
136 font-style: normal; |
|
137 font-family: courier; |
|
138 white-space: pre; |
|
139 } |
|
140 |
134 .comment:hover |
141 .comment:hover |
135 { |
142 { |
136 border-top: 1px solid #aaa; |
143 border-top: 1px solid #aaa; |
137 border-bottom: 1px solid #aaa; |
144 border-bottom: 1px solid #aaa; |
138 border-right: 1px solid #aaa; |
145 border-right: 1px solid #aaa; |