These icons were made by Brian Wright for inclusion in the ToolManager
distribution. Thanks Brian!

      Stefan Becker