refined typesetting