custom theme
Switch back to dave's theme
Convenience for textmate