@import url(style.css); 
/* Very short Gecko-specific additions/changes here (if 
any) */