//I made this. -Trop
addHook("MusicChange", function(oldname, newname)
	if consoleplayer
		local character = skins[consoleplayer.skin].name
		if character == "miguel" //skin to use custom themes			
			if newname == "_gover"
				return "mgover"
			elseif newname == "_conti"
				return "mconti"
			elseif newname == "_super"
				return "msuper"
			end
		end
	end
end)