Tagged Questions
9
votes
1answer
514 views
Why \leaders and \mkern works strangely in different font size?
I can hardly determine a good title for this question, I'm sorry.
Minimal test code:
\documentclass{minimal}
\usepackage{lipsum}
\begin{document}
foo
{\fontsize{18}{18}\leaders\hbox{$\mkern ...
