xref: /dokuwiki/lib/plugins/extension/style.less (revision 2d87f05b99091011a83d131724e9714f9c07f976)
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