ajaxorg/ace — pull request #882 by nightwing (2012-08-22 12:24:53+00:00)
Title: Update dark themes

fix #876
trivial
@ajaxorg/liskov @vladzinculescu