A modern digital typesetting system