# HG changeset patch
# User clasohm
# Date 816347582 -3600
# Node ID e9becade00769a03d1b20af15ce4ee59de7c3447
# Parent  8987c0df4b2fc3a52949a6e5e1f2aad51bfcc841
enlarged the images

diff -r 8987c0df4b2f -r e9becade0076 src/Tools/blue_arrow.gif
Binary file src/Tools/blue_arrow.gif has changed
diff -r 8987c0df4b2f -r e9becade0076 src/Tools/red_arrow.gif
Binary file src/Tools/red_arrow.gif has changed