Below the picture of the library, in the "More Wasy to Search" section, click on "Library Catalog" (as shown in the image below).
Below the search box, click on the "Advanced Search" link.
Enter any desired search terms in the search boxes (you many add or remove search boxes, as needed).
Below the search boxes, make sure that the "Item type" tab is selected. Then, in the "Limit to any of the following" section, check the box for "Government documents" (as shown in the image below).
Click on the "Search" icon to perform your search.