equal
deleted
inserted
replaced
305 div#lines a[id]:hover, |
305 div#lines a[id]:hover, |
306 div#lines a[id]:target { |
306 div#lines a[id]:target { |
307 color: #000000; |
307 color: #000000; |
308 } |
308 } |
309 |
309 |
|
310 /* Pagination */ |
|
311 div.paginate { |
|
312 height: 50px; |
|
313 |
|
314 padding-top: 20px; |
|
315 |
|
316 text-align: center; |
|
317 } |
|
318 |
|
319 div.paginate ul { |
|
320 margin: 0px; |
|
321 padding: 0px; |
|
322 |
|
323 line-height: 30px; |
|
324 |
|
325 border: 1px solid #aaa; |
|
326 |
|
327 white-space: nowrap; |
|
328 } |
|
329 |
|
330 div.paginate li { |
|
331 list-style-type: none; |
|
332 display: inline; |
|
333 } |
|
334 |
|
335 div.paginate li * { |
|
336 padding: 7px 10px; |
|
337 } |
|
338 |
|
339 div.paginate li a { |
|
340 color: black; |
|
341 text-decoration: none; |
|
342 } |
|
343 |
|
344 div.paginate li span { |
|
345 color: #d5d5d5; |
|
346 } |
|
347 |
|
348 div.paginate li a:hover { |
|
349 background-color: #d0d0d0; |
|
350 } |
|
351 |