ninja-ide/ninja-ide — pull request #555 by diegosarmentero (2012-05-29 11:39:02+00:00)
Title: removing unnecessary monospace attributev

removing unnecessary monospace attribute