UI polishments. New ActionBar theme. Fixed a bug that would cause a misleading logging. Supposedly fixed a non-deterministic bug that was causing an undesired recursive call to executePendingTransactions on one of the Fragment Managers.
Fixed merge conflicts