navigation bar height

Conflicts:
	core/java/android/provider/Settings.java