/* Retired compatibility stylesheet. Portalseed UI is consolidated in portal.css as of 1.8.4. */