1/* 2 * Extension plugin styles 3 * 4 * @author Christopher Smith <chris@jalakai.co.uk> 5 * @author Piyush Mishra <me@piyushmishra.com> 6 * @author Håkan Sandell <sandell.hakan@gmail.com> 7 * @author Anika Henke <anika@selfthinker.org> 8 */ 9 10 11/* 12 * general layout 13 */ 14#extension__manager h2 { 15 margin-left: 0; 16} 17 18#extension__manager a.taglink { 19 padding: 1px 4px; 20 background-color: @ini_background_neu; 21 border-radius: 3px; 22} 23[dir=rtl] #extension__manager a.taglink { 24 display: inline-block; 25 line-height: 1.2; 26} 27 28#extension__manager .panelHeader div.error { 29 margin-top: 0; 30 float: left; 31} 32[dir=rtl] #extension__manager .panelHeader div.error { 33 float: right; 34} 35 36/* 37 * search & url download forms 38 */ 39#extension__manager form.search, 40#extension__manager form.btn_reload { 41 float: right; 42} 43[dir=rtl] #extension__manager form.search, 44[dir=rtl] #extension__manager form.btn_reload { 45 float: left; 46} 47 48#extension__manager div.search form.search { 49 float: none; 50} 51 52#extension__manager .tagcloud { 53 width: 55%; 54 float: left; 55 margin: 0 0.5em 1em 0; 56} 57[dir=rtl] #extension__manager .tagcloud { 58 float: right; 59 margin: 0 0 1em .5em; 60} 61 62#extension__manager .tagcloud a.taglink { 63 background-color: inherit; 64} 65 66#extension__manager div.search { 67 width: 44%; 68 float: left; 69} 70[dir=rtl] #extension__manager div.search { 71 float: right; 72} 73 74#extension__manager fieldset { 75 margin-top: 0.5em; 76 width: auto; 77} 78 79#extension__manager fieldset p { 80 margin: 0.5em; 81 text-align: justify; 82 font-size: 85%; 83} 84 85/* tag cloud */ 86#extension__manager a.cl0 { font-size: 0.7em; } 87#extension__manager a.cl1 { font-size: 0.9em; } 88#extension__manager a.cl2 { font-size: 1em; } 89#extension__manager a.cl3 { font-size: 1.3em; } 90#extension__manager a.cl4 { font-size: 1.6em; } 91#extension__manager a.cl5 { font-size: 1.9em; } 92 93 94#extension__manager .extensionList input.button { 95 margin: 0 .3em .3em 0; 96} 97[dir=rtl] #extension__manager .extensionList input.button { 98 margin: 0 0 .3em .3em; 99} 100 101/* 102 * extensions table 103 */ 104#extension__manager .extensionList { 105 margin-left: 0; 106 margin-right: 0; 107 padding: 0; 108 list-style: none; 109} 110 111#extension__manager .extensionList li { 112 margin: 0 0 .5em; 113 padding: 0 0 .5em; 114 color: @ini_text; 115 border-bottom: 1px solid @ini_border; 116 overflow: hidden; 117} 118 119#extension__manager .legend { 120 position: relative; 121 width: 75%; 122 float: left; 123} 124[dir=rtl] #extension__manager .legend { 125 float: right; 126} 127 128#extension__manager .legend > div { 129 padding: 0 .5em 0 132px; 130 border-right: 1px solid @ini_background_alt; 131 overflow: hidden; 132} 133[dir=rtl] #extension__manager .legend > div { 134 padding: 0 132px 0 .5em; 135 border-left: 1px solid @ini_background_alt; 136 border-right-width: 0; 137} 138 139#extension__manager .enabled div.screenshot span { 140 background: transparent url(images/enabled.png) no-repeat 2px 2px; 141} 142 143#extension__manager .disabled div.screenshot span { 144 background: transparent url(images/disabled.png) no-repeat 2px 2px; 145} 146 147#extension__manager div.screenshot img { 148 width: 120px; 149 height: 70px; 150} 151 152#extension__manager .legend div.screenshot { 153 margin-top: 4px; 154 margin-left: -132px; 155 max-width: 120px; 156 float: left; 157} 158[dir=rtl] #extension__manager .legend div.screenshot { 159 margin-left: 0; 160 margin-right: -132px; 161 float: right; 162} 163 164#extension__manager .legend div.screenshot span { 165 min-height: 24px; 166 min-width: 24px; 167 position: absolute; 168 left: 0; 169} 170[dir=rtl] #extension__manager .legend div.screenshot span { 171 left: auto; 172 right: 0; 173} 174 175#extension__manager .legend h2 { 176 width: 100%; 177 float: right; 178 margin: 0.2em 0 0.5em; 179 font-size: 100%; 180 font-weight: normal; 181 border: none; 182} 183[dir=rtl] #extension__manager .legend h2 { 184 float: left; 185} 186 187#extension__manager .legend h2 strong { 188 font-size: 120%; 189 font-weight: bold; 190 vertical-align: baseline; 191} 192 193#extension__manager .legend p { 194 margin: 0 0 0.6em 0; 195} 196 197#extension__manager .legend span.linkbar { 198 font-size: 85%; 199} 200 201#extension__manager .legend span.linkbar a.urlextern + a.taglink, 202#extension__manager .legend span.linkbar a.interwiki + a.taglink { 203 margin-left: 0.4em; 204} 205[dir=rtl] #extension__manager .legend span.linkbar a.urlextern + a.taglink, 206[dir=rtl] #extension__manager .legend span.linkbar a.interwiki + a.taglink { 207 margin-left: 0; 208} 209[dir=rtl] #extension__manager .legend span.linkbar a.urlextern, 210[dir=rtl] #extension__manager .legend span.linkbar a.interwiki { 211 margin-left: .4em; 212} 213 214#extension__manager .legend input.button { 215 background: transparent url(images/up.png) no-repeat 0 0; 216 box-shadow: none; 217 border-width: 0; 218 height: 14px; 219 text-indent: -99999px; 220 float: right; 221 margin: .5em 0 0; 222} 223[dir=rtl] #extension__manager .legend input.button { 224 float: left; 225 margin: .5em 0 0; 226} 227 228#extension__manager .legend input.button.close { 229 background: transparent url(images/down.png) no-repeat 0 0; 230} 231 232#extension__manager .legend div.popularity { 233 background-color: @ini_background; 234 border: 1px solid silver; 235 height: .4em; 236 margin: 0 auto; 237 padding: 1px; 238 width: 5.5em; 239 position: absolute; 240 right: .5em; 241 top: 0.2em; 242} 243[dir=rtl] #extension__manager .legend div.popularity { 244 right: auto; 245 left: .5em; 246} 247 248#extension__manager .legend div.popularity div { 249 background-color: @ini_border; 250 height: 100%; 251} 252 253#extension__manager .legend div.popularity div span { 254 display: none;/* @todo: hide accessibly */ 255} 256 257#extension__manager .actions { 258 padding: 0; 259 font-size: 95%; 260 width: 25%; 261 float: right; 262 text-align: right; 263} 264[dir=rtl] #extension__manager .actions { 265 float: left; 266 text-align: left; 267} 268 269#extension__manager .actions .version { 270 display: block; 271} 272 273#extension__manager .actions p { 274 margin: 0.2em 0; 275 text-align: center; 276} 277 278/* 279 * extensions table, detailed info box 280 */ 281#extension__manager dl.details { 282 margin: 0.4em 0 0 0; 283 font-size: 85%; 284 border-top: 1px solid @ini_background_alt; 285 clear: both; 286} 287 288#extension__manager dl.details dt { 289 clear: left; 290 float: left; 291 width: 25%; 292 margin: 0; 293 text-align: right; 294 font-weight: normal; 295 padding: 0.2em 5px 0 0; 296} 297[dir=rtl] #extension__manager dl.details dt { 298 clear: right; 299 float: right; 300 text-align: left; 301 padding: 0.2em 0 0 5px; 302} 303 304#extension__manager dl.details dd { 305 margin-left: 25%; 306 font-weight: bold; 307 padding: 0.2em 0 0 5px; 308} 309[dir=rtl] #extension__manager dl.details dd { 310 margin-left: 0; 311 margin-right: 25%; 312 padding: 0.2em 5px 0 0 ; 313} 314 315#extension__manager dl.details dd a { 316 font-weight: normal; 317} 318 319#extension__manager #info__popup { 320 z-index: 20; 321 overflow: hidden; 322 opacity: 0.9; 323 border: 1px solid @ini_border; 324 background-color: @ini_border; /*background_other__;*/ 325 text-align: left; 326 padding: 0.2em; 327} 328[dir=rtl] #extension__manager #info__popup { 329 text-align: right; 330} 331 332#extension__manager div.msg { 333 margin: 0.4em 0 0 0; 334} 335 336#extension__manager ul.tabs div.msg { 337 display: inline; 338 margin-left: 0.4em; 339} 340[dir=rtl] #extension__manager ul.tabs div.msg { 341 margin-left: 0; 342 margin-right: 0.4em; 343} 344 345/* end admin plugin styles */ 346