summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex4ht
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-05-09 21:45:08 +0000
committerKarl Berry <karl@freefriends.org>2022-05-09 21:45:08 +0000
commit2d1b15b18b16d032d57afe4a1b7e2dad8e7a5108 (patch)
tree98c668df579492f1f3601bf779a00da5a75d900b /Master/texmf-dist/tex4ht
parentc246866ea7f7a7e9fee72f193efde862e9fc823c (diff)
ML modern support, tex4ht r1132
git-svn-id: svn://tug.org/texlive/trunk@63272 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex4ht')
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmbsy.htf3
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmex.htf2
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmmi.htf3
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmsy.htf2
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/rm-mlm.htf19
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/rm-mlmvt.htf8
6 files changed, 37 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmbsy.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmbsy.htf
new file mode 100644
index 00000000000..930b4c89173
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmbsy.htf
@@ -0,0 +1,3 @@
+.plbsy
+htfcss: mlmbsy font-weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmex.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmex.htf
new file mode 100644
index 00000000000..e4c2dfb6c80
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmex.htf
@@ -0,0 +1,2 @@
+.cmex
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmmi.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmmi.htf
new file mode 100644
index 00000000000..5621cb36f44
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmmi.htf
@@ -0,0 +1,3 @@
+.cmmi
+htfcss: mlmmib font_weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmsy.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmsy.htf
new file mode 100644
index 00000000000..5d319bd2da6
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/mlmsy.htf
@@ -0,0 +1,2 @@
+.plbsy
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/rm-mlm.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/rm-mlm.htf
new file mode 100644
index 00000000000..9bf2fbea912
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/rm-mlm.htf
@@ -0,0 +1,19 @@
+.lm-ec
+htfcss: rm-mlmbo font-style: oblique;
+htfcss: rm-mlmbx font-weight: bold;
+htfcss: rm-mlmbxi font-style:italic; font-weight: bold;
+htfcss: rm-mlmbxo font-style: oblique; font-weight: bold;
+htfcss: rm-mlmri font-style:italic;
+htfcss: rm-mlmro font-style: oblique;
+htfcss: rm-mlmss font-family: sans-serif;
+htfcss: rm-mlmssbo font-family: sans-serif; font-style: oblique; font-weight: bold;
+htfcss: rm-mlmssbx font-family: sans-serif; font-weight: bold;
+htfcss: rm-mlmssdc font-family: sans-serif;
+htfcss: rm-mlmssdo font-family: sans-serif; font-style: oblique;
+htfcss: rm-mlmsso font-family: sans-serif; font-style: oblique;
+htfcss: rm-mlmssq font-family: sans-serif;
+htfcss: rm-mlmssqbo font-family: sans-serif; font-style: oblique; font-weight: bold;
+htfcss: rm-mlmssqbx font-family: sans-serif; font-weight: bold;
+htfcss: rm-mlmssqo font-family: sans-serif; font-style: oblique;
+htfcss: rm-mlmcsc font-variant: small-caps;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/rm-mlmvt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/rm-mlmvt.htf
new file mode 100644
index 00000000000..651019fc230
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/mlm/rm-mlmvt.htf
@@ -0,0 +1,8 @@
+.lm-ec
+htfcss: rm-mlmvtk font-family: monospace,monospace;
+htfcss: rm-mlmvtko font-style: oblique; font-family: monospace,monospace;
+htfcss: rm-mlmvtl font-weight: light; font-family: monospace,monospace;
+htfcss: rm-mlmvtlo font-weight: light; font-style: oblique; font-family: monospace,monospace;
+htfcss: rm-mlmvtt font-family: monospace,monospace;
+htfcss: rm-mlmvtto font-style: oblique; font-family: monospace,monospace;
+