equal
deleted
inserted
replaced
402 tr.thisrev pre { color:#009900; } |
402 tr.thisrev pre { color:#009900; } |
403 div.annotate-info { |
403 div.annotate-info { |
404 display: none; |
404 display: none; |
405 position: absolute; |
405 position: absolute; |
406 background-color: #FFFFFF; |
406 background-color: #FFFFFF; |
407 border: 1px solid #000000; |
407 border: 1px solid #d9d8d1; |
408 text-align: left; |
408 text-align: left; |
409 color: #000000; |
409 color: #000000; |
410 padding: 5px; |
410 padding: 5px; |
411 } |
411 } |
412 div.annotate-info a { color: #0000FF; text-decoration: underline; } |
412 div.annotate-info a { color: #0000FF; text-decoration: underline; } |