diff options
Diffstat (limited to 'Master/texmf-dist/tex4ht/ht-fonts/alias/pl')
18 files changed, 51 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plb.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plb.htf new file mode 100644 index 00000000000..8d9e349b7f4 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plb.htf @@ -0,0 +1,4 @@ +.plr +htfcss: plb font-weight: bold; +htfcss: plbx font-weight: bold; + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plbxsl.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plbxsl.htf new file mode 100644 index 00000000000..b89892e5681 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plbxsl.htf @@ -0,0 +1,3 @@ +.plr +htfcss: plbxsl font-style: oblique; font-weight: bold; + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plbxti.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plbxti.htf new file mode 100644 index 00000000000..4f6a9e32c60 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plbxti.htf @@ -0,0 +1,3 @@ +.plr +htfcss: plbxti font-weight: bold; font-style: italic; + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plcsc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plcsc.htf new file mode 100644 index 00000000000..a0f7c1bd313 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plcsc.htf @@ -0,0 +1,2 @@ +.pltcsc + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/pldunh.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/pldunh.htf new file mode 100644 index 00000000000..52ee161d6e1 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/pldunh.htf @@ -0,0 +1,2 @@ +.plr + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plex.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plex.htf new file mode 100644 index 00000000000..e4c2dfb6c80 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plex.htf @@ -0,0 +1,2 @@ +.cmex + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plff.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plff.htf new file mode 100644 index 00000000000..245f734da9b --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plff.htf @@ -0,0 +1,3 @@ +.plr +htfcss: plff font-family:cursive + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plfi.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plfi.htf new file mode 100644 index 00000000000..3175eb8548c --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plfi.htf @@ -0,0 +1,4 @@ +.plr +htfcss: plfi font-family:cursive +htfcss: plfib font-weight: bold; font-family:cursive + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plitt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plitt.htf new file mode 100644 index 00000000000..3a177682058 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plitt.htf @@ -0,0 +1,3 @@ +.pltt +htfcss: plitt font-style: italic; font-family: monospace; + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plmi.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plmi.htf new file mode 100644 index 00000000000..fc37edfdfc3 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plmi.htf @@ -0,0 +1,4 @@ +.cmmi +htfcss: plmi font-style: italic; +htfcss: plmib font-style: italic; font-weight: bold; + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plr.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plr.htf new file mode 100755 index 00000000000..82ec4fc6797 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plr.htf @@ -0,0 +1 @@ +.lm-rep-plrm diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsl.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsl.htf new file mode 100644 index 00000000000..32cd41041c3 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsl.htf @@ -0,0 +1,3 @@ +.plr +htfcss: plsl font-style: oblique + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsltt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsltt.htf new file mode 100644 index 00000000000..780a1808439 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsltt.htf @@ -0,0 +1,3 @@ +.pltt +htfcss: plsltt font-family: monospace; font-style: oblique; + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsy.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsy.htf new file mode 100644 index 00000000000..5d319bd2da6 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plsy.htf @@ -0,0 +1,2 @@ +.plbsy + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plti.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plti.htf new file mode 100644 index 00000000000..c69617a9e88 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plti.htf @@ -0,0 +1,3 @@ +.plr +htfcss: plti font-style: italic; + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/pltt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/pltt.htf new file mode 100755 index 00000000000..c9d86f35636 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/pltt.htf @@ -0,0 +1,3 @@ +.lm-rep-pltt +htfcss: pltt font-family: monospace; + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plu.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plu.htf new file mode 100644 index 00000000000..6360816dd14 --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plu.htf @@ -0,0 +1,3 @@ +.plr +htfcss: plu font-style: oblique; font-style:italic; + diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plvtt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plvtt.htf new file mode 100644 index 00000000000..fc6933fd37e --- /dev/null +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/pl/plvtt.htf @@ -0,0 +1,3 @@ +.plr +htfcss: plvtt font-family: monospace; + |