NavList:

Greg,

thanks for those measurements.

The printer business I use could enlarge the table in height. Also, I have

experimented with about a dozen other fonts and enlarged the printing

limits as far as I could.  

Attached are two haversine tables I selected as the best version in my eyes. 

They look better than the enlarged version and certainly better than the original version. One of the new ones is printed in a sans serif font, the other in one similar to Times Roman which most newspapers use.

Both are 1.65mm high as far as I could measure. With 1.25*1.5mm being

1.88mm - your limit - these fonts are a little smaller than your reported limit.  However, the numbers have also become more separated which makes reading significantly easier than before. Anyway, these are the limits of my typographic capabilities. Maybe using more of the margin would be possible but I cannot adjust the font size that finely.

Personally, I prefer the Times - Roman version which to me seems to stand out more from the background. 

There is one trick one can use to compact the table even more: highlighting the areas with the same leading digit  with a color specific to it, and  printing the trailing 3 digits in a bigger font. I have done that for another table, and it works. Yes, it makes reading easier but adds another operational step, namely mentally reconstructing the entire number. For this purpose we are so close to your limit that I don't think its warranted to do that. Also, you need the table printed in color - not really desirable.

So, there you have it. I hope you find the tables useful as they are. If you have

additional ideas we may try them out, too.

H