Change font for comments

[HansOlsson]

comments seemed to be fixed-width where letters weren't designed for that.

[HansOlsson]

Before:

After:

Especially the text illegal (as well as literal in other places) just looks weird with the previous font.

[henrikt-ma]

Put the following after the definition of \smallifpdf in preamble.tex:

% Comments in listings looks better and more distinct from the actual code if set in a variable-width sans-serif font.
% Unfortunately, the LaTeXML implementation of listings.sty is aligning the variable-width characters on a fixed-width
% grid, which doesn't look nice at all.  Hence, we make a different choice of font depending on the target format.
\ifpdf
\let\sffamilyifpdf\sffamily
\else
\let\sffamilyifpdf\relax
\fi

Then use instead removing the \sffamily in mlsshared.sty.

[HansOlsson]

Put the following after the definition of \smallifpdf in preamble.tex:

% Comments in listings looks better and more distinct from the actual code if set in a variable-width sans-serif font.
% Unfortunately, the LaTeXML implementation of listings.sty is aligning the variable-width characters on a fixed-width
% grid, which doesn't look nice at all.  Hence, we make a different choice of font depending on the target format.
\ifpdf
\let\sffamilyifpdf\sffamily
\else
\let\sffamilyifpdf\relax
\fi

Then use instead removing the \sffamily in mlsshared.sty.

Will do, except it's the other way round.

[HansOlsson]

Changes:

• Pdf-generation no longer changes font to sans-serif for comments, since the sans-serif font is designed to be variable-width but would be type-set as fixed-width which looks odd.
• HTML-generation is not changed, the sans-serif for comments are kept and are variable-width.