equal
deleted
inserted
replaced
1000 width: 20px; |
1000 width: 20px; |
1001 line-height: 20px; |
1001 line-height: 20px; |
1002 display:block; |
1002 display:block; |
1003 float:left; |
1003 float:left; |
1004 } |
1004 } |
1005 |
|
1006 /******************************************************************************/ |
|
1007 /* facets (XXX to continue) */ |
|
1008 /******************************************************************************/ |
|
1009 |
|
1010 div.facetBody { |
|
1011 height: 10em; |
|
1012 overflow: auto; |
|
1013 } |
|
1014 |
|
1015 .facetValueDisabled { |
|
1016 text-decoration: underline; |
|
1017 } |
|