mozilla/pdf.js — pull request #4595 by brendandahl (2014-04-10 21:02:11+00:00)
Title: Append whitespace divs so matches still line up.

Search was broken in this pdf.
STR:
1. Open http://www.adobe.com/products/postscript/pdfs/PLRM.pdf
1. Search for 'dieresis'