How big was the walkout from the DNC when Hillary nominated?

The level of media bias in reporting the Democratic National Convention is as high as I have ever seen outside of North Korea and the old Soviet bloc. The GOP convention was declared a disaster many times during its four-day run, but the DNC, reeling from revelations of the rigging of the primary contests, is getting far more benign descriptors, as the media avert their eyes from unpleasant realities. Among the most unpleasant realities for Democrats and the media is the anger of Bernie supporters now that it is clear the campaign into which they threw their hearts and souls was fixed all along. Somehow, that anger must be minimized, trivialized, and eventually extinguished if Donald Trump is to be stopped. And in the eyes of the media, that threat is so overwhelming that no restraints whatsoever are justified in making the case against him as propagandists rather than honest observers and reporters.