Fossil

Check-in [2126566e94]
Login

Check-in [2126566e94]

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

Overview
Comment:Double-quoted the list of monospaced font family names to conform to [https://developer.mozilla.org/en-US/docs/Web/CSS/font-family#valid_family_names | CSS rules for this]. That browsers tolerated spaces in unquoted names is not something we should count on.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 2126566e942aee506966034385c0786b502c26e9ee4b2461873ef3f89573f3ea
User & Date: wyoung 2024-09-02 17:26:27.577
Context
2024-09-02
22:20
Update the built-in SQLite to the latest trunk, just so we can stay on the bleeding edge. ... (check-in: ff931032bd user: drh tags: trunk)
17:26
Double-quoted the list of monospaced font family names to conform to [https://developer.mozilla.org/en-US/docs/Web/CSS/font-family#valid_family_names | CSS rules for this]. That browsers tolerated spaces in unquoted names is not something we should count on. ... (check-in: 2126566e94 user: wyoung tags: trunk)
2024-08-31
17:30
Revert the temporary fix [9866c97b35] as the underlying problem has been resolved in SQLite. ... (check-in: ecaeb31f51 user: florian tags: trunk)
Changes
Unified Diff Ignore Whitespace Patch
Changes to src/default.css.
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
 * to avoid repeating this long list of fonts. */
code, kbd, pre, samp, tt, var,
    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, Consolas,
               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 {







|
|
|
|







1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
 * to avoid repeating this long list of fonts. */
code, kbd, pre, samp, tt, var,
    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", "Consolas",
               "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 {