Cinnamon Settings: Themes, polished sizes...