diff options
author | Wulian233 <1055917385@qq.com> | 2025-03-14 18:45:33 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-03-14 10:45:33 +0000 |
commit | 7fd61607cd28ec466717c78adfb1eb5b63add1f0 (patch) | |
tree | 11ab016f02011aae9aec8e7e88c5dd1845049b30 /Lib/difflib.py | |
parent | 3d797e49c863c26d4d754e970ce6351465a7f50f (diff) | |
download | cpython-7fd61607cd28ec466717c78adfb1eb5b63add1f0.tar.gz cpython-7fd61607cd28ec466717c78adfb1eb5b63add1f0.zip |
gh-131204: Fix `difflib.HtmlDiff` may not use monospaced font (#131221)
Co-authored-by: blurb-it[bot] <43283697+blurb-it[bot]@users.noreply.github.com>
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Diffstat (limited to 'Lib/difflib.py')
-rw-r--r-- | Lib/difflib.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Lib/difflib.py b/Lib/difflib.py index bc09aa128aa..4bba9e7ea5c 100644 --- a/Lib/difflib.py +++ b/Lib/difflib.py @@ -1633,7 +1633,7 @@ _file_template = """ _styles = """ :root {color-scheme: light dark} - table.diff {font-family:Courier; border:medium;} + table.diff {font-family: Menlo, Consolas, Monaco, Liberation Mono, Lucida Console, monospace; border:medium} .diff_header {background-color:#e0e0e0} td.diff_header {text-align:right} .diff_next {background-color:#c0c0c0} |