/* Ported verbatim from the original index.html's inline