Switch the default theme to the ext accessibility theme

This commit switches the default theme for ext.js. It also adds a
small hack that overrides the body font color to work with the new
theme. This hack is because I was unable to change the order of the
css files.

Address #454