Fossil SCM
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.
Commit
b7fb568f375ee43a52601b3a4ca3aa65ea1db8429eeb47125abc5bf6a561784e
Parent
2fdfb834b9109e3…
1 file changed
+13
-6
+13
-6
| --- src/default.css | ||
| +++ src/default.css | ||
| @@ -618,11 +618,10 @@ | ||
| 618 | 618 | /*background-color: rgba(127,127,127,0.5); |
| 619 | 619 | cursor: pointer;*/ |
| 620 | 620 | } |
| 621 | 621 | tr.diffskip > td.chunkctrl { |
| 622 | 622 | text-align: left; |
| 623 | - font-family: monospace; | |
| 624 | 623 | } |
| 625 | 624 | tr.diffskip > td.chunkctrl > div { |
| 626 | 625 | display: flex; |
| 627 | 626 | align-items: center; |
| 628 | 627 | } |
| @@ -1294,11 +1293,10 @@ | ||
| 1294 | 1293 | .flex-container.child-gap-small > * { |
| 1295 | 1294 | margin: 0.25em; |
| 1296 | 1295 | } |
| 1297 | 1296 | #fossil-status-bar { |
| 1298 | 1297 | display: block; |
| 1299 | - font-family: monospace; | |
| 1300 | 1298 | border-width: 1px; |
| 1301 | 1299 | border-style: inset; |
| 1302 | 1300 | border-color: inherit; |
| 1303 | 1301 | min-height: 1.5em; |
| 1304 | 1302 | font-size: 1.2em; |
| @@ -1385,11 +1383,10 @@ | ||
| 1385 | 1383 | table-layout: fixed /* required to keep ultra-wide code from exceeding |
| 1386 | 1384 | window width, and instead force a scrollbar |
| 1387 | 1385 | on them. */; |
| 1388 | 1386 | } |
| 1389 | 1387 | table.numbered-lines > tbody > tr { |
| 1390 | - font-family: monospace; | |
| 1391 | 1388 | line-height: 1.35; |
| 1392 | 1389 | white-space: pre; |
| 1393 | 1390 | } |
| 1394 | 1391 | table.numbered-lines > tbody > tr > td { |
| 1395 | 1392 | font-family: inherit; |
| @@ -1761,12 +1758,23 @@ | ||
| 1761 | 1758 | } |
| 1762 | 1759 | body.branch .submenu > a.timeline-link.selected { |
| 1763 | 1760 | display: inline; |
| 1764 | 1761 | } |
| 1765 | 1762 | |
| 1766 | -.monospace { | |
| 1767 | - font-family: monospace; | |
| 1763 | +/* Candidate fonts for various forms of monospaced text. Collected here | |
| 1764 | + * to avoid repeating this long list of fonts. */ | |
| 1765 | +code, pre, tt, | |
| 1766 | + div.markdown ol.footnotes > li.fn-joined > sup.fn-joined, | |
| 1767 | + table.numbered-lines > tbody > tr, | |
| 1768 | + tr.diffskip > td.chunkctrl, | |
| 1769 | + #fossil-status-bar, | |
| 1770 | + .monospace { | |
| 1771 | + font-family: Source Code Pro, Menlo, Monaco, | |
| 1772 | + Andale Mono, Ubuntu Mono, Deja Vu Sans Mono, | |
| 1773 | + Letter Gothic, Letter Gothic Std, Prestige Elite Std, | |
| 1774 | + Courier, Courier New, | |
| 1775 | + monospace; | |
| 1768 | 1776 | } |
| 1769 | 1777 | |
| 1770 | 1778 | div.markdown > ol.footnotes { |
| 1771 | 1779 | font-size: 90%; |
| 1772 | 1780 | } |
| @@ -1773,11 +1781,10 @@ | ||
| 1773 | 1781 | div.markdown > ol.footnotes > li { |
| 1774 | 1782 | margin-bottom: 0.5em; |
| 1775 | 1783 | } |
| 1776 | 1784 | div.markdown ol.footnotes > li.fn-joined > sup.fn-joined { |
| 1777 | 1785 | color: gray; |
| 1778 | - font-family: monospace; | |
| 1779 | 1786 | } |
| 1780 | 1787 | div.markdown ol.footnotes > li.fn-joined > sup.fn-joined::after { |
| 1781 | 1788 | content: "(joined from multiple locations) "; |
| 1782 | 1789 | } |
| 1783 | 1790 | div.markdown ol.footnotes > li.fn-misreference { |
| 1784 | 1791 |
| --- src/default.css | |
| +++ src/default.css | |
| @@ -618,11 +618,10 @@ | |
| 618 | /*background-color: rgba(127,127,127,0.5); |
| 619 | cursor: pointer;*/ |
| 620 | } |
| 621 | tr.diffskip > td.chunkctrl { |
| 622 | text-align: left; |
| 623 | font-family: monospace; |
| 624 | } |
| 625 | tr.diffskip > td.chunkctrl > div { |
| 626 | display: flex; |
| 627 | align-items: center; |
| 628 | } |
| @@ -1294,11 +1293,10 @@ | |
| 1294 | .flex-container.child-gap-small > * { |
| 1295 | margin: 0.25em; |
| 1296 | } |
| 1297 | #fossil-status-bar { |
| 1298 | display: block; |
| 1299 | font-family: monospace; |
| 1300 | border-width: 1px; |
| 1301 | border-style: inset; |
| 1302 | border-color: inherit; |
| 1303 | min-height: 1.5em; |
| 1304 | font-size: 1.2em; |
| @@ -1385,11 +1383,10 @@ | |
| 1385 | table-layout: fixed /* required to keep ultra-wide code from exceeding |
| 1386 | window width, and instead force a scrollbar |
| 1387 | on them. */; |
| 1388 | } |
| 1389 | table.numbered-lines > tbody > tr { |
| 1390 | font-family: monospace; |
| 1391 | line-height: 1.35; |
| 1392 | white-space: pre; |
| 1393 | } |
| 1394 | table.numbered-lines > tbody > tr > td { |
| 1395 | font-family: inherit; |
| @@ -1761,12 +1758,23 @@ | |
| 1761 | } |
| 1762 | body.branch .submenu > a.timeline-link.selected { |
| 1763 | display: inline; |
| 1764 | } |
| 1765 | |
| 1766 | .monospace { |
| 1767 | font-family: monospace; |
| 1768 | } |
| 1769 | |
| 1770 | div.markdown > ol.footnotes { |
| 1771 | font-size: 90%; |
| 1772 | } |
| @@ -1773,11 +1781,10 @@ | |
| 1773 | div.markdown > ol.footnotes > li { |
| 1774 | margin-bottom: 0.5em; |
| 1775 | } |
| 1776 | div.markdown ol.footnotes > li.fn-joined > sup.fn-joined { |
| 1777 | color: gray; |
| 1778 | font-family: monospace; |
| 1779 | } |
| 1780 | div.markdown ol.footnotes > li.fn-joined > sup.fn-joined::after { |
| 1781 | content: "(joined from multiple locations) "; |
| 1782 | } |
| 1783 | div.markdown ol.footnotes > li.fn-misreference { |
| 1784 |
| --- src/default.css | |
| +++ src/default.css | |
| @@ -618,11 +618,10 @@ | |
| 618 | /*background-color: rgba(127,127,127,0.5); |
| 619 | cursor: pointer;*/ |
| 620 | } |
| 621 | tr.diffskip > td.chunkctrl { |
| 622 | text-align: left; |
| 623 | } |
| 624 | tr.diffskip > td.chunkctrl > div { |
| 625 | display: flex; |
| 626 | align-items: center; |
| 627 | } |
| @@ -1294,11 +1293,10 @@ | |
| 1293 | .flex-container.child-gap-small > * { |
| 1294 | margin: 0.25em; |
| 1295 | } |
| 1296 | #fossil-status-bar { |
| 1297 | display: block; |
| 1298 | border-width: 1px; |
| 1299 | border-style: inset; |
| 1300 | border-color: inherit; |
| 1301 | min-height: 1.5em; |
| 1302 | font-size: 1.2em; |
| @@ -1385,11 +1383,10 @@ | |
| 1383 | table-layout: fixed /* required to keep ultra-wide code from exceeding |
| 1384 | window width, and instead force a scrollbar |
| 1385 | on them. */; |
| 1386 | } |
| 1387 | table.numbered-lines > tbody > tr { |
| 1388 | line-height: 1.35; |
| 1389 | white-space: pre; |
| 1390 | } |
| 1391 | table.numbered-lines > tbody > tr > td { |
| 1392 | font-family: inherit; |
| @@ -1761,12 +1758,23 @@ | |
| 1758 | } |
| 1759 | body.branch .submenu > a.timeline-link.selected { |
| 1760 | display: inline; |
| 1761 | } |
| 1762 | |
| 1763 | /* Candidate fonts for various forms of monospaced text. Collected here |
| 1764 | * to avoid repeating this long list of fonts. */ |
| 1765 | code, pre, tt, |
| 1766 | div.markdown ol.footnotes > li.fn-joined > sup.fn-joined, |
| 1767 | table.numbered-lines > tbody > tr, |
| 1768 | tr.diffskip > td.chunkctrl, |
| 1769 | #fossil-status-bar, |
| 1770 | .monospace { |
| 1771 | font-family: Source Code Pro, Menlo, Monaco, |
| 1772 | Andale Mono, Ubuntu Mono, Deja Vu Sans Mono, |
| 1773 | Letter Gothic, Letter Gothic Std, Prestige Elite Std, |
| 1774 | Courier, Courier New, |
| 1775 | monospace; |
| 1776 | } |
| 1777 | |
| 1778 | div.markdown > ol.footnotes { |
| 1779 | font-size: 90%; |
| 1780 | } |
| @@ -1773,11 +1781,10 @@ | |
| 1781 | div.markdown > ol.footnotes > li { |
| 1782 | margin-bottom: 0.5em; |
| 1783 | } |
| 1784 | div.markdown ol.footnotes > li.fn-joined > sup.fn-joined { |
| 1785 | color: gray; |
| 1786 | } |
| 1787 | div.markdown ol.footnotes > li.fn-joined > sup.fn-joined::after { |
| 1788 | content: "(joined from multiple locations) "; |
| 1789 | } |
| 1790 | div.markdown ol.footnotes > li.fn-misreference { |
| 1791 |