added portalsearch.js as well as some css for the search