pdf_view.js cleanup (jshint)