Re: [rfa/doco] Srink the overlay diagram

[Jim Blandy <jimb@zwingli.cygnus.com>]

"Eli Zaretskii" <eliz@is.elta.co.il> writes:
> Leave the text outside the @example, and instead put "@need NUMBER"
> before the @example which starts the diagram, where NUMBER is enough
> to allow for both the diagram and the text after it.  I'd use 10000
> for NUMBER, but if you can easily print that page after TeXing it,
> simply measure how many inches of vertical space does the diagram and
> the text take, and multiply that by 1000.

As to the original "what's that doing there?" question: It's a
caption.  Diagrams often have explanatory text, outside of the main
flow of text.

As to the formatting: anything that keeps that text immediately after
the diagram is fine.