/* styles are inlined in index.html */