This morning, before school:
Yes those are blue suede boots with multi-colored tights. They look particularly smashing with the floral dress, which is just visible.
And the girl was VERY happy during the walk to school.
Updated to add:
Since a couple of people have expressed interest in getting similar boots in an adult size, I found these at LL Bean. Lands End used to have them, but not currently.