Small HTML fixes for stylesheets, icons, etc