##// END OF EJS Templates
ui
marcink -
r2118:2f269577 beta
parent child Browse files
Show More
@@ -760,10 +760,10 b' def fancy_file_stats(stats):'
760 760 d_v = d if d > 0 else ''
761 761
762 762 def cgen(l_type):
763 mapping = {'tr': 'top-right-rounded-corner',
764 'tl': 'top-left-rounded-corner',
765 'br': 'bottom-right-rounded-corner',
766 'bl': 'bottom-left-rounded-corner'}
763 mapping = {'tr': 'top-right-rounded-corner-mid',
764 'tl': 'top-left-rounded-corner-mid',
765 'br': 'bottom-right-rounded-corner-mid',
766 'bl': 'bottom-left-rounded-corner-mid'}
767 767 map_getter = lambda x: mapping[x]
768 768
769 769 if l_type == 'a' and d_v:
@@ -185,6 +185,34 b' div.options a {'
185 185 border-bottom-right-radius: 8px;
186 186 }
187 187
188 .top-left-rounded-corner-mid {
189 -webkit-border-top-left-radius: 4px;
190 -khtml-border-radius-topleft: 4px;
191 -moz-border-radius-topleft: 4px;
192 border-top-left-radius: 4px;
193 }
194
195 .top-right-rounded-corner-mid {
196 -webkit-border-top-right-radius: 4px;
197 -khtml-border-radius-topright: 4px;
198 -moz-border-radius-topright: 4px;
199 border-top-right-radius: 4px;
200 }
201
202 .bottom-left-rounded-corner-mid {
203 -webkit-border-bottom-left-radius: 4px;
204 -khtml-border-radius-bottomleft: 4px;
205 -moz-border-radius-bottomleft: 4px;
206 border-bottom-left-radius: 4px;
207 }
208
209 .bottom-right-rounded-corner-mid {
210 -webkit-border-bottom-right-radius: 4px;
211 -khtml-border-radius-bottomright: 4px;
212 -moz-border-radius-bottomright: 4px;
213 border-bottom-right-radius: 4px;
214 }
215
188 216 .help-block {
189 217 color: #999999;
190 218 display: block;
General Comments 0
You need to be logged in to leave comments. Login now