As well as displaying a search box above the library, you can use Document Library Pro to add a document search anywhere on your site. This page contains a document search shortcode (below) and widget (right). Test it out by searching for ‘policy’.
Tip: For more advanced search options such as search analytics or searching the contents of documents, you can use Document Library Pro with the SearchWP plugin.