/* Historical homepage styles are embedded in index.html. */