1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
body.wikieedit.waiting * {
/* Triggered during AJAX requests. */
cursor: wait;
}
body.wikiedit textarea,
body.wikiedit textarea:focus,
body.wikiedit input,
body.wikiedit input:focus,
body.wikiedit select,
body.wikiedit select:focus{
/* The sudden appearance of a border (as in the Ardoise skin)
shifts the layout in unsightly ways */
border: initial;
border-width: 1px;
|
<
|
|
|
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
body.wikieedit.waiting * {
/* Triggered during AJAX requests. */
cursor: wait;
}
body.wikiedit textarea,
body.wikiedit textarea:focus,
body.wikiedit input,
body.wikiedit input:focus,
body.wikiedit select,
body.wikiedit select:focus{
/* Depending on the skin, it might be useful to add one or both of
the following... */
/*border-width: 1px;*/
/*border: initial; */
}
body.wikiedit div.wikiedit-preview {
margin: 0;
padding: 0;
}
body.wikiedit #wikiedit-tabs {
margin: 1em 0 0 0;
|
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
|
width: 100%;
cursor: initial;
display: flex;
flex-direction: row;
flex-wrap: wrap;
justify-content: space-between;
font-family: monospace;
font-size: 1.2em;
body.wikiedit #wikiedit-edit-status > span {
display: block;
}
body.wikiedit .WikiList span.is-new,
body.wikiedit .WikiList span.is-modified,
body.wikiedit .WikiList span.is-deleted {
font-family: monospace;
}
body.wikiedit #wikiedit-edit-status span.links > a {
|
<
>
>
>
|
|
|
>
>
|
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
|
width: 100%;
cursor: initial;
display: flex;
flex-direction: row;
flex-wrap: wrap;
justify-content: space-between;
font-family: monospace;
}
body.wikiedit #wikiedit-edit-status > span.name {
display: block;
word-break: break-word /* needed for long names, e.g. checkin/... */;
}
body.wikiedit #wikiedit-edit-status > span.links {
display: flex;
flex-wrap: wrap;
flex-direction: row;
}
body.wikiedit .WikiList span.is-new,
body.wikiedit .WikiList span.is-modified,
body.wikiedit .WikiList span.is-deleted {
font-family: monospace;
}
body.wikiedit #wikiedit-edit-status span.links > a {
|