* Crop pages in a PDF file. Crops the view to a certain percentage  of the original.
* The percentage specifies the trim-off percentage, both width- and heightwise.
// When debugging: log to console.
// Crop all pages by a given percentage.
// Zoom in on the page middle, with a scaled width and height.