equal
deleted
inserted
replaced
4 |
4 |
5 table.filter th { |
5 table.filter th { |
6 font-weight: bold; |
6 font-weight: bold; |
7 background: #ebe8d9 url("button.png") repeat-x; |
7 background: #ebe8d9 url("button.png") repeat-x; |
8 padding: 0.3em; |
8 padding: 0.3em; |
9 border-bottom: 1px solid #cfceb7; |
9 border-bottom: 1px solid %(actionBoxTitleBgColor)s; |
10 text-align: left; |
10 text-align: left; |
11 } |
11 } |
12 |
12 |
13 table.filter div.facet { |
13 table.filter div.facet { |
14 padding: 0.6em 0.2em; |
14 padding: 0.6em 0.2em; |