You are right. The font-family: monospace, monospace; declaration is a simple hack/workaround for some browsers which tend to reduce the font size of monospace fonts.
More info on this Github issue: https://github.com/necolas/normalize.css/issues/519#issuecomment-197131966