/themes/

• ../
• dark-blue.theme
• high-contrast.theme
• solarized-dark.theme
• solarized-light.theme