Really what I meant was I’d rather not modify code, but I’ve added your suggestion by using a Custom CSS plugin, and it works well.
Thanks.
Thanks, that got it sorted.
I’ve found to date that almost any functionality I’ve wanted – somebody has implemented a plugin for it. I was hoping that this was the case here. But if it’s not, I’m open to modifying either the HTML or PHP directly.
WP version 3.8.3, if relevant.