equal
deleted
inserted
replaced
434 |
434 |
435 div.boxBody a:hover { |
435 div.boxBody a:hover { |
436 text-decoration: none; |
436 text-decoration: none; |
437 cursor: pointer; |
437 cursor: pointer; |
438 background-color: %(leftrightBoxBodyHoverBgColor)s; |
438 background-color: %(leftrightBoxBodyHoverBgColor)s; |
|
439 } |
|
440 |
|
441 hr.boxSeparator { |
|
442 margin-top: 0.5em; |
|
443 margin-bottom: 0.5em; |
439 } |
444 } |
440 |
445 |
441 /* boxes contextual customization */ |
446 /* boxes contextual customization */ |
442 |
447 |
443 .contextFreeBox div.boxTitle { |
448 .contextFreeBox div.boxTitle { |