1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
body.wikieedit.waiting * {
/* Triggered during AJAX requests. */
cursor: wait;
}
body.wikiedit textarea,
body.wikiedit textarea:focus,
body.wikiedit input,
body.wikiedit input:focus{
/* The sudden appearance of a border (as in the Ardoise skin)
shifts the layout in unsightly ways */
border: reset;
}
body.wikiedit div.wikiedit-preview {
margin: 0;
padding: 0;
}
body.wikiedit #wikiedit-tabs {
margin: 1em 0 0 0;
|
|
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
body.wikieedit.waiting * {
/* Triggered during AJAX requests. */
cursor: wait;
}
body.wikiedit textarea,
body.wikiedit textarea:focus,
body.wikiedit input,
body.wikiedit input:focus{
/* The sudden appearance of a border (as in the Ardoise skin)
shifts the layout in unsightly ways */
border: revert;
}
body.wikiedit div.wikiedit-preview {
margin: 0;
padding: 0;
}
body.wikiedit #wikiedit-tabs {
margin: 1em 0 0 0;
|
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
}
body.wikiedit .wikiedit-options > div > * {
margin: 0.25em;
}
body.wikiedit .wikiedit-options.flex-container.flex-row {
align-items: first baseline;
}
body.wikiedit .wikiedit-page-list-wrapper {
display: flex;
flex-direction: column;
flex-wrap: wrap;
justify-content: center;
body.wikiedit .wikiedit-page-list-wrapper select option {
margin: 0.5em 0;
}
body.wikiedit .wikiedit-page-list-wrapper select option.stashed::before {
/* Maintenance reminder: the option.stashed/stashed-new "content" values
are duplicated in fossil.page.wikiedit.js and need to be changed there
if they are changed here: see fossil.page.config.editStateMarkers */
content: "[*] ";
}
body.wikiedit .wikiedit-page-list-wrapper select option.stashed-new::before {
content: "[+] ";
}
body.wikiedit textarea {
max-width: calc(100% - 1em);
}
body.wikiedit .tabs .tab-panel {
/* Needed for wide diffs */
overflow: auto;
}
body.wikiedit .wikiedit-page-list-wrapper fieldset {
padding: 0.25em;
}
body.wikiedit .wikiedit-page-list-wrapper fieldset > :not(legend) {
/* Stretch page selection list when it's empty or only has short page names */
width: 100%;
}
body.wikiedit .wikiedit-page-list-wrapper .fieldset-wrapper {
/* Container for the filter and edit status fieldsets */
display: flex;
flex-direction: row;
flex-wrap: wrap;
align-items: stretch;
justify-content: stretch;
margin: 0 0 1em 0;
}
|
|
<
<
|
>
>
>
|
|
|
>
>
>
|
|
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
|
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
}
body.wikiedit .wikiedit-options > div > * {
margin: 0.25em;
}
body.wikiedit .wikiedit-options.flex-container.flex-row {
align-items: first baseline;
}
body.wikiedit .WikiList {
display: flex;
flex-direction: column;
align-items: start;
}
body.wikiedit .WikiList select {
font-size: 110%;
}
body.wikiedit .WikiList select option {
margin: 0.5em 0;
}
body.wikiedit .WikiList select option.stashed::before {
/* Maintenance reminder: the option.stashed/stashed-new "content" values
are duplicated in fossil.page.wikiedit.js and need to be changed there
if they are changed here: see fossil.page.config.editStateMarkers */
content: "[*] ";
}
body.wikiedit .WikiList select option.stashed-new::before {
content: "[+] ";
}
body.wikiedit textarea {
max-width: calc(100% - 1em);
}
body.wikiedit .tabs .tab-panel {
/* Needed for wide diffs */
overflow: auto;
}
body.wikiedit .WikiList fieldset {
padding: 0.25em;
}
body.wikiedit .WikiList legend {
font-size: 90%;
}
body.wikiedit .WikiList fieldset > :not(legend) {
/* Stretch page selection list when it's empty or only has short page names */
width: 100%;
}
body.wikiedit .WikiList .fieldset-wrapper {
/* Container for the filter and edit status fieldsets */
display: flex;
flex-direction: row;
flex-wrap: wrap;
align-items: stretch;
justify-content: stretch;
margin: 0;
}
body.wikiedit .WikiList button.save {
margin: 1em 0 0 0;
}
body.wikiedit .WikiList .new-page {
align-items: flex-start;
max-width: 15em;
}
body.wikiedit .WikiList .new-page input {
}
body.wikiedit #wikiedit-tab-save h3 {
margin: 0;
}
body.wikiedit span.mini-tip {
font-size: 80%;
}
|