tweak page layout of document produced by "make pdffigures"