Many thanks for the ctrl + tip. I like the new skin, but the font was a bit too small for my eyes, which are turning 41 tomorrow. The ctrl + did the job.