diff options
author | Karl Berry <karl@freefriends.org> | 2020-01-24 22:45:45 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-01-24 22:45:45 +0000 |
commit | 900bd61c568606d5432e11e3aa201d430621addb (patch) | |
tree | 6596040705ed6456ce4950424a69158968697e60 /Master/texmf-dist/tex4ht/ht-fonts/alias/pl | |
parent | efc9d0969bbe93ad8522cdeb6e6e50e0d7f27df3 (diff) |
htfonts monospace fixes from 2019-12-13, missed
git-svn-id: svn://tug.org/texlive/trunk@53540 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex4ht/ht-fonts/alias/pl')
4 files changed, 4 insertions, 4 deletions
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plitt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plitt.htf index 3a177682058..c95b67bd83f 100644 --- a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plitt.htf +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plitt.htf @@ -1,3 +1,3 @@ .pltt -htfcss: plitt font-style: italic; font-family: monospace; +htfcss: plitt font-style: italic; font-family: monospace,monospace; diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsltt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsltt.htf index 780a1808439..c8e3c24002c 100644 --- a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsltt.htf +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsltt.htf @@ -1,3 +1,3 @@ .pltt -htfcss: plsltt font-family: monospace; font-style: oblique; +htfcss: plsltt font-family: monospace,monospace; font-style: oblique; diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/pltt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/pltt.htf index c9d86f35636..deec58072ac 100644 --- a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/pltt.htf +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/pltt.htf @@ -1,3 +1,3 @@ .lm-rep-pltt -htfcss: pltt font-family: monospace; +htfcss: pltt font-family: monospace,monospace; diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plvtt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plvtt.htf index fc6933fd37e..a76fdecacd5 100644 --- a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plvtt.htf +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plvtt.htf @@ -1,3 +1,3 @@ .plr -htfcss: plvtt font-family: monospace; +htfcss: plvtt font-family: monospace,monospace; |