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