Changes On Branch MISTAKE
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Changes In Branch MISTAKE Excluding Merge-Ins

This is equivalent to a diff from d5de647aa5 to 01c2c60bdb

2024-01-27
18:48
The careful selectors to cause indents to occur only in desired places prevent them from working in less obvious cases like /file URLs or for README files rendered under /dir. Solving this is easy in SCSS, but it creates a combinatorial explosion of selectors in CSS. Fortunately, we can generate the CSS with Inskinerator, then bake a cleaned-up s... check-in: 30a7c1e2c5 user: wyoung tags: inskinerator-modern-backport
16:44
Removed the ".doc > " level of selectors, allowing these rules to work via less common paths like the /dir rendering of README docs, embedded docs accessed via /file URLs, etc. where the body element is classed as "dir" or "file" or what have you. Closed-Leaf check-in: 01c2c60bdb user: wyoung tags: MISTAKE
15:32
Replaced many uses of blockquote in the quick start doc with pre, verbatim, etc., where all that was wanted was an indented block of text. These more semantic markup elements are now indented already. check-in: d5de647aa5 user: wyoung tags: inskinerator-modern-backport
15:30
Simplified table styling for the ToC at the top of the Fossil v Git doc to make better use of the new styling. check-in: 5f1caed1da user: wyoung tags: inskinerator-modern-backport

Changes to skins/default/css.txt.

194
195
196
197
198
199
200
201

202
203
204
205
206
207
208
209
210
211
  /* Style it as a proper blockquote for MD only.  Unlike the indent
   * rule, this applies everywhere, including the forum, tickets… */
  background-color: rgba(65, 131, 196, 0.1);
  border-left: 3px solid #4183c4;
  padding: 0.1em 1em;
}

.doc > .content dd, .content dt,

.doc > .content li,
.doc > .content p,
.doc > .content table
{
  line-height: 1.4em;
}

.content pre {
  hyphens: none;
  font-size: 110%;







|
>
|
|
|







194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
  /* Style it as a proper blockquote for MD only.  Unlike the indent
   * rule, this applies everywhere, including the forum, tickets… */
  background-color: rgba(65, 131, 196, 0.1);
  border-left: 3px solid #4183c4;
  padding: 0.1em 1em;
}

.content dd,
.content dt,
.content li,
.content p,
.content table
{
  line-height: 1.4em;
}

.content pre {
  hyphens: none;
  font-size: 110%;
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
  font-size: 0.9em;
}

.content ul li {
  list-style-type: disc;
}

.doc > .content table {
  background-color: #f0f5f9;
  border: 1px solid #a7c2dc;
  border-radius: 0.5em;
  border-spacing: 0;
  padding: 6px;
}
.doc > .content th {
  border-bottom: 1px solid #dee8f2;
  padding-bottom: 4px;
  padding-right: 6px;
  text-align: left;
}
.doc > .content tr > th {
  background-color: #dee8f0;
}
.doc > .content tr:nth-child(odd) {
  background-color: #e0e8ee;
}
.doc > .content td {
  padding-bottom: 4px;
  padding-right: 6px;
  text-align: left;
}


/* Tickets */







|






|





|


|


|







230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
  font-size: 0.9em;
}

.content ul li {
  list-style-type: disc;
}

.content table {
  background-color: #f0f5f9;
  border: 1px solid #a7c2dc;
  border-radius: 0.5em;
  border-spacing: 0;
  padding: 6px;
}
.content th {
  border-bottom: 1px solid #dee8f2;
  padding-bottom: 4px;
  padding-right: 6px;
  text-align: left;
}
.content tr > th {
  background-color: #dee8f0;
}
.content tr:nth-child(odd) {
  background-color: #e0e8ee;
}
.content td {
  padding-bottom: 4px;
  padding-right: 6px;
  text-align: left;
}


/* Tickets */
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
  .status {padding-top: 30px;}
  .mainmenu a {
    padding: 8px 20px;
  }
  .mainmenu {
    padding: 10px;
  }
  .doc > .content > .markdown > blockquote {
    /* Slight indent for MD blockquotes, since they're styled with extra
     * whitespace above for both mobile and desktop. */
    margin-left: 60pt;
  }
  .doc > .content blockquote {
    /* Apply extra indent relative to "p" for backwards compatibility
     * in wiki docs since Fossil's generator misuses the blockquote
     * tag against HTML and MD norms to mean "indented paragraph." */
    margin-left: 80pt;
  }
  .doc > .content dd { margin-left: 30pt; margin-bottom: 1em; }
  .doc > .content dl { margin-left: 60pt; }
  .doc > .content dt { margin-left: 10pt; }
  .doc > .content h1 { margin-left: 10pt; }
  .doc > .content h2 { margin-left: 20pt; }
  .doc > .content h3 { margin-left: 30pt; }
  .doc > .content h4 { margin-left: 40pt; }
  .doc > .content h5 { margin-left: 50pt; }
  .doc > .content hr { margin-left: 10pt; }

  /* Extra > in these relative to above is to ensure we indent top-level
   * markup only to avoid double-indent of nested markup like p in li. */
  .doc > .content > p,
  .doc > .content > .markdown > p,
  .doc > .content > .fossil-doc > p,
  .doc > .content > ol, .doc > .content > ul,
  .doc > .content > .markdown > ol, .doc > .content > .markdown > ul,
  .doc > .content > .fossil-doc > ol, .doc > .content > .fossil-doc > ul,
  .doc > .content table {
    margin-left: 50pt;
    margin-right: 50pt;
  }
  .doc > .content > pre,
  .doc > .content > .markdown > pre,
  .doc > .content > .fossil-doc > pre {
    margin-left: 70pt;
    margin-right: 50pt;
  }
  .doc > .content .pikchr-wrapper {
    margin-left: 70pt;
  }
  div.pikchr-wrapper.indent:not(.source) {
    /* Selector naming scheme mismatch is intentional: it must match the
     * way it's given in default.css exactly if it is to override it. */
    margin-left: 70pt;
    margin-right: 50pt;
  }
  div.pikchr-wrapper.center:not(.source) {
    margin-left: 0;
  }
}







|




|





|
|
|
|
|
|
|
|
|



|
|
|
|
|
|
|



|
|
|



|












387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
  .status {padding-top: 30px;}
  .mainmenu a {
    padding: 8px 20px;
  }
  .mainmenu {
    padding: 10px;
  }
  .content > .markdown > blockquote {
    /* Slight indent for MD blockquotes, since they're styled with extra
     * whitespace above for both mobile and desktop. */
    margin-left: 60pt;
  }
  .content blockquote {
    /* Apply extra indent relative to "p" for backwards compatibility
     * in wiki docs since Fossil's generator misuses the blockquote
     * tag against HTML and MD norms to mean "indented paragraph." */
    margin-left: 80pt;
  }
  .content dd { margin-left: 30pt; margin-bottom: 1em; }
  .content dl { margin-left: 60pt; }
  .content dt { margin-left: 10pt; }
  .content h1 { margin-left: 10pt; }
  .content h2 { margin-left: 20pt; }
  .content h3 { margin-left: 30pt; }
  .content h4 { margin-left: 40pt; }
  .content h5 { margin-left: 50pt; }
  .content hr { margin-left: 10pt; }

  /* Extra > in these relative to above is to ensure we indent top-level
   * markup only to avoid double-indent of nested markup like p in li. */
  .content > p,
  .content > .markdown > p,
  .content > .fossilp,
  .content > ol, .content > ul,
  .content > .markdown > ol, .content > .markdown > ul,
  .content > .fossilol, .content > .fossilul,
  .content table {
    margin-left: 50pt;
    margin-right: 50pt;
  }
  .content > pre,
  .content > .markdown > pre,
  .content > .fossilpre {
    margin-left: 70pt;
    margin-right: 50pt;
  }
  .content .pikchr-wrapper {
    margin-left: 70pt;
  }
  div.pikchr-wrapper.indent:not(.source) {
    /* Selector naming scheme mismatch is intentional: it must match the
     * way it's given in default.css exactly if it is to override it. */
    margin-left: 70pt;
    margin-right: 50pt;
  }
  div.pikchr-wrapper.center:not(.source) {
    margin-left: 0;
  }
}