redmine2820.patch
src/main/webapp/WEB-INF/views/brief.jsp (working copy) | ||
---|---|---|
45 | 45 |
|
46 | 46 |
<script type="text/javascript"> |
47 | 47 |
$(document).ready(function() { |
48 |
RoundedTop("div.filter","white","#4F0229"); |
|
49 |
RoundedTop("div.provider_ds","#CCCCCC","#4F0229"); |
|
50 | 48 |
$('.tuncate').truncate({max_length: 200}); |
51 | 49 |
$('button#help-button').cluetip({activation: 'click',sticky: true, closePosition: 'title', closeText: '<img src="../images/cross.png" alt="Close" title="Close" />', width: 820}); |
52 | 50 |
}); |
... | ... | |
211 | 209 |
<c:set var="facetCount" value="${pageScope.facetCount+1}" |
212 | 210 |
scope="page" /> |
213 | 211 |
<c:if test="${pageScope.facetCount<5}"> |
214 |
<div class="filter"> |
|
215 |
<div class="filterhead"> |
|
212 |
<div class="filter rounded-corners">
|
|
213 |
<div class="filterhead top-rounded-corners">
|
|
216 | 214 |
<c:out value="Filter by ${facetCat.filterCatName}" /> |
217 | 215 |
</div> |
218 | 216 |
<div class="textFilter"> |
... | ... | |
315 | 313 |
<c:set var="facetCat" value="${afacet.key}" /> |
316 | 314 |
<c:if test="${facetCat.filterCatCode=='datasource'}"> |
317 | 315 | |
318 |
<div class="filterhead"> |
|
316 |
<div class="filterhead rounded-corners">
|
|
319 | 317 |
<c:out value=" Filter by ${facetCat.filterCatName}" /> |
320 | 318 | |
321 | 319 |
</div> |
src/main/webapp/styles/one-mercury.css (working copy) | ||
---|---|---|
83 | 83 |
.default-font-family { |
84 | 84 |
font-family: Tahoma, Geneva, sans-serif; |
85 | 85 |
} |
86 | ||
87 |
.top-rounded-corners { |
|
88 |
-moz-border-radius: 10px 10px 0px 0px; |
|
89 |
-webkit-border-radius: 10px 10px 0px 0px; |
|
90 |
-khtml-border-radius: 10px 10px 0px 0px; |
|
91 |
border-radius: 10px 10px 0px 0px; |
|
92 |
} |
|
93 | ||
94 |
.bottom-rounded-corners { |
|
95 |
-moz-border-radius: 0px 0px 10px 10px; |
|
96 |
-webkit-border-radius: 0px 0px 10px 10px; |
|
97 |
-khtml-border-radius: 0px 0px 10px 10px; |
|
98 |
border-radius: 0px 0px 10px 10px; |
|
99 |
} |
|
100 | ||
101 |
.rounded-corners { |
|
102 |
-moz-border-radius: 10px; |
|
103 |
-webkit-border-radius: 10px; |
|
104 |
-khtml-border-radius: 10px; |
|
105 |
border-radius: 10px; |
|
106 |
} |