Fossil

Check-in [b7fb568f37]
Login

Check-in [b7fb568f37]

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

Overview
Comment:Collected all the uses of "font-face: monospace" together and gave the browser a long list of suitable options for use here before falling back to that generic default. The list is ordered to give the most readable fonts first.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | inskinerator-modern-backport
Files: files | file ages | folders
SHA3-256: b7fb568f375ee43a52601b3a4ca3aa65ea1db8429eeb47125abc5bf6a561784e
User & Date: wyoung 2024-01-25 17:38:51.696
Context
2024-01-25
17:53
Add a bit of padding around "verbatim" blocks in wiki markup so they don't need explicit whitespace in the source doc. Also, allow the text in such blocks to wrap if need be, to avoid scrolling wide texts on narrow screens. ... (check-in: edc57800c7 user: wyoung tags: inskinerator-modern-backport)
17:38
Collected all the uses of "font-face: monospace" together and gave the browser a long list of suitable options for use here before falling back to that generic default. The list is ordered to give the most readable fonts first. ... (check-in: b7fb568f37 user: wyoung tags: inskinerator-modern-backport)
16:46
First in a series of changes to the default skin to make it look more like [https://tangentsoft.com/inskinerator/dir/override/modern | Inskinerator Modern] without bringing in Inskinerator's dependencies and machinery. This change increases the body font size for desktop use without affecting mobile. With middle-aged eyes, the old default puts too much text on a line, decreasing readability due to long line lengths, even with browsers no wider than a sheet of office paper. For our definition of "mobile," line lengths are naturally limited to reasonable lengths, and in any case, compromise is the nature of that game. ... (check-in: 2fdfb834b9 user: wyoung tags: inskinerator-modern-backport)
Changes
Unified Diff Ignore Whitespace Patch
Changes to src/default.css.
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
}
tr.diffskip.jchunk:hover {
  /*background-color: rgba(127,127,127,0.5);
  cursor: pointer;*/
}
tr.diffskip > td.chunkctrl {
  text-align: left;
  font-family: monospace;
}
tr.diffskip > td.chunkctrl > div {
  display: flex;
  align-items: center;
}
tr.diffskip > td.chunkctrl > div > span.error {
  padding: 0.25em 0.5em;







<







616
617
618
619
620
621
622

623
624
625
626
627
628
629
}
tr.diffskip.jchunk:hover {
  /*background-color: rgba(127,127,127,0.5);
  cursor: pointer;*/
}
tr.diffskip > td.chunkctrl {
  text-align: left;

}
tr.diffskip > td.chunkctrl > div {
  display: flex;
  align-items: center;
}
tr.diffskip > td.chunkctrl > div > span.error {
  padding: 0.25em 0.5em;
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
  margin: 0;
}
.flex-container.child-gap-small > * {
  margin: 0.25em;
}
#fossil-status-bar {
  display: block;
  font-family: monospace;
  border-width: 1px;
  border-style: inset;
  border-color: inherit;
  min-height: 1.5em;
  font-size: 1.2em;
  padding: 0.2em;
  margin: 0.25em 0;







<







1291
1292
1293
1294
1295
1296
1297

1298
1299
1300
1301
1302
1303
1304
  margin: 0;
}
.flex-container.child-gap-small > * {
  margin: 0.25em;
}
#fossil-status-bar {
  display: block;

  border-width: 1px;
  border-style: inset;
  border-color: inherit;
  min-height: 1.5em;
  font-size: 1.2em;
  padding: 0.2em;
  margin: 0.25em 0;
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
table.numbered-lines {
  width: 100%;
  table-layout: fixed /* required to keep ultra-wide code from exceeding
                         window width, and instead force a scrollbar
                         on them. */;
}
table.numbered-lines > tbody > tr {
  font-family: monospace;
  line-height: 1.35;
  white-space: pre;
}
table.numbered-lines > tbody > tr > td {
  font-family: inherit;
  font-size: inherit;
  line-height: inherit;







<







1381
1382
1383
1384
1385
1386
1387

1388
1389
1390
1391
1392
1393
1394
table.numbered-lines {
  width: 100%;
  table-layout: fixed /* required to keep ultra-wide code from exceeding
                         window width, and instead force a scrollbar
                         on them. */;
}
table.numbered-lines > tbody > tr {

  line-height: 1.35;
  white-space: pre;
}
table.numbered-lines > tbody > tr > td {
  font-family: inherit;
  font-size: inherit;
  line-height: inherit;
1759
1760
1761
1762
1763
1764
1765







1766




1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
body.branch .submenu > a.timeline-link {
  display: none;
}
body.branch .submenu > a.timeline-link.selected {
  display: inline;
}








.monospace {




  font-family: monospace;
}

div.markdown > ol.footnotes {
  font-size: 90%;
}
div.markdown > ol.footnotes > li {
  margin-bottom: 0.5em;
}
div.markdown ol.footnotes > li.fn-joined > sup.fn-joined {
  color: gray;
  font-family: monospace;
}
div.markdown ol.footnotes > li.fn-joined > sup.fn-joined::after {
  content: "(joined from multiple locations) ";
}
div.markdown ol.footnotes > li.fn-misreference {
  margin-top:    0.75em;
  margin-bottom: 0.75em;







>
>
>
>
>
>
>
|
>
>
>
>
|










<







1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785

1786
1787
1788
1789
1790
1791
1792
body.branch .submenu > a.timeline-link {
  display: none;
}
body.branch .submenu > a.timeline-link.selected {
  display: inline;
}

/* Candidate fonts for various forms of monospaced text. Collected here
 * to avoid repeating this long list of fonts. */
code, pre, tt,
    div.markdown ol.footnotes > li.fn-joined > sup.fn-joined,
    table.numbered-lines > tbody > tr,
    tr.diffskip > td.chunkctrl,
    #fossil-status-bar,
    .monospace {
  font-family: Source Code Pro, Menlo, Monaco,
               Andale Mono, Ubuntu Mono, Deja Vu Sans Mono,
               Letter Gothic, Letter Gothic Std, Prestige Elite Std,
               Courier, Courier New,
               monospace;
}

div.markdown > ol.footnotes {
  font-size: 90%;
}
div.markdown > ol.footnotes > li {
  margin-bottom: 0.5em;
}
div.markdown ol.footnotes > li.fn-joined > sup.fn-joined {
  color: gray;

}
div.markdown ol.footnotes > li.fn-joined > sup.fn-joined::after {
  content: "(joined from multiple locations) ";
}
div.markdown ol.footnotes > li.fn-misreference {
  margin-top:    0.75em;
  margin-bottom: 0.75em;