In the end, though, the pro-Trump crowd was small, and the mood was mellow.