texlive[69116] Master/texmf-dist: <code> for \verb, tex4ht r1423

[commits+karl at tug.org]

Revision: 69116
          https://tug.org/svn/texlive?view=revision&revision=69116
Author:   karl
Date:     2023-12-13 22:49:16 +0100 (Wed, 13 Dec 2023)
Log Message:
-----------
<code> for \verb, tex4ht r1423

Revision Links:
--------------
    https://tug.org/svn/texlive?view=revision&revision=1423

Modified Paths:
--------------
    trunk/Master/texmf-dist/source/generic/tex4ht/ChangeLog
    trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex
    trunk/Master/texmf-dist/tex/generic/tex4ht/html4.4ht

Modified: trunk/Master/texmf-dist/source/generic/tex4ht/ChangeLog
===================================================================
--- trunk/Master/texmf-dist/source/generic/tex4ht/ChangeLog	2023-12-13 21:23:27 UTC (rev 69115)
+++ trunk/Master/texmf-dist/source/generic/tex4ht/ChangeLog	2023-12-13 21:49:16 UTC (rev 69116)
@@ -1,3 +1,8 @@
+2023-12-13  Michal Hoftich  <michal.h21 at gmail.com>
+
+	* tex4ht-html4.tex (html4.4ht): use <code> elements for \verb, also
+	disabled using of ht-fonts in this context.
+
 2023-12-12  Michal Hoftich  <michal.h21 at gmail.com>
 
 	* tex4ht-html4.tex (html4.4ht): close paragraph before end of \fbox.

Modified: trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex
===================================================================
--- trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex	2023-12-13 21:23:27 UTC (rev 69115)
+++ trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex	2023-12-13 21:49:16 UTC (rev 69116)
@@ -1,4 +1,4 @@
-% $Id: tex4ht-html4.tex 1422 2023-12-12 16:44:24Z michal_h21 $
+% $Id: tex4ht-html4.tex 1423 2023-12-13 13:20:15Z michal_h21 $
 % Compile 4 times: latex tex4ht-html4
 % Copy html4.4ht into the work directory before all but the last compilation.
 %
@@ -7473,8 +7473,9 @@
    {\HCode{}}
    {\a:sp}
 \Configure{verb}
-   {\HCode{<span class="verb"\a:LRdir>}}
-   {\HCode{</span>}}
+   {\HCode{<code class="verb"\a:LRdir>}\NoFonts}
+   {\EndNoFonts\HCode{</code>}}
+\Css{code.verb{font-family:monospace,monospace;}}
 >>>
 
 

Modified: trunk/Master/texmf-dist/tex/generic/tex4ht/html4.4ht
===================================================================
--- trunk/Master/texmf-dist/tex/generic/tex4ht/html4.4ht	2023-12-13 21:23:27 UTC (rev 69115)
+++ trunk/Master/texmf-dist/tex/generic/tex4ht/html4.4ht	2023-12-13 21:49:16 UTC (rev 69116)
@@ -1,4 +1,4 @@
-% html4.4ht (2023-12-12-13:41), generated from tex4ht-html4.tex
+% html4.4ht (2023-12-13-13:36), generated from tex4ht-html4.tex
 % Copyright 2009-2023 TeX Users Group
 % Copyright 1997-2009 Eitan M. Gurari
 %
@@ -17,7 +17,7 @@
 %
 % If you modify this program, changing the
 % version identification would be appreciated.
-\immediate\write-1{version 2023-12-12-13:41}
+\immediate\write-1{version 2023-12-13-13:36}
 
 \exit:ifnot{8859-6,% 
 CJK,% 
@@ -2947,8 +2947,9 @@
    {\HCode{}}
    {\a:sp}
 \Configure{verb}
-   {\HCode{<span class="verb"\a:LRdir>}}
-   {\HCode{</span>}}
+   {\HCode{<code class="verb"\a:LRdir>}\NoFonts}
+   {\EndNoFonts\HCode{</code>}}
+\Css{code.verb{font-family:monospace,monospace;}}
 \Configure{centercr}{\ht:special{t4ht=<br />}}
    {\ht:everypar{\ht:everypar{\HtmlPar}}}
 \:CheckOption{no-array}\if:Option \else