A few minor bug fixes in css and js as well as the inclusion of the font