Actually, we can't change the extension of the jaxx css files. It would be nice to be able to do this, since the jaxx css are not html css and ides are complaining about the syntax. By default, will ...