I take you point, I didn't follow your instructions, but thanks for taking the time to put me right.
I'd assumed (dangerously) it was in the pop-up menu style text editor in the navbar properties you'd used to change the font, as that was what I was struggling with.

Any idea by the way, why I can't seem to get the navbar editor to work for me?
I even went back and tried WD10P, it has exactly the same issue as WD11P.

As I say, I must be missing something obvious.