<?xml version="1.0" encoding="utf-8"?>
<theme id="ide_theme_default" parent="theme_default"
        fontFace="Verdana,Arial,DejaVu Sans"
        fontFamily="SansSerif"
	>
    <color id="edit_background" value="#000080"/>
    <color id="link_color" value="#2020FF"/>
    <color id="syntax_highlight_comment" value="#808000"/>
    <color id="syntax_highlight_keyword" value="#00FFFF"/>
    <color id="syntax_highlight_string" value="#FFFF00"/>
    <color id="syntax_highlight_character" value="#FFFF00"/>
    <color id="syntax_highlight_error" value="#FF0000"/>
    <color id="syntax_highlight_integer" value="#FFFFFF"/>
    <color id="syntax_highlight_float" value="#FFFFFF"/>
    <color id="syntax_highlight_comment_documentation" value="#FFFF00"/>
    <color id="syntax_highlight_ident" value="#008000"/>

    <color id="build_log_filename_color" value="#0000C0"/>
    <color id="build_log_error_color" value="#FF0000"/>
    <color id="build_log_warning_color" value="#606000"/>
    <color id="build_log_deprecation_color" value="#802040"/>

    <style id="TERMINAL" parent="EDIT_BOX_NO_FRAME"
    />

    <drawable id="document-open" value="{'Opn' #00FF00}"/>
    <drawable id="document-save" value="{'Sav' #FFFF00}"/>
    <drawable id="debug-run" value="{'►' #00FF00}"/>
    <drawable id="run-build" value="{'B' #FFFF00}"/>
    <drawable id="run-rdmd" value="{'rdm' #FFFF00}"/>
    <drawable id="edit-copy" value="{'cp' #008000}"/>
    <drawable id="edit-paste" value="{'pt' #808000}"/>
    <drawable id="edit-cut" value="{'ct' #800000}"/>
    <drawable id="edit-undo" value="{'un' #808000}"/>
    <drawable id="edit-redo" value="{'re' #008000}"/>
    <drawable id="edit-indent" value="{'>>' #808000}"/>
    <drawable id="edit-unindent" value="{'<<' #808000}"/>
    <drawable id="debug-stop" value="{'◘' #00FF00}"/>
    <drawable id="debug-pause" value="{'║' #808000}"/>
    <drawable id="debug-restart" value="{'○' #800000}"/>
    <drawable id="debug-step-into" value="{'→' #0000FF}"/>
    <drawable id="debug-step-over" value="{'↓' #0000FF}"/>
    <drawable id="debug-step-out" value="{'↑' #0000FF}"/>

</theme>

