Documentation search bar has gone missing


#1

Seems to have disappeared after the forum upgrade…