/* Compatibility stylesheet retained for links in the original website. */