Comment by 1vuio0pswjnm7

Type into a document offline, e.g., a text file, using whatever editor is preferred. Then copy and paste into the Google Doc. Or upload the text file into Google Docs. "Save as" whatever doctype is needed. Apply formatting as the last step in editing.