ninja-ide/ninja-ide — pull request #737 by diegosarmentero (2012-07-18 12:43:06+00:00)
Title: styles improved

styles improved