Make example inline.
Regenerate html/pdf.