index.html, style.css: stuff the CSS into index.html