/* Course list styles are part of styles.css. */