Update index.html

modify something about typesetting