![](https://secure.gravatar.com/avatar/c83fb4134167a11422c23048fb8a85e3.jpg?s=120&d=mm&r=g)
11 Jul
2020
11 Jul
'20
6:22 a.m.
On 9 Jul 2020, at 08:37, Aditya Mahajan
wrote: On Wed, 8 Jul 2020, Gerben Wierda wrote:
I found out this in the PDF spec:
The minimum page size should be 3 by 3 units in default user space; the maximum should be 14,400 by 14,400 units.
So, does the following work:
\startMPpage[instance=doublefun, offset=2pt] draw (0,0)--(100,0) dashed withdots; \stopMPpage
Yes. G