It's an engine.
There's a .php file that loads the appropriate css classes for that page, for that user, and in some instances, for that browser as well.
EXTRA.css is at the end of the line, and loads on every page.
This way you could leave the original css alone, and overwrite their values in extra.css - making upgrading very handy/easy/quick/ and painless.