diff options
author | Karl Berry <karl@freefriends.org> | 2023-12-13 21:49:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2023-12-13 21:49:16 +0000 |
commit | 912171b7496cba2cfa833f334a83295376e8534f (patch) | |
tree | 6019ffff39a3bf52d221e4faa8b0fe423b30ca66 /Master/texmf-dist/tex | |
parent | 908fb8e77d0e2aa7e34f7391b303b1be208d96fb (diff) |
<code> for \verb, tex4ht r1423
git-svn-id: svn://tug.org/texlive/trunk@69116 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex')
-rw-r--r-- | Master/texmf-dist/tex/generic/tex4ht/html4.4ht | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Master/texmf-dist/tex/generic/tex4ht/html4.4ht b/Master/texmf-dist/tex/generic/tex4ht/html4.4ht index fcfc5926f01..e740963d6b0 100644 --- a/Master/texmf-dist/tex/generic/tex4ht/html4.4ht +++ b/Master/texmf-dist/tex/generic/tex4ht/html4.4ht @@ -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 @@ j{01F0}H{021E}h{021F}\i{01D0}\j{01F0}% {\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 |