Fixing some bugs.

* Add room for multi-line text in the navigation bar.
* Fix a bug with edge-to-edge interfaces in Android, leaving enough room for the phone buttons.
