summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-09-17 22:53:36 +0000
committerKarl Berry <karl@freefriends.org>2021-09-17 22:53:36 +0000
commit9ef193b3c64071aa07d8ef5df74e08c0e910cb90 (patch)
treee8fd8af3b78f20637b032200812b605b446f114d /Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex
parent7210b839ac193714ca7af5b9ec8390955092109a (diff)
floating listings, tex4ht r982; listings support for odt, tex4ht r983
git-svn-id: svn://tug.org/texlive/trunk@60530 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex')
-rw-r--r--Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex10
1 files changed, 6 insertions, 4 deletions
diff --git a/Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex b/Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex
index 0108f2d289d..5dfb67b428f 100644
--- a/Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex
+++ b/Master/texmf-dist/source/generic/tex4ht/tex4ht-html4.tex
@@ -1,4 +1,4 @@
-% $Id: tex4ht-html4.tex 978 2021-09-12 21:26:18Z michal_h21 $
+% $Id: tex4ht-html4.tex 982 2021-09-17 12:20:37Z michal_h21 $
% Compile 4 times: latex tex4ht-html4
% Copy html4.4ht into the work directory before all but the last compilation.
%
@@ -15254,15 +15254,17 @@ Configuration for the inline code
\gdef\start:LstLn{%
\HCode{<div class="lstlisting" id="listing-\listingN">}%
\gdef\start:LstLn{|<nbsp|>\HCode{<br />\Hnewline}}}
- \bgroup
+ \bgroup%
+ % we put the closing </div> here in order to support floating listings
+ % https://tex.stackexchange.com/a/615703/2891
+ \pend:def\lst@DeInit{\ifvmode\IgnorePar\fi\EndP\HCode{</div>}}%
\Configure{listings}
{{\everypar{}\leavevmode}}
{{\everypar{}\leavevmode}}
{\start:LstLn \HCode{<span class="label">}}
{\HCode{</span>}}%
}
- {\egroup
- \ifvmode \IgnorePar\fi \EndP \HCode{</div>}\par}
+ {\egroup\par}
{} {}
\Css{.lstlisting .label{margin-right:0.5em; }}
\Css{div.lstlisting{font-family: monospace,monospace; white-space: nowrap;