Lines Matching full:leaders
4684 % \entry typesets a paragraph consisting of the text (#1), dot leaders, and
4716 % lines. So we use a small indentation and put up with long leaders.
4753 % fill leaders glue in \indexdotfill if the page number does fit.)
4755 \null\nobreak\indexdotfill % Have leaders before the page number.
6028 \ctl\leaders\hrule height\circthick\hfil\ctr
6031 \cbl\leaders\hrule height\circthick\hfil\cbr
