equal
deleted
inserted
replaced
189 pre.sourcelines > span.followlines-selected { |
189 pre.sourcelines > span.followlines-selected { |
190 background-color: #99C7E9 !important; |
190 background-color: #99C7E9 !important; |
191 } |
191 } |
192 |
192 |
193 div#followlines { |
193 div#followlines { |
194 background-color: #B7B7B7; |
194 background-color: #FFF; |
195 border: 1px solid #CCC; |
195 border: 1px solid #d9d8d1; |
196 border-radius: 5px; |
196 padding: 5px; |
197 padding: 4px; |
|
198 position: fixed; |
197 position: fixed; |
199 } |
198 } |
200 |
199 |
201 div.followlines-cancel { |
200 div.followlines-cancel { |
202 text-align: right; |
201 text-align: right; |