Adds bootstrap.js library and fixes some CSS glitches