Lines Matching refs:examples
1491 % Fonts for indices, footnotes, small examples (9pt).
1504 % Fonts for small examples (8pt).
4703 % Since these characters are used in examples, it should be an even number of
4899 % If you want all examples etc. small: @set dispenvsize small.
4900 % If you want even small examples the full size: @set dispenvsize nosmall.
