diff Morris/ShaveTheDonkey.abc @ 318:77372a0166fe

Use PDFs as input sources for PNG generation. The PDFs are cropped, so don't have a margin. Thus margins can be the concern of CSS only.
author Jim Hague <jim.hague@acm.org>
date Tue, 16 Jul 2013 16:27:49 +0100 (2013-07-16)
parents 2e03b577bc41
children abdf2745a9a8
line wrap: on
line diff