Sync theme; also change main color for mobile version
Fix stock item discovery with GTK+ >=3.10
Add union method summary