A note to our local providers:
To include one of these images into your .HTML document, simply use a command
similar to this one:
<IMG SRC="/Gifs/line.blue.gif">
line.binary.gif
line.pianokeys.gif
line.grass.gif
line.blue.gif
line.blue2.gif
line.bomb.left.gif
line.bomb.right.gif
line.colorbar.gif
line.crumpled.gif
line.cut.gif
line.dash.gif
line.desert.gif
line.evil.gif
line.eyes.gif
line.eyes2.gif
line.gradiated.gif
line.gray-red.gif
line.gray.dither.gif
line.gray.squares.gif
line.knot.gif
line.marble.gif
line.marble1.gif
line.note.gif
line.owl.gif
line.purple.gif
line.purple2.gif
line.rainbow.gif
line.red.gif
line.red.right.gif
line.red2.gif
line.redblue.gif
line.redblueS.gif
line.rocket.left.gif
line.rocket.right.gif
line.ship.left.gif
line.ship.right.gif
line.short.gif
line.snake.left.gif
line.snake.right.gif
line.speckled.gif
line.starwars.gif
line.string.gif
line.sub.left.gif
line.sub.right.gif
line.sun.gif
line.white.gif