#   Rene [04 Apr 1999] remarks that the pen strokes are thinner than average.
#
# Last edited on 1999-04-06 06:03:05 by stolfi
