Thanks for the tip; I didn’t know you could do that. Up to now I’ve been saving the original .php files as text files to serve as back-up. Anyway, it’s done – a child theme of the twenty-eleven theme has been created. So back to the original problem, how can I change the layout of the menus as described in my previous post?
