Reduced the size of vignette.png. Also fixed a bug in bootstrap.js.