/* All default CSS styles are now included in default.css */
@import url("default.css");
/*-------------- Uncomment the line below for red production theme --------------*/
/* @import url("theme/red_production.css"); */