typesetting of output log