index.html: style.