/* Public compatibility file. Page styling is embedded in the current HTML. */