various style fixes
Migrate Bootstrap 2.3.2 to 3.2.0: data explorer galaxy export