Use the standard theme from GWT, instead of our bad emulation from the GWT-1.3 era.