pub const MIN_THUMB: Pixels;
Shortest a thumb may get, however long the document — below this it stops being something a pointer can catch.