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