Pre 2012_07_14
~/public_html/gifs
-rw-r--r-- 1 jhs staff 257 May 2 2011 spanner.gif
26 x 94 as shown by xv
-rw-r--r-- 1 jhs staff 178 May 2 2011 spanner_horiz.gif
94 x 26
~/private/html/gifs
-rw-r--r-- 1 jhs staff 829 Feb 15 2003 spanner1.fig Pre 2012_07_14
-rw-r--r-- 1 jhs staff 249 Feb 15 2003 spanner1.gif
-rw-r--r-- 1 jhs staff 580 Jul 14 00:06 spanner2.fig By xfig post 2012_07_14
-rw-r--r-- 1 jhs staff 2129 Jul 14 00:06 spanner2.gif
850 x 234 exported by xfig, shown by xv
106 x 29 xv /2 3 times
95 x 26 xv 10% less
The pixels may be more jagged with the extra 10% shrink, so leave it 10% larger.
I converted with make spanner.gif_transparent