Finder
The finder doesn't only look through the website but searches also the pdf documents for wanted words. Just fill in the word you want to look for in the mask. In the result of your search the words found are emphasized in the text parts. In the enlarged search under the search window you can specify the result.