widgets/ext/sized_cupertino_nav_bar library