/**
 * Represents the size of a PDF page viewport.
 * Used to hold the width and height obtained from pdf.js `page.getViewport()`.
 */
export default interface PageViewport {
    /** Page width in pixels. */
    width: number;
    /** Page height in pixels. */
    height: number;
}