Typesetting A python script was used to typesetting text file. It only support UTF-8 format file for now.