Update index.html

small stylistic change to test if it'd be applied through github