off-line typesetting system