diff options
Diffstat (limited to 'Master/texmf-dist/tex4ht/ht-fonts/alias/t1fonts/DejaVuSansMono-Bold-tlf-t1.htf')
| -rw-r--r-- | Master/texmf-dist/tex4ht/ht-fonts/alias/t1fonts/DejaVuSansMono-Bold-tlf-t1.htf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/t1fonts/DejaVuSansMono-Bold-tlf-t1.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/t1fonts/DejaVuSansMono-Bold-tlf-t1.htf index 4efffadc70e..be6cd86bb7d 100644 --- a/Master/texmf-dist/tex4ht/ht-fonts/alias/t1fonts/DejaVuSansMono-Bold-tlf-t1.htf +++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/t1fonts/DejaVuSansMono-Bold-tlf-t1.htf @@ -1,3 +1,3 @@ .lm-ec -htfcss: DejaVuSansMono-Bold-tlf-t1 font-weight: bold; font-name: 'Deja Vu Sans Mono', monospace +htfcss: DejaVuSansMono-Bold-tlf-t1 font-weight: bold; font-name: 'Deja Vu Sans Mono', monospace,monospace; |