TextWrite is a lightweight editor for text (.txt) files. You can save your text to PDF and your settings will roam across devices.