Another approach to the ExtJS conversion, starting from a custom theme.