@import "system.css";
@import "colors.css";
@import "menu.css";
@import "jquery-ui.css";

/* All three CSS files above will be loaded from
   this single document. */