Hi everyone,
The search box that usually appears at the top of the left-side navigation panel for the Documentation Theme has gone missing.
I've done the following:
1) Removed all custom HTML, on the off chance that I was overwriting it somehow.
2) Checked that all modules for the Documentation theme were enabled.
The search box still has not come back.
What should I try next?