htfonts monospace fixes from 2019-12-13, missed

git-svn-id: svn://tug.org/texlive/trunk@53540 c570f23f-e606-0410-a88d-b1316a301751

9 files changed, 16 insertions, 16 deletions

diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1x.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1x.htf
index 86ba3366795..1fd8490b134 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1x.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1x.htf
@@ -1,11 +1,11 @@
 .lm-ec
 htfcss: t1xi font-style: italic;
 htfcss: t1xss font-family: sans-serif;
-htfcss: t1xtt font-family: monospace;
+htfcss: t1xtt font-family: monospace,monospace;
 htfcss: t1xb font-weight: bold;
 htfcss: t1xbi font-weight: bold;
 htfcss: t1xbss font-weight: bold; font-family: sans-serif;
-htfcss: t1xbtt font-weight: bold; font-family: monospace;
+htfcss: t1xbtt font-weight: bold; font-family: monospace,monospace;
 htfcss: t1xbsl font-weight: bold; font-style: italic;
 htfcss: t1xbsssl font-weight: bold; font-family: sans-serif; font-style: italic;
 htfcss: t1xbttsl font-weight: bold; font-style: italic;
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1xbttsc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1xbttsc.htf
index 2f5333afbf2..636b6ba43a8 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1xbttsc.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1xbttsc.htf
@@ -1,3 +1,3 @@
 .t1xsc
-htfcss: t1xbttsc font-family: monospace; font-weight: bold;
+htfcss: t1xbttsc font-family: monospace,monospace; font-weight: bold;
 
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1xttsc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1xttsc.htf
index 36e36fe41eb..9444b5b728e 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1xttsc.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1xttsc.htf
@@ -1,3 +1,3 @@
 .t1xsc
-htfcss: t1xttsc font-family: monospace;
+htfcss: t1xttsc font-family: monospace,monospace;
 
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxtt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxtt.htf
index a92f7d62936..a43122a8598 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxtt.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxtt.htf
@@ -1,3 +1,3 @@
 .tcxb
-htfcss: tcxtt font-family:monospace;
+htfcss: tcxtt font-family:monospace,monospace;
 
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxttsl.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxttsl.htf
index 3d9949c6d99..1c42361d7be 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxttsl.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxttsl.htf
@@ -1,3 +1,3 @@
 .tcxb
-htfcss: tcxttsl font-style:italic; font-family:monospace;
+htfcss: tcxttsl font-style:italic; font-family:monospace,monospace;
 
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txbtt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txbtt.htf
index ca1af2f4499..62b0b9b7fa8 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txbtt.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txbtt.htf
@@ -1,8 +1,8 @@
 .txtt
-htfcss: txbtt font-weight: bold; font-family: monospace;
+htfcss: txbtt font-weight: bold; font-family: monospace,monospace;
 htfcss: txbttsl font-weight: bold; font-style: italic;
 .vn
-htfcss: txbtt8v  font-weight: bold;  font-family: monospace;
-htfcss: txbttsc8v  font-weight: bold;  font-family: monospace;
-htfcss: txbttsl8v  font-weight: bold;  font-style: italic;  font-family: monospace;
+htfcss: txbtt8v  font-weight: bold;  font-family: monospace,monospace;
+htfcss: txbttsc8v  font-weight: bold;  font-family: monospace,monospace;
+htfcss: txbttsl8v  font-weight: bold;  font-style: italic;  font-family: monospace,monospace;
 
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txbttsc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txbttsc.htf
index 934c5bb7474..6f8a351f9d9 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txbttsc.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txbttsc.htf
@@ -1,3 +1,3 @@
 .txsc
-htfcss: txbttsc font-family: monospace; font-weight: bold;
+htfcss: txbttsc font-family: monospace,monospace; font-weight: bold;
 
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txttsc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txttsc.htf
index edb7591692f..ee649213a50 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txttsc.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txttsc.htf
@@ -1,3 +1,3 @@
 .txsc
-htfcss: txttsc font-family: monospace;
+htfcss: txttsc font-family: monospace,monospace;
 
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyx.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyx.htf
index cb21d8f10d9..0d9f31fec13 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyx.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyx.htf
@@ -4,11 +4,11 @@ htfcss: tyxbi font-weight:bold;
 htfcss: tyxbsl font-weight:bold; font-style:italic;
 htfcss: tyxbss font-weight:bold;
 htfcss: tyxbsssl font-weight:bold; font-style:italic;
-htfcss: tyxbtt font-weight:bold;  font-family:monospace;
-htfcss: tyxbttsl font-weight:bold; font-family:monospace; font-style:italic;
+htfcss: tyxbtt font-weight:bold;  font-family:monospace,monospace;
+htfcss: tyxbttsl font-weight:bold; font-family:monospace,monospace; font-style:italic;
 htfcss: tyxi font-style:italic;
 htfcss: tyxsl font-style:italic;
 htfcss: tyxsssl font-style:italic;
-htfcss: tyxtt  font-family:monospace;
-htfcss: tyxttsl font-family:monospace; font-style:italic;
+htfcss: tyxtt  font-family:monospace,monospace;
+htfcss: tyxttsl font-family:monospace,monospace; font-style:italic;