Added final (hopefully) styles, fixed some bugs in HTML pages, fixed header.