Fossil SCM

Moved all "margin-left" changes down into the desktop media block to make the hierarchy levels disappear on "mobile" screens.

wyoung 2024-01-27 13:49 inskinerator-modern-backport
Commit d00a8867b294809e6e11ff9341279aa48dbe19954b1be9d9619021b4ed12b1a5
1 file changed +51 -56
--- skins/default/css.txt
+++ skins/default/css.txt
@@ -188,78 +188,31 @@
188188
* differently, and /doc on *.html files works yet a third way. These
189189
* rules are carefully written to capture these docs and no other use of
190190
* MD/wiki/HTML. Adjust with care!
191191
*/
192192
193
-.doc > .content blockquote {
194
- /* Apply extra indent relative to "p" for backwards compatibility,
195
- * especially the Fossil wiki generator, which misuses this tag
196
- * against HTML and MD norms to mean "indented paragraph."
197
- */
198
- margin-left: 80pt;
199
-}
200193
.markdown blockquote {
201194
/* Style it as a proper blockquote for MD only. Unlike the indent
202195
* rule, this applies everywhere, including the forum, tickets… */
203196
background-color: rgba(65, 131, 196, 0.1);
204197
border-left: 3px solid #4183c4;
205198
padding: 0.1em 1em;
206199
}
207
-.doc > .content > .markdown > blockquote {
208
- margin-left: 60pt;
209
-}
210
-
211
-.doc > .content dt {
212
- margin-left: 10pt;
213
-}
214
-.doc > .content dd {
215
- margin-left: 30pt;
216
- margin-bottom: 1em;
217
-}
218
-.doc > .content dl {
219
- margin-left: 60pt;
220
-}
221
-
222
-.doc > .content hr {
223
- margin-left: 10pt;
224
-}
225200
226201
.doc > .content dd, .content dt,
227202
.doc > .content li,
228203
.doc > .content p,
229204
.doc > .content table
230205
{
231206
line-height: 1.4em;
232207
}
233208
234
-.doc > .content h1 { margin-left: 10pt; }
235
-.doc > .content h2 { margin-left: 20pt; }
236
-.doc > .content h3 { margin-left: 30pt; }
237
-.doc > .content h4 { margin-left: 40pt; }
238
-.doc > .content h5 { margin-left: 50pt; }
239
-
240
-.doc > .content > p,
241
-.doc > .content > .markdown > p,
242
-.doc > .content > .fossil-doc > p,
243
-.doc > .content > ol, .doc > .content > ul,
244
-.doc > .content > .markdown > ol, .doc > .content > .markdown > ul,
245
-.doc > .content > .fossil-doc > ol, .doc > .content > .fossil-doc > ul,
246
-.doc > .content table {
247
- margin-left: 50pt;
248
- margin-right: 50pt;
249
-}
250
-
251209
.content pre {
252210
hyphens: none;
253211
font-size: 110%;
254212
line-height: 1.25;
255213
}
256
-.doc > .content > pre,
257
-.doc > .content > .markdown > pre {
258
- margin-left: 70pt;
259
- margin-right: 50pt;
260
-}
261214
262215
.content .pikchr-wrapper {
263216
/* Pikchr was developed with the assumption that it would be
264217
* integrated into a Fossil repo using the old 0.9em body font
265218
* size, which no longer obtians. This gives us a choice:
@@ -272,19 +225,10 @@
272225
* in their skin's footer.txt to increase the diagram's relative
273226
* size to compensate for the font size change.
274227
*
275228
* We choose #2 because it puts both adjustments in the same file. */
276229
font-size: 0.9em;
277
- margin-left: 70pt;
278
-}
279
-div.pikchr-wrapper.center:not(.source) {
280
- margin-left: 0;
281
-}
282
-div.pikchr-wrapper.indent:not(.source) {
283
- /* Odd selector must match one in default.css to override it. */
284
- margin-left: 70pt;
285
- margin-right: 50pt;
286230
}
287231
288232
.content ul li {
289233
list-style-type: disc;
290234
}
@@ -443,7 +387,58 @@
443387
.mainmenu a {
444388
padding: 8px 20px;
445389
}
446390
.mainmenu {
447391
padding: 10px;
392
+ }
393
+ .doc > .content > .markdown > blockquote {
394
+ /* Slight indent for MD blockquotes, since they're styled with extra
395
+ * whitespace above for both mobile and desktop. */
396
+ margin-left: 60pt;
397
+ }
398
+ .doc > .content blockquote {
399
+ /* Apply extra indent relative to "p" for backwards compatibility
400
+ * in wiki docs since Fossil's generator misuses the blockquote
401
+ * tag against HTML and MD norms to mean "indented paragraph." */
402
+ margin-left: 80pt;
403
+ }
404
+ .doc > .content dd { margin-left: 30pt; margin-bottom: 1em; }
405
+ .doc > .content dl { margin-left: 60pt; }
406
+ .doc > .content dt { margin-left: 10pt; }
407
+ .doc > .content h1 { margin-left: 10pt; }
408
+ .doc > .content h2 { margin-left: 20pt; }
409
+ .doc > .content h3 { margin-left: 30pt; }
410
+ .doc > .content h4 { margin-left: 40pt; }
411
+ .doc > .content h5 { margin-left: 50pt; }
412
+ .doc > .content hr { margin-left: 10pt; }
413
+
414
+ /* Extra > in these relative to above is to ensure we indent top-level
415
+ * markup only to avoid double-indent of nested markup like p in li. */
416
+ .doc > .content > p,
417
+ .doc > .content > .markdown > p,
418
+ .doc > .content > .fossil-doc > p,
419
+ .doc > .content > ol, .doc > .content > ul,
420
+ .doc > .content > .markdown > ol, .doc > .content > .markdown > ul,
421
+ .doc > .content > .fossil-doc > ol, .doc > .content > .fossil-doc > ul,
422
+ .doc > .content table {
423
+ margin-left: 50pt;
424
+ margin-right: 50pt;
425
+ }
426
+ .doc > .content > pre,
427
+ .doc > .content > .markdown > pre,
428
+ .doc > .content > .fossil-doc > pre {
429
+ margin-left: 70pt;
430
+ margin-right: 50pt;
431
+ }
432
+ .doc > .content .pikchr-wrapper {
433
+ margin-left: 70pt;
434
+ }
435
+ div.pikchr-wrapper.indent:not(.source) {
436
+ /* Selector naming scheme mismatch is intentional: it must match the
437
+ * way it's given in default.css exactly if it is to override it. */
438
+ margin-left: 70pt;
439
+ margin-right: 50pt;
440
+ }
441
+ div.pikchr-wrapper.center:not(.source) {
442
+ margin-left: 0;
448443
}
449444
}
450445
--- skins/default/css.txt
+++ skins/default/css.txt
@@ -188,78 +188,31 @@
188 * differently, and /doc on *.html files works yet a third way. These
189 * rules are carefully written to capture these docs and no other use of
190 * MD/wiki/HTML. Adjust with care!
191 */
192
193 .doc > .content blockquote {
194 /* Apply extra indent relative to "p" for backwards compatibility,
195 * especially the Fossil wiki generator, which misuses this tag
196 * against HTML and MD norms to mean "indented paragraph."
197 */
198 margin-left: 80pt;
199 }
200 .markdown blockquote {
201 /* Style it as a proper blockquote for MD only. Unlike the indent
202 * rule, this applies everywhere, including the forum, tickets… */
203 background-color: rgba(65, 131, 196, 0.1);
204 border-left: 3px solid #4183c4;
205 padding: 0.1em 1em;
206 }
207 .doc > .content > .markdown > blockquote {
208 margin-left: 60pt;
209 }
210
211 .doc > .content dt {
212 margin-left: 10pt;
213 }
214 .doc > .content dd {
215 margin-left: 30pt;
216 margin-bottom: 1em;
217 }
218 .doc > .content dl {
219 margin-left: 60pt;
220 }
221
222 .doc > .content hr {
223 margin-left: 10pt;
224 }
225
226 .doc > .content dd, .content dt,
227 .doc > .content li,
228 .doc > .content p,
229 .doc > .content table
230 {
231 line-height: 1.4em;
232 }
233
234 .doc > .content h1 { margin-left: 10pt; }
235 .doc > .content h2 { margin-left: 20pt; }
236 .doc > .content h3 { margin-left: 30pt; }
237 .doc > .content h4 { margin-left: 40pt; }
238 .doc > .content h5 { margin-left: 50pt; }
239
240 .doc > .content > p,
241 .doc > .content > .markdown > p,
242 .doc > .content > .fossil-doc > p,
243 .doc > .content > ol, .doc > .content > ul,
244 .doc > .content > .markdown > ol, .doc > .content > .markdown > ul,
245 .doc > .content > .fossil-doc > ol, .doc > .content > .fossil-doc > ul,
246 .doc > .content table {
247 margin-left: 50pt;
248 margin-right: 50pt;
249 }
250
251 .content pre {
252 hyphens: none;
253 font-size: 110%;
254 line-height: 1.25;
255 }
256 .doc > .content > pre,
257 .doc > .content > .markdown > pre {
258 margin-left: 70pt;
259 margin-right: 50pt;
260 }
261
262 .content .pikchr-wrapper {
263 /* Pikchr was developed with the assumption that it would be
264 * integrated into a Fossil repo using the old 0.9em body font
265 * size, which no longer obtians. This gives us a choice:
@@ -272,19 +225,10 @@
272 * in their skin's footer.txt to increase the diagram's relative
273 * size to compensate for the font size change.
274 *
275 * We choose #2 because it puts both adjustments in the same file. */
276 font-size: 0.9em;
277 margin-left: 70pt;
278 }
279 div.pikchr-wrapper.center:not(.source) {
280 margin-left: 0;
281 }
282 div.pikchr-wrapper.indent:not(.source) {
283 /* Odd selector must match one in default.css to override it. */
284 margin-left: 70pt;
285 margin-right: 50pt;
286 }
287
288 .content ul li {
289 list-style-type: disc;
290 }
@@ -443,7 +387,58 @@
443 .mainmenu a {
444 padding: 8px 20px;
445 }
446 .mainmenu {
447 padding: 10px;
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
448 }
449 }
450
--- skins/default/css.txt
+++ skins/default/css.txt
@@ -188,78 +188,31 @@
188 * differently, and /doc on *.html files works yet a third way. These
189 * rules are carefully written to capture these docs and no other use of
190 * MD/wiki/HTML. Adjust with care!
191 */
192
 
 
 
 
 
 
 
193 .markdown blockquote {
194 /* Style it as a proper blockquote for MD only. Unlike the indent
195 * rule, this applies everywhere, including the forum, tickets… */
196 background-color: rgba(65, 131, 196, 0.1);
197 border-left: 3px solid #4183c4;
198 padding: 0.1em 1em;
199 }
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
200
201 .doc > .content dd, .content dt,
202 .doc > .content li,
203 .doc > .content p,
204 .doc > .content table
205 {
206 line-height: 1.4em;
207 }
208
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
209 .content pre {
210 hyphens: none;
211 font-size: 110%;
212 line-height: 1.25;
213 }
 
 
 
 
 
214
215 .content .pikchr-wrapper {
216 /* Pikchr was developed with the assumption that it would be
217 * integrated into a Fossil repo using the old 0.9em body font
218 * size, which no longer obtians. This gives us a choice:
@@ -272,19 +225,10 @@
225 * in their skin's footer.txt to increase the diagram's relative
226 * size to compensate for the font size change.
227 *
228 * We choose #2 because it puts both adjustments in the same file. */
229 font-size: 0.9em;
 
 
 
 
 
 
 
 
 
230 }
231
232 .content ul li {
233 list-style-type: disc;
234 }
@@ -443,7 +387,58 @@
387 .mainmenu a {
388 padding: 8px 20px;
389 }
390 .mainmenu {
391 padding: 10px;
392 }
393 .doc > .content > .markdown > blockquote {
394 /* Slight indent for MD blockquotes, since they're styled with extra
395 * whitespace above for both mobile and desktop. */
396 margin-left: 60pt;
397 }
398 .doc > .content blockquote {
399 /* Apply extra indent relative to "p" for backwards compatibility
400 * in wiki docs since Fossil's generator misuses the blockquote
401 * tag against HTML and MD norms to mean "indented paragraph." */
402 margin-left: 80pt;
403 }
404 .doc > .content dd { margin-left: 30pt; margin-bottom: 1em; }
405 .doc > .content dl { margin-left: 60pt; }
406 .doc > .content dt { margin-left: 10pt; }
407 .doc > .content h1 { margin-left: 10pt; }
408 .doc > .content h2 { margin-left: 20pt; }
409 .doc > .content h3 { margin-left: 30pt; }
410 .doc > .content h4 { margin-left: 40pt; }
411 .doc > .content h5 { margin-left: 50pt; }
412 .doc > .content hr { margin-left: 10pt; }
413
414 /* Extra > in these relative to above is to ensure we indent top-level
415 * markup only to avoid double-indent of nested markup like p in li. */
416 .doc > .content > p,
417 .doc > .content > .markdown > p,
418 .doc > .content > .fossil-doc > p,
419 .doc > .content > ol, .doc > .content > ul,
420 .doc > .content > .markdown > ol, .doc > .content > .markdown > ul,
421 .doc > .content > .fossil-doc > ol, .doc > .content > .fossil-doc > ul,
422 .doc > .content table {
423 margin-left: 50pt;
424 margin-right: 50pt;
425 }
426 .doc > .content > pre,
427 .doc > .content > .markdown > pre,
428 .doc > .content > .fossil-doc > pre {
429 margin-left: 70pt;
430 margin-right: 50pt;
431 }
432 .doc > .content .pikchr-wrapper {
433 margin-left: 70pt;
434 }
435 div.pikchr-wrapper.indent:not(.source) {
436 /* Selector naming scheme mismatch is intentional: it must match the
437 * way it's given in default.css exactly if it is to override it. */
438 margin-left: 70pt;
439 margin-right: 50pt;
440 }
441 div.pikchr-wrapper.center:not(.source) {
442 margin-left: 0;
443 }
444 }
445

Keyboard Shortcuts

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