mozilla/pdf.js — pull request #3539 by Snuffleupagus (2013-08-04 21:48:10+00:00)
Title: Prevent link borders from being drawn if their width is undefined

Let undefined link borders default to zero pixels width, to prevent the graphical issues.

Fixes #3538.