X-Git-Url: http://git.scottworley.com/paperdoorknob/blobdiff_plain/d2a41ff4f433a29173259359dcf477fd59ee3c78..40b25122b6baf344aeb990b405f6015e6ffec8c8:/args.py

diff --git a/args.py b/args.py
index 62b9404..e952c45 100644
--- a/args.py
+++ b/args.py
@@ -44,6 +44,10 @@ See https://faculty.bard.edu/bloch/geometry.pdf for details
         '--htmlfilters',
         help='Which HTML filters to use (default: %(default)s)',
         default=','.join(f[0] for f in HTMLFilters))
+    parser.add_argument(
+        '--image_size',
+        help='How large the icon images are, in mm',
+        default=20)
     parser.add_argument(
         '--out',
         help='The filename stem at which to write output ' +
@@ -72,6 +76,6 @@ def spec_from_commandline_args() -> Iterator[Spec]:
                 DiskImageStore(args.out + '_images', fetcher),
                 lambda x: ApplyHTMLFilters(args.htmlfilters, x),
                 lambda x: ApplyDOMFilters(args.domfilters, x),
-                BelowIconLayout(texifier),
+                BelowIconLayout(texifier, args.image_size),
                 args.geometry,
                 texout)