/app/assets/javascripts/ide/lib/themes/

• ../
• gl_theme.js