customized gtkrc files for Eclipse themes