Adding search, code-prettifier, and updating bootstrap