Themes replace 'colors.xml' and soon will replace 'dimens.xml'.

Use xmllint.
Re-indent Java files using spaces.

This was a half-finished feature:
- Dangerous when typing passwords
- Caused crash on some devices
- Ugly (on its own but also blinking when sliding and not fixed in size)