Some style changes: mostly fixing the page header