[tex4ht] [bug #325] tex4ht ignores font size on \verb when adding \usepackage[T1]{fontenc}

[Nasser M. Abbasi]

URL:
  <http://puszcza.gnu.org.ua/bugs/?325>

                 Summary: tex4ht ignores font size on \verb when adding
\usepackage[T1]{fontenc}
                 Project: tex4ht
            Submitted by: nma123
            Submitted on: Wed 06 Jul 2016 03:49:43 PM EEST
                Category: None
                Priority: 5 - Normal
                Severity: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

After few hrs of debugging I found out why tex4ht was ignoring the font size
on a \verb.  

It turns out that adding \usepackage[T1]{fontenc} causes this.

Posted question on this here

http://tex.stackexchange.com/questions/318232/why-tex4ht-do-not-change-font-size-of-verb-when-including-usepackaget1font/318248#318248


MWE

\documentclass[11pt]{article}
\usepackage{ifluatex}
\ifluatex
  \IfFileExists{luatex85.sty}{\usepackage{luatex85}}{}
  \ifdefined\HCode
  \usepackage[utf8]{luainputenc}
  \usepackage[T1]{fontenc}
  \else
  \usepackage{fontspec}
  \fi
\else%assume pdflatex, I only use these two 
  \usepackage[utf8]{inputenc}
  \usepackage[T1]{fontenc}
\fi 

\begin{document}        
\ifluatex
  compiled with lualatex
\else
  compiled with pdflatex
\fi 

{\tiny \verb|IllustratingTheUseOfDiscreteDistributions|}

{\tiny IllustratingTheUseOfDiscreteDistributions}    
\end{document}

Compiling using make4ht foo.tex and looking at the HTML shows that the font
size of the \verb did not change.

Removing \usepackage[T1]{fontenc} now the font size is correct.

TL 2016







    _______________________________________________________

Reply to this item at:

  <http://puszcza.gnu.org.ua/bugs/?325>

_______________________________________________
  Message sent via/by Puszcza
  http://puszcza.gnu.org.ua/