/* main styles (Laura) */
@import url("new.css");

/* additional styles (David) */
@import url("old.css");