 Verbatim text

---
    public void verbatim(boolean boxed) throws ParseException {
	verbatim = new StringBuffer();
	frame = boxed;

	context.set(CONTEXT_VERBATIM);
    }
---

+--
    public void verbatim_() throws ParseException {
	Paragraph paragraph = new Paragraph();
	paragraph.fontStyle = STYLE_TYPEWRITER;
	paragraph.frame = frame;

	String text = verbatim.toString();
	Font font = getFont(STYLE_TYPEWRITER, fontSize);

	if (font != null) {
	    int width = textWidth(text, font);
	    if (frame) width += (2 * BORDER_WIDTH);
	    int offset = (pageWidth() - (width + indentation)) / 2;
	    paragraph.leftIndent += offset;
	    paragraph.rightIndent += offset;
	}

	beginParagraph(paragraph);

	StringTokenizer t = new StringTokenizer(text, "\n", true);
	while (t.hasMoreTokens()) {
	    String s = t.nextToken();
	    if (s.equals("\n")) writer.println("\\line");
	    else writer.println(escape(s));
	}

	endParagraph();

	context.restore();
    }
+--
