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 /data/templates | |
| 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.
Diffstat (limited to 'data/templates')
| -rw-r--r-- | data/templates/styles.html | 2 |
1 files changed, 1 insertions, 1 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; |