Source position: gnomepaper.inc line 14
function gnome_paper_with_size(
pswidth: Double;
psheight: Double
):PGnomePaper;