changed typesetting
only index.html