ninja-ide/ninja-ide — pull request #510 by diegosarmentero (2012-05-22 14:23:56+00:00)
Title: Fixing ninja theme for horizontal scrollbar

Fixing ninja theme for horizontal scrollbar