Lines Matching refs:examples
2007 % Fonts for indices, footnotes, small examples (9pt).
2021 % Fonts for small examples (8pt).
2138 % Fonts for indices, footnotes, small examples (9pt).
2152 % Fonts for small examples (8pt).
2824 % Since these characters are used in examples, they should be an even number of
6122 % If you want all examples etc. small: @set dispenvsize small.
6123 % If you want even small examples the full size: @set dispenvsize nosmall.
