<?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>
