royal blue yoga pants or non-fleecy inside jogging bottoms for dd1

[bahookie]

hi - any ideas where to buy these from for DD1 - needs age 8 or 9. she will not wear jogging bottoms as she gets too hot with the fleecy inside - needs to be royal blue - have checked debehams, john lewis, ebay, M&S but can't seem to find anything.

any good

or these

thank you - unfortunately they all seem to be woman's sizes rather than kids.