[kovidgoyal]

I suggest you convert on the fly. Convert to pdf manually immediately before sending to device, with the appropriate page size. The pdf will replace your old pdf, but you dont care since you have the source html.