Mario: informações sobre o nome

Mario é um nome masculino. Abaixo está o que já documentamos.