Add search box to make docs search discoverable