Fossil SCM

fossil-scm / src / style.wikiedit.css
Blame History Raw 205 lines
1
body.wikieedit.waiting * {
2
/* Triggered during AJAX requests. */
3
cursor: wait;
4
}
5
body.wikiedit textarea,
6
body.wikiedit textarea:focus,
7
body.wikiedit input,
8
body.wikiedit input:focus,
9
body.wikiedit select,
10
body.wikiedit select:focus{
11
/* Depending on the skin, it might be useful to add one or both of
12
the following... */
13
/*border-width: 1px;*/
14
/*border: initial; */
15
}
16
body.wikiedit div.wikiedit-preview {
17
margin: 0;
18
padding: 0;
19
}
20
body.wikiedit #wikiedit-tabs {
21
margin: 0.5em 0 0 0;
22
}
23
body.wikiedit #wikiedit-tab-preview-wrapper {
24
overflow: auto;
25
}
26
body.wikiedit #wikiedit-tab-diff-wrapper {
27
/*overflow: hidden;*/
28
/* ^^^ we "really" want hidden and let a sub-sub-child element
29
handle that, but that isn't working, for unknown reasons. */
30
overflow-x: auto;
31
}
32
body.wikiedit .tab-container > .tabs > .tab-panel > .wikiedit-options {
33
margin-top: 0;
34
border: none;
35
border-radius: 0;
36
border-bottom-width: 1px;
37
border-bottom-style: dotted;
38
}
39
body.wikiedit .tab-container > .tabs > .tab-panel > .wikiedit-options > button {
40
vertical-align: middle;
41
margin: 0.5em;
42
}
43
body.wikiedit .tab-container > .tabs > .tab-panel > .wikiedit-options > input {
44
vertical-align: middle;
45
margin: 0.5em;
46
}
47
body.wikiedit .tab-container > .tabs > .tab-panel > .wikiedit-options > .input-with-label {
48
margin: 0 0.5em 0.25em 0.5em;
49
}
50
body.wikiedit label {
51
display: inline; /* some skins set label display to block! */
52
}
53
body.wikiedit .wikiedit-options > div > * {
54
margin: 0.25em;
55
}
56
body.wikiedit .wikiedit-options.flex-container.flex-row {
57
align-items: first baseline;
58
}
59
body.wikiedit .WikiList {
60
display: flex;
61
flex-direction: column;
62
align-items: start;
63
}
64
body.wikiedit .WikiList select {
65
font-size: 110%;
66
margin: initial;
67
height: initial /* some skins set these to a fixed height */;
68
font-family: monospace;
69
border: initial;
70
}
71
body.wikiedit select:focus {
72
border: initial;
73
}
74
body.wikiedit .WikiList select option {
75
margin: 0 0 0.5em 0.55em;
76
}
77
body.wikiedit select option,
78
body.wikiedit select option:focus {
79
border: none;
80
}
81
body.wikiedit .WikiList select option.stashed,
82
body.wikiedit .WikiList select option.stashed-new,
83
body.wikiedit .WikiList select option.deleted {
84
margin-left: -0.4em;
85
}
86
body.wikiedit .WikiList.hide-deleted select option.deleted {
87
display: none;
88
}
89
body.wikiedit textarea {
90
max-width: initial;
91
}
92
body.wikiedit .tabs .tab-panel {
93
/* Needed for wide diffs */
94
overflow: auto;
95
}
96
body.wikiedit .WikiList fieldset {
97
padding: 0.25em;
98
border-width: 1px /* Ardoise skin sets this to 0 */;
99
min-width: 6em;
100
border-style: inset;
101
}
102
body.wikiedit .WikiList label {
103
margin: 0 0.5em;
104
vertical-align: text-bottom;
105
}
106
body.wikiedit .WikiList legend {
107
margin: 0 0 0 0.5em;
108
}
109
body.wikiedit .WikiList > fieldset {
110
margin: 0;
111
width: calc(100% - 1em);
112
}
113
body.wikiedit .WikiList fieldset > :not(legend) {
114
/* Stretch page selection list when it's empty or only has short page names */
115
margin: 0;
116
width: 100%;
117
}
118
body.wikiedit .WikiList .fieldset-wrapper {
119
/* Container for the filter and edit status fieldsets */
120
display: flex;
121
flex-direction: row;
122
flex-wrap: wrap;
123
align-items: stretch;
124
justify-content: stretch;
125
margin: 0;
126
}
127
body.wikiedit .WikiList button.save {
128
margin: 1em 0 0 0;
129
}
130
body.wikiedit .WikiList .new-page {
131
align-items: flex-start;
132
max-width: 15em;
133
}
134
body.wikiedit .WikiList .new-page input {
135
}
136
body.wikiedit #wikiedit-tab-misc h3 {
137
margin: 0;
138
}
139
body.wikiedit span.mini-tip {
140
font-size: 80%;
141
}
142
143
body.wikiedit span.save-button-slot {
144
/* These invisible placeholders mark spots in the UI
145
(max. 1 per tab) to where the save button gets
146
relocated as we switch between tabs. */
147
display: none;
148
}
149
150
body.wikiedit #wikiedit-edit-status {
151
border-radius: 0.25em 0.25em 0 0;
152
margin: 0;
153
padding: 0;
154
width: 100%;
155
cursor: initial;
156
display: flex;
157
flex-direction: row;
158
flex-wrap: wrap;
159
justify-content: space-between;
160
font-family: monospace;
161
}
162
body.wikiedit #wikiedit-edit-status > span.name {
163
display: block;
164
word-break: break-word /* needed for long names, e.g. checkin/... */;
165
}
166
body.wikiedit #wikiedit-edit-status > span.links {
167
display: flex;
168
flex-wrap: wrap;
169
flex-direction: row;
170
}
171
body.wikiedit .WikiList span.is-new,
172
body.wikiedit .WikiList span.is-modified,
173
body.wikiedit .WikiList span.is-deleted {
174
font-family: monospace;
175
}
176
body.wikiedit #wikiedit-edit-status span.links > a {
177
margin: 0 0.25em;
178
white-space: nowrap;
179
}
180
body.wikiedit #wikiedit-edit-status span.links > a::before {
181
content: "[";
182
}
183
body.wikiedit #wikiedit-edit-status span.links > a::after {
184
content: "]";
185
}
186
body.wikiedit #wikiedit-stash-selector {
187
margin: 0.25em;
188
display: flex;
189
flex-direction: row;
190
flex-wrap: wrap;
191
align-items: center;
192
}
193
body.wikiedit #wikiedit-stash-selector select {
194
margin: 0 1em 0 0.5em;
195
height: initial;
196
font-family: monospace;
197
flex: 1 1 auto;
198
}
199
body.wikiedit fieldset.page-types-list > div > span {
200
display: flex;
201
flex-direction: row;
202
flex-wrap: nowrap;
203
align-items: center;
204
}
205

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button