Fixes and polish:

• On iPhone, the output console could be pushed off the bottom of the screen in the editor — the editor and console now always fit the display, on every device size.
• Removed a Files button that mentioned logging in. This app has no accounts, so the button did nothing useful.