Typesetting for pdf production