/* Page-local styles extracted from index.html. */