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