It’s more the other way around: the first Mario game was a Donkey Kong game.

The user avatar is only “Mario” in appearance. He was called “Jump Man” in that game and even his outfit colours differed from the Mario games that followed.