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.