/* Extracted from index.html inline