Code formatting for index.html and some tweaks.