Some useful items for HTML pages

Bullets

bullet_red.gif

bullet_green.gif

bullet_blue.gif

bullet_cyan.gif

bullet_magenta.gif

bullet_yellow.gif

star.gif

I copied the red bullet from somewhere else, then I created the other ones by changing the colors with XV. The star also comes from an existing picture. In all these pictures, I reduced the number of colors down to 16.