Search through PDF

[billba]

Open design issues:

• [ ] Location: sidebar (search across all docs) or navbar (search in this doc)
  • All search results could be displayed in the sidebar (they are kind of like citations) or one at a time using next/prev buttons
  • This might be the answer to the question "what happens if the excerpt is not unique in the doc" (show all the locations and let the user choose one)