/**** Basic Pallette ****/
/**** Default usage ****/
html {
  font-size: 13pt;
}
body {
  font-family: "Red Hat Text", sans-serif;
  padding: 0;
  margin: 1rem 1.5rem;
  min-height: 100%;
  background-color: #dadfe1;
  color: #333;
}
a {
  color: #0479a8;
  text-decoration: none;
  font-weight: 600;
}
a:hover {
  text-decoration: underline;
}
p {
  margin: 0.75em 0.5em;
  line-height: 1.35;
  text-align: justify;
}
em,
.note {
  font-weight: 600;
  font-style: italic;
}
.small {
  font-size: 0.9em;
}
.smallcaps {
  font-variant: small-caps;
}
.float_clear {
  clear: both;
}
.sup {
  font-size: 0.75em;
  vertical-align: super;
}
div.spacer {
  height: 0.5em;
}
ul {
  margin: 0;
}
#canvas {
  background-color: #f7f7f7;
  max-width: 68rem;
  min-width: 45rem;
  margin: auto;
  border: 1px solid #aaa;
}
header {
  font-family: "Red Hat Display", sans-serif;
  font-size: 1.15em;
  padding: 1.25em;
  margin: 0;
  vertical-align: middle;
  border-spacing: 0;
  white-space: nowrap;
}
header #title-div {
  display: inline-block;
}
header h1 {
  font-size: 1.8rem;
  margin: 0;
  padding: 0;
  font-weight: 800;
}
header #uw-crest-float {
  float: right;
}
header #uw-header-crest-title {
  display: flex;
  align-items: center;
  justify-content: space-between;
}
header #uw-header-crest {
  margin-right: 0.5rem;
  line-height: 1.5;
  flex-basis: auto;
}
header #uw-header-crest img {
  height: 3.88rem;
}
header #uw-title-tagline {
  line-height: 1.1;
  flex-basis: 100%;
}
header #uw-cs-title {
  font-size: 1.8rem;
  color: #c5050c;
  font-weight: 800;
  text-decoration: none;
  margin: 0 0 0.1rem 0.05rem;
}
header #uw-cs-title a {
  color: inherit;
  font-weight: inherit;
}
header #uw-cs-title a:hover {
  text-decoration: none;
}
header #uw-cdis-title {
  color: #333;
  font-weight: 600;
  font-size: 0.95rem;
  text-decoration: none;
  line-height: 1.2;
  margin: -0.1rem 0 0 0.2rem;
}
header #uw-cdis-title a {
  color: inherit;
  font-weight: inherit;
}
#nav-div {
  background-color: #c5050c;
  color: #f7f7f7;
  text-align: center;
}
#nav-div #nav-list {
  display: flex;
  flex-direction: row;
  justify-content: center;
  list-style: none;
  font-size: 1.2rem;
  font-family: "Red Hat Display", sans-serif;
  font-weight: 700;
  margin: auto;
  padding: 0;
}
#nav-div #nav-list li {
  display: inline-block;
  cursor: pointer;
  padding: 0.25em 1.5em;
}
#nav-div #nav-list li.selected {
  background-color: #9b0000;
}
#nav-div #nav-list li:hover {
  background-color: #b00206;
}
#nav-div #nav-list li a {
  color: inherit;
  font-weight: inherit;
}
#nav-div #nav-list li a:hover {
  text-decoration: none;
}
#nav-div #nav-list li.real_link .external_link_icon {
  display: inline-block;
  padding-left: 0.5em;
  padding-bottom: 0.25em;
  vertical-align: text-bottom;
  font-size: 0.65em;
}
#nav-div #nav-list li.real_link .external_link_icon::before {
  font-family: "Font Awesome 6 Free";
  content: "\f08e";
  font-weight: bold;
}
h3 {
  font-family: "Red Had Display", sans-serif;
  font-size: 1.5rem;
  padding: 0;
  margin: 0;
  line-height: 1em;
  color: #c5050c;
}
.info_area {
  margin: 1.5em 2em;
}
#section-divs > div:not(:first-child) {
  display: none;
}
#overview_and_links {
  display: flex;
  flex-wrap: wrap;
  align-items: top;
  justify-content: space-around;
  padding: 0 1.25rem;
  width: calc(100% - 2.5rem);
}
#overview_and_links > div {
  margin: 1.5rem 0.75rem;
}
#overview_and_links #overview-inner-div {
  flex-basis: 50%;
  flex-grow: 2;
  flex-shrink: 2;
}
#overview_and_links #info {
  flex-basis: auto;
}
#info-table {
  margin: 0.25em 0.25em;
}
#info-table td {
  padding: 0.25em;
}
#info-table .info_header {
  text-align: right;
  font-weight: bold;
  vertical-align: top;
}
#schedule_table {
  border-spacing: 0;
  margin: 1em 2em;
}
#schedule_table td,
#schedule_table th {
  text-align: center;
}
#schedule_table > tbody > tr > th,
#schedule_table > tbody > tr.section > td {
  font-weight: 800;
  font-size: 1.1em;
  padding: 0.55rem;
}
#schedule_table > tbody > tr.week-end > td {
  border-bottom: 0.4rem solid #e8abad;
}
#schedule_table tr.assignment_due > td {
  background-color: #9bc7d9;
  font-weight: 600;
}
#schedule_table th {
  background-color: #c5050c;
  color: #f7f7f7;
}
#schedule_table > tbody > tr.section > td {
  background-color: #e8abad;
}
#schedule_table > tbody > tr:nth-child(even) {
  background-color: #e0e0e0;
}
#schedule_table tr.cancelled:nth-child(odd) {
  background-color: #ccc;
}
#schedule_table tr.cancelled:nth-child(even) {
  background-color: #aaa;
}
#schedule_table tr.cancelled td {
  opacity: 0.6;
}
#schedule_table td {
  padding: 0.4em 0.6em;
}
#schedule_table td.date {
  white-space: nowrap;
}
#schedule_table td.topic {
  text-align: left;
  width: 40%;
}
#schedule_table td.notes {
  width: 20%;
  text-align: center;
}
#schedule_table td.other {
  width: 30%;
  vertical-align: top;
}
#schedule_table div.authors {
  font-size: 0.9em;
}
#schedule_table div.venue {
  font-size: 0.85em;
}
#schedule_table .topic_icon_list {
  display: inline-block;
  list-style: none;
  margin: 0;
  padding: 0;
}
#schedule_table .topic_icon_list li {
  display: inline-block;
  vertical-align: middle;
}
#schedule_table .topic_icon_list li.icon {
  padding-right: 0.5em;
}
#schedule_table .topic_icon_list li.icon_text {
  width: 65%;
}
#schedule_table .topic_icon_list #spectre-logo {
  height: 2em;
}
#schedule_table table.present_order {
  font-size: 0.95em;
}
#schedule_table table.present_order td {
  text-align: left;
  padding: 0.25em 0;
}
#schedule_table table.present_order td.time {
  padding-right: 0.5em;
}
#syllabus-content {
  max-width: 42rem;
  margin-left: auto;
  margin-right: auto;
}
#syllabus-content h4 {
  font-size: 1.2em;
  margin: 0.75em 0 0 0;
}
#syllabus-content h5 {
  margin: 0.25em 0 -0.3em 0;
}
#syllabus-content ol {
  margin: 0;
}
#syllabus-content ol li {
  margin: 0.5em 0;
}
#syllabus-content ol li:first-child {
  margin-top: 0;
}
#syllabus-content table.desc-table {
  border-collapse: collapse;
  margin-left: 0.5em;
  margin-top: -0.25em;
}
#syllabus-content table.desc-table td {
  padding: 0.25em;
}
#syllabus-content table.desc-table td.key {
  text-align: center;
  vertical-align: top;
}