/* /--Inserted in the upgrade to 8.0.0.0--\ */

@import url("/RichWidgets/upgradeTo8000.css");

/* \--Inserted in the upgrade to 8.0.0.0--/ */
/* /--Converted in the upgrade to 6.0--\ */
@import url("/SIRAPA/Theme.SIRAPA.css");
/* \--Converted in the upgrade to 6.0--/ */