That is the design of this file, yes, and it should be the only difference. The one with the @import directives is intended for use in development, as changes will be made in multiple files, each named based on the widget. The one without the @import directives is better suited for production use, as it delivers the same CSS in a single request rather than many.