Lines Matching refs:examples
1827 % Fonts for indices, footnotes, small examples (9pt).
1841 % Fonts for small examples (8pt).
1958 % Fonts for indices, footnotes, small examples (9pt).
1972 % Fonts for small examples (8pt).
3010 % Since these characters are used in examples, they should be an even number of
6443 % If you want all examples etc. small: @set dispenvsize small.
6444 % If you want even small examples the full size: @set dispenvsize nosmall.
