updated: elementary theme is upstreamed, so let's use it.