Changesets can be listed by changeset number.
The Git repository is here.
- Revision:
- 372
- Log:
Reinstated automatic section numbering JS code from I2. Although
manual numbering isn't possible since JavaScript isn't allowed
inside pages, the automatic code works fine.
- Author:
- rool
- Date:
- Mon Mar 21 12:10:24 +0000 2011
- Size:
- 6215 Bytes
1 | .skipNav { |
2 | position:relative; |
3 | left:-1000em; |
4 | font-size:0em; |
5 | display: none; |
6 | } |
7 | |
8 | #Container { |
9 | text-align:center; |
10 | } |
11 | |
12 | #Content { |
13 | text-align:left; |
14 | } |
15 | |
16 | #Content table { |
17 | border-collapse:collapse; |
18 | margin-bottom: 20px; |
19 | border: 1px solid #888; |
20 | width: 100%; |
21 | } |
22 | |
23 | #Content th { |
24 | border: 1px solid #555; |
25 | background: #f0f0f0; |
26 | font-weight: bold; |
27 | padding: 4px; |
28 | } |
29 | |
30 | #Content td { |
31 | border: 1px solid #ccc; |
32 | padding: 4px; |
33 | } |
34 | |
35 | .newWikiWord { |
36 | padding-left: 4px; |
37 | padding-right: 4px; |
38 | background-color: #ddd; |
39 | border: 1px solid #ddd; |
40 | } |
41 | |
42 | .newWikiWord a { |
43 | margin-left: 4px; |
44 | padding-left: 4px; |
45 | padding-right: 4px; |
46 | border: 1px dotted red; |
47 | color: red; |
48 | } |
49 | |
50 | .newWikiWord a:hover { |
51 | color: white; |
52 | background: red; |
53 | border-color: white; |
54 | } |
55 | |
56 | .deleteWikiWord { |
57 | background-color:#FCC; |
58 | border: 3px solid blue; |
59 | padding: 2px; |
60 | } |
61 | |
62 | .deleteWikiWord:hover, .deleteWikiWord a:hover { |
63 | background-color:#F88; |
64 | } |
65 | |
66 | .navOn { |
67 | color:#444; |
68 | font-weight:bold; |
69 | text-decoration:none; |
70 | } |
71 | |
72 | div.help { |
73 | font-family:verdana, arial, helvetica, sans-serif; |
74 | font-size:75%; |
75 | } |
76 | |
77 | div.inputBox { |
78 | background-color:#EEE; |
79 | font-family:verdana, arial, helvetica, sans-serif; |
80 | font-size:80%; |
81 | margin-bottom:1.5em; |
82 | padding:0.3em; |
83 | } |
84 | |
85 | blockquote { |
86 | display:block; |
87 | font-size:90%; |
88 | font-style:italic; |
89 | line-height:1.5em; |
90 | margin:0 0 1.5em; |
91 | padding:0 2.5em; |
92 | } |
93 | |
94 | pre { |
95 | overflow:auto; |
96 | } |
97 | |
98 | ol.setup { |
99 | font-size:110%; |
100 | margin-top:1em; |
101 | padding-left:1.5em; |
102 | } |
103 | |
104 | .byline { |
105 | color:#666; |
106 | font-size:.8em; |
107 | font-style:italic; |
108 | margin-bottom:1em; |
109 | padding-top:1px; |
110 | } |
111 | |
112 | p.show_diff { |
113 | background: #eee; |
114 | padding: 3px; |
115 | border: 1px solid silver; |
116 | font-size:.85em; |
117 | } |
118 | |
119 | span.views, span.linked { |
120 | font-size:.85em; |
121 | } |
122 | .views a, .linked a { |
123 | font-weight: normal |
124 | } |
125 | span.revisions { |
126 | font-size:.95em |
127 | } |
128 | |
129 | #allPages, #wantedPages { |
130 | float: left; |
131 | width: 280px; |
132 | } |
133 | #allPages { |
134 | margin-right: 30px; |
135 | } |
136 | #allPages h2, #wantedPages h2 { |
137 | font-size: 1.2em; |
138 | } |
139 | #allPages label { |
140 | font-size: .8em; |
141 | } |
142 | |
143 | .pageType { |
144 | font-size: .75em; |
145 | font-style: italic; |
146 | } |
147 | |
148 | p.pageStats, span.unlock { |
149 | font-size: .85em; |
150 | } |
151 | |
152 | .diffdel,del.diffmod, .diffdel *, del.diffmod * { |
153 | background-color:#FAA; |
154 | text-decoration:line-through; |
155 | } |
156 | |
157 | .diffins,ins.diffmod, .diffins *, ins.diffmod * { |
158 | background-color:#AFA; |
159 | text-decoration:underline; |
160 | } |
161 | |
162 | .diffmod, .diffmod * { |
163 | border: 2px solid #FE0; |
164 | } |
165 | |
166 | div.web_normal { |
167 | padding:4px; |
168 | } |
169 | |
170 | div.web_protected { |
171 | padding:4px; |
172 | background-color:#DDD; |
173 | } |
174 | |
175 | div.inputFieldWithPrompt { |
176 | margin:0.75em 0; |
177 | } |
178 | |
179 | div#editFormButtons { |
180 | margin:0.5em 0 0; |
181 | } |
182 | |
183 | div#editFormButtons span { |
184 | white-space:nowrap; |
185 | } |
186 | |
187 | div#editForm textarea#content { |
188 | } |
189 | |
190 | div#MarkupHelp { |
191 | float:right; |
192 | margin-top:0.5em; |
193 | width:25%; |
194 | } |
195 | |
196 | div#MarkupHelp table { |
197 | border-bottom:3px solid #BBB; |
198 | border-left:3px solid #999; |
199 | border-right:3px solid #BBB; |
200 | border-top:3px solid #999; |
201 | margin-bottom:0; |
202 | } |
203 | |
204 | div#MarkupHelp td { |
205 | border:1px solid #999; |
206 | border-width:1px 0; |
207 | font-size:80%; |
208 | margin:0; |
209 | padding:0.2em; |
210 | vertical-align:top; |
211 | white-space:nowrap; |
212 | } |
213 | |
214 | div#MarkupHelp td.arrow { |
215 | color:#666; |
216 | padding:0 0.75em 0 0; |
217 | } |
218 | |
219 | div#MarkupHelp h3 { |
220 | font-size:90%; |
221 | font-weight:bold; |
222 | margin:0 0 5px; |
223 | padding:5px 0 0; |
224 | } |
225 | |
226 | div#MarkupHelp p { |
227 | font-size:70%; |
228 | } |
229 | |
230 | div.rightHandSide { |
231 | border-left:1px dotted #ccc; |
232 | border-bottom:1px dotted #ccc; |
233 | float:right; |
234 | font-size:80%; |
235 | margin-left:0.7em; |
236 | padding-left:1.5em; |
237 | width:25%; |
238 | } |
239 | |
240 | .newsList { |
241 | margin-top:1.5em; |
242 | } |
243 | |
244 | .newsList p { |
245 | margin-bottom:2.5em; |
246 | } |
247 | |
248 | .property { |
249 | color:#666; |
250 | font-size:80%; |
251 | } |
252 | |
253 | textarea#content { |
254 | font-size: 1em; |
255 | line-height: 1.125; |
256 | } |
257 | |
258 | ul#sortable_pages { |
259 | list-style-type:none; |
260 | padding-left:0; |
261 | } |
262 | ul#sortable_pages li { |
263 | border: 1px solid #FFF; |
264 | } |
265 | ul#sortable_pages li:hover, ul#sortable_pages li:focus { |
266 | border: 1px solid blue; |
267 | } |
268 | |
269 | merror {display:inline;font-size:1em;} |
270 | math[display=block] {overflow:auto;} |
271 | math { white-space: nowrap } |
272 | .maruku-eq-number {float:right} |
273 | .maruku-equation {text-align:center} |
274 | .blockquotesource {margin-left:1em;} |
275 | span.keyboard { |
276 | background: #CCC; |
277 | color: #000; |
278 | border: outset 2px; |
279 | font-family:verdana, arial, sans-serif; |
280 | font-size: .7em; |
281 | margin-left:5px; |
282 | padding:1px 2px; |
283 | } |
284 | .centeredfigure { |
285 | position:relative; |
286 | margin:auto; |
287 | text-align:center; |
288 | } |
289 | |
290 | body {counter-reset: theorem lemma proposition corollary definition example remark note} |
291 | .un_theorem *, .num_theorem *, |
292 | .un_lemma *, .num_lemma *, |
293 | .un_prop *, .num_prop *, |
294 | .un_cor *, .num_cor * {font-style: italic} |
295 | span.theorem_label {font-style:normal; font-weight:bold;} |
296 | .proof span.theorem_label {font-style:italic;} |
297 | .num_theorem .theorem_label:after { |
298 | content: " " counter(theorem); counter-increment: theorem;} |
299 | .num_lemma .theorem_label:after { |
300 | content: " " counter(lemma); counter-increment: lemma;} |
301 | .num_prop .theorem_label:after { |
302 | content: " " counter(proposition); counter-increment: proposition;} |
303 | .num_cor .theorem_label:after { |
304 | content: " " counter(corollary); counter-increment: corollary;} |
305 | .num_defn .theorem_label:after { |
306 | content: " " counter(definition); counter-increment: definition;} |
307 | .num_example .theorem_label:after { |
308 | content: " " counter(example); counter-increment: example;} |
309 | .num_remark .theorem_label:after { |
310 | content: " " counter(remark); counter-increment: remark;} |
311 | .num_note .theorem_label:after { |
312 | content: " " counter(note); counter-increment: note;} |
313 | |
314 | /* Hack for Mozilla bug 449396 */ |
315 | [mathvariant="bold"] * { |
316 | font-style: normal; |
317 | font-variant: normal; |
318 | font-weight: bold; |
319 | } |
320 | [mathvariant="italic"] * { |
321 | font-style: italic; |
322 | font-variant: normal; |
323 | font-weight: normal; |
324 | } |
325 | [mathvariant="bold-italic"] * { |
326 | font-style: italic; |
327 | font-variant: normal; |
328 | font-weight: bold; |
329 | } |
330 | [mathvariant="sans-serif"] * { |
331 | font-style: normal; |
332 | font-variant: normal; |
333 | font-weight: normal; |
334 | } |
335 | [mathvariant="bold-sans-serif"] * { |
336 | font-style: normal; |
337 | font-variant: normal; |
338 | font-weight: bold; |
339 | } |
340 | [mathvariant="sans-serif-italic"] * { |
341 | font-style: italic; |
342 | font-variant: normal; |
343 | font-weight: normal; |
344 | } |
345 | [mathvariant="sans-serif-bold-italic"] * { |
346 | font-style: italic; |
347 | font-variant: normal; |
348 | font-weight: bold; |
349 | } |
350 | [actiontype="toggle"]:hover {text-shadow: #ccc 2px 2px 5px;} |
351 | |
352 | /* Table of contents (see auto_sections.js) */ |
353 | |
354 | div#toc { padding-left: 2em; } |
355 | a.TOCBackLink { display: none; } |
356 | .TOCLevel3 { margin-left: 2em; } |
357 | .TOCLevel4 { margin-left: 4em; } |
358 | .TOCLevel5 { margin-left: 6em; } |
359 | .TOCLevel6 { margin-left: 8em; } |