/* ---- extracted from index.html inline