I've been wrong before, but, since you do not have the compression artefacts of jpg and you have rather distinct "strokes", cannot you resize it, make it bigger, especially, without much loss of information?
In simple words, I think you can grab the png (and the gif, I guess?) and resize it in every dumb program without any real loss.