Small addition to bootstrap css overrides