devilry_theme: Match button styles for ExtJS to the bootstrap look.

We tuned the ExtJS styles, and they are now quite similar, except for
the "small" style which is sligtly taller in the bootstrap style.