/* Styles for the header title */
@import url("https://cs.stanford.edu/common/styles/main.css");
@import url("https://cs.stanford.edu/common/styles/title.css");
@import url("https://cs.stanford.edu/common/styles/body.css");
@import url("https://cs.stanford.edu/common/styles/topmenu.css");
@import url("https://cs.stanford.edu/common/styles/sidemenu.css");
@import url("https://cs.stanford.edu/common/styles/tabs.css");