diff options
-rw-r--r-- | Master/texmf-dist/tex/generic/tex4ht/html4.4ht | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/tex/generic/tex4ht/html4.4ht b/Master/texmf-dist/tex/generic/tex4ht/html4.4ht index de20bd1e8b2..4708be8599d 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 (2019-10-24-10:36), generated from tex4ht-html4.tex +% html4.4ht (2019-11-06-14:31), generated from tex4ht-html4.tex % Copyright 2009-2019 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 2019-10-24-10:36} +\immediate\write-1{version 2019-11-06-14:31} \exit:ifnot{8859-6,% CJK,% @@ -39766,7 +39766,7 @@ y{\ht:special{t4ht@+\string&{35}x00FD{59}}y}% \get:xcolorcss{\mdf@backgroundcolor}\mdf:bgcolor \get:xcolorcss{\mdf@linecolor}\mdf:bordercolor \get:xcolorcss{\mdf@fontcolor}\mdf:fontcolor - \def\mdf:border{\ifx\mdfl@linewidth\relax 1px\else\mdfl@linewidth\fi\space solid \mdf:bordercolor} + \def\mdf:border{\ifdefined\mdfl@linewidth\mdfl@linewidth\else 1px\fi\space solid \mdf:bordercolor} \Css{\#\mdf:id{border:\mdf:border; background-color: \mdf:bgcolor; color:\mdf:fontcolor;}} \global\let\mdfl@linewidth\relax } |