Download the theme file per SSH or FTP, edit it locally, and upload it again.
General advice: Never edit files on the production site. Run a local test installation, edit everything locally. Test it, then put it on the server.
Download the theme file per SSH or FTP, edit it locally, and upload it again.
General advice: Never edit files on the production site. Run a local test installation, edit everything locally. Test it, then put it on the server.