Temporary quick patch for CSS extensions