No search is available or functional for Fedora Developer Portal.

[jackorp]

There used to be a search field via jekyll-lunr-js-search gem, but that was broken by something. As a result, it was removed in 0889a38

There is a new fork that seems to some point actively supported: https://github.com/dnoneill/jekyll-lunr-js-custom-search , but I had problems integrating it with current setup: #104 (comment) .