/* Compatibility file. Page styles are embedded in the HTML. */