Thread:Project:Support desk/search box formatting anomaly/reply (3)

Nope - that wasn't it. The problem was out of date JS code. I got more recent code that fixed the issue from MediaWiki:Gadget-externalsearch-bar.js