-- gray theme for ExtJS