[tex4ht-commits] [SCM] tex4ht updated: r751 - trunk/lit

[michal_h21 at gnu.org.ua]

Author: michal_h21
Date: 2020-06-30 15:22:51 +0300 (Tue, 30 Jun 2020)
New Revision: 751

Modified:
   trunk/lit/ChangeLog
   trunk/lit/tex4ht-html4.tex
Log:
use monospaced font for alltt and fancyvrb

Modified: trunk/lit/ChangeLog
===================================================================
--- trunk/lit/ChangeLog	2020-06-30 10:45:37 UTC (rev 750)
+++ trunk/lit/ChangeLog	2020-06-30 12:22:51 UTC (rev 751)
@@ -3,6 +3,9 @@
 	* tex4ht-html4.tex (html4.4ht): don't override HTML charset when it is
 	already set.
 	https://puszcza.gnu.org.ua/bugs/index.php?432
+	* tex4ht-html4.tex (html4.4ht): use monospaced font for fancyvrb and alltt
+	environments.
+	https://puszcza.gnu.org.ua/bugs/?211
 
 2020-06-29  Ulrich M\"uller  <karl at freefriends.org>
 

Modified: trunk/lit/tex4ht-html4.tex
===================================================================
--- trunk/lit/tex4ht-html4.tex	2020-06-30 10:45:37 UTC (rev 750)
+++ trunk/lit/tex4ht-html4.tex	2020-06-30 12:22:51 UTC (rev 751)
@@ -15044,9 +15044,9 @@
    {\EndP\HCode{</div>}}
    {\gHAdvance\fancyvrb:cnt by 1
     \ifnum \fancyvrb:cnt>1 
-    \HCode{<br class="fancyvrb" />}\fi} {}
+    \HCode{<br class="fancyvrb" />\Hnewline}\fi} {}
    {}{}
-\Css{P.fancyvrb {white-space: nowrap; margin:0em;}}
+\Css{div.fancyvrb {white-space: nowrap; margin:0em;font-family:monospace,monospace;}}
 >>>
 
 
@@ -18429,7 +18429,7 @@
    {\IgnorePar\EndP\HCode{<div class="alltt">}}
    {\IgnorePar\EndP\HCode{</div>}} {}{}
 \Css{.alltt P { margin-bottom : 0em; margin-top : 0em; }}
-\Css{.alltt { margin-bottom : 1em; margin-top : 1em; }}
+\Css{.alltt { margin-bottom : 1em; margin-top : 1em; font-family:monospace,monospace; }}
 >>>
 
 %%%%%%%%%%%%%%%%%%%