jsbin/jsbin — pull request #1691 by electricg (2014-07-22 09:11:12+00:00)
Title: Added bold weight for SourceCodePro (the text editor font)

Some themes (like markdown) format text in bold but the font was missing, falling back to a fake bold (not really different from the regular weight).