Some minor style fixes; change introduction text in index.html