Ah, the fun of applying a new theme to one’s site and then tinkering with the code for weeks to get it to look just right.