<?xml version="1.0" encoding="utf-8"?>
<theme id="ide_theme_dark" parent="ide_theme_default"
fontFace="Verdana,Arial,DejaVu Sans"
fontFamily="SansSerif"
textColor="#E0E0E0"
>
</theme>