There is a search function available within .pdf files.
- Use a short tap to open the desired PDF.
- Enter the search terms in the text field at top left (left arrow in illus.) and then tap on Search.
- The number of search results is then shown at the top of the display (middle arrow in right illus.).
- Tap on the arrow to display the results (right arrow in illus.).
- The search results are colored.