diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-01-13 08:47:19 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-01-13 08:47:19 -0800 |
| commit | 8a1030078537ce2d55fa6208497884828473c67e (patch) | |
| tree | 73b0fb55353e71692cb5886abcc9d3c99f631b9f | |
| parent | 4db5b05abc4f1509f17f029017016b48cebd2f1f (diff) | |
HTML style template: put Consolas before Lucida Console for code font.
This is to prevent Lucida Console from being used on Windows, where
there seems to be a spacing issue in some applications, with boldface
glyphs wider than regular ones.
Closes #8543.
| -rw-r--r-- | data/templates/styles.html | 2 | ||||
| -rw-r--r-- | test/lhs-test.html | 2 | ||||
| -rw-r--r-- | test/lhs-test.html+lhs | 2 | ||||
| -rw-r--r-- | test/writer.html4 | 2 | ||||
| -rw-r--r-- | test/writer.html5 | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/data/templates/styles.html b/data/templates/styles.html index 74182d180..5e70a7bb3 100644 --- a/data/templates/styles.html +++ b/data/templates/styles.html @@ -99,7 +99,7 @@ div.abstract-title { } $endif$ code { - font-family: $if(monofont)$$monofont$$else$Menlo, Monaco, 'Lucida Console', Consolas, monospace$endif$; + font-family: $if(monofont)$$monofont$$else$Menlo, Monaco, Consolas, 'Lucida Console', monospace$endif$; $if(monobackgroundcolor)$ background-color: $monobackgroundcolor$; padding: .2em .4em; diff --git a/test/lhs-test.html b/test/lhs-test.html index 98e9f9beb..086c1bcae 100644 --- a/test/lhs-test.html +++ b/test/lhs-test.html @@ -84,7 +84,7 @@ color: #606060; } code { - font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace; + font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace; font-size: 85%; margin: 0; hyphens: manual; diff --git a/test/lhs-test.html+lhs b/test/lhs-test.html+lhs index 9ebcf0020..050fa75f8 100644 --- a/test/lhs-test.html+lhs +++ b/test/lhs-test.html+lhs @@ -84,7 +84,7 @@ color: #606060; } code { - font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace; + font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace; font-size: 85%; margin: 0; hyphens: manual; diff --git a/test/writer.html4 b/test/writer.html4 index 2afc3c5a5..e2c6cb3a7 100644 --- a/test/writer.html4 +++ b/test/writer.html4 @@ -87,7 +87,7 @@ color: #606060; } code { - font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace; + font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace; font-size: 85%; margin: 0; hyphens: manual; diff --git a/test/writer.html5 b/test/writer.html5 index 453d994d6..3ca41b0e1 100644 --- a/test/writer.html5 +++ b/test/writer.html5 @@ -87,7 +87,7 @@ color: #606060; } code { - font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace; + font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace; font-size: 85%; margin: 0; hyphens: manual; |