For years I've been using Rimmel's Jungle Green eyeliner pencil, but they've discontinued it. Can anyone recommend something similar? I'm not interested in liquid liners, pens, etc. - just an old-fashioned green eyeliner or kohl pencil that can be sharpened. Anyone have any ideas?