Restyle some GWT workers