ajaxorg/ace — pull request #529 by nightwing (2011-11-24 08:16:16+00:00)
Title: update themes and theme conversion tool 

for converted themes
- adds missing styles for folds and selected word highlight
- adds isDark
- removes empty css rules