Fix split view divider color for android; properly avoid tool bar for android; add transparent highlight color for android; other misc