settings.js: work with bootstrap, look a bit better