@charset "UTF-8";
body {
  margin: 0;
  font-size: 20px;
  line-height: 1.5;
  font-family: Roboto, sans-serif;
}

.lecture {
  font-size: 16px;
}
.lecture .footnote-definition {
  font-size: 12px;
}
.lecture .footnote-definition p:first-of-type {
  display: inline;
}
.lecture .proof {
  margin: 16px auto;
  padding: 4px 16px 4px 8px;
  width: fit-content;
  border: solid 1px black;
  position: relative;
}
.lecture .proof::before {
  content: "□";
  font-size: 20px;
  display: block;
  position: absolute;
  bottom: -6px;
  right: 4px;
}
.lecture .proof::after {
  content: "";
  display: block;
  clear: both;
}

a {
  text-decoration: none;
  color: #008;
  background-color: #f8f8ff;
}

a:visited {
  color: #606;
  background-color: #fff8ff;
}

a:hover {
  color: #800;
  background-color: #fee;
  border: 1px dotted #400;
}

strong, b, h3 {
  font-weight: 700;
  color: #400;
}

strong em, b em, em strong, em b {
  font-style: normal;
  color: #800;
  background-color: #ffd;
}

p {
  margin-block-start: 1em;
  margin: 1em 0;
}

p:first-child {
  margin-top: 0;
}

p:last-child {
  margin-bottom: 0;
}

p + ul {
  margin-top: -0.5em;
}

blockquote {
  margin: 16px auto;
  padding: 8px 16px;
  max-width: 40em;
  font-size: 80%;
  color: #000;
  background-color: #ffffcc;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
}

h1 {
  text-align: center;
  color: #800;
  text-shadow: 3px 3px 5px #ccc;
}

h2 {
  padding-top: 1em;
  text-align: center;
  font-size: 24px;
  text-shadow: 2px 2px 3px #ccc;
}

h3 {
  margin: 0;
  text-align: left;
  font-size: 20px;
  text-shadow: 1px 1px 1px #ccc;
}

h3 + p, h3 + ul > li:first-child {
  margin-top: 0;
}

h4,
h4 + p {
  display: inline;
}

h4::before {
  content: "";
  display: block;
  clear: left;
  margin-block-start: 1em;
}

h4::after {
  content: ":";
}

hr {
  margin: 20px 0;
  border: 0;
  height: 1px;
  background: #333;
  background-image: linear-gradient(to right, #ccc, #333, #ccc);
}

#navbar {
  width: 100%;
  background-color: #334191;
}
#navbar #navbarlist {
  list-style: none;
  margin: 0;
  padding: 0;
}
#navbar #navbarlist .navbaritem {
  display: block;
  float: left;
}
#navbar #navbarlist .navbaritem a {
  display: block;
  padding: 8px 0;
  margin: -8px 0;
  text-decoration: inherit;
  color: inherit;
  background-color: inherit;
}
#navbar #navbarlist .navbaritem a:hover {
  border: none;
}
#navbar #navbarlist .navbaritem .navbarheader {
  display: block;
  padding: 8px 16px;
  color: #fff;
}
#navbar #navbarlist .navbaritem .navbarheader a {
  font-weight: bolder;
  white-space: normal;
}
#navbar #navbarlist .navbaritem .navdropdown {
  display: none;
  position: absolute;
  list-style: none;
  margin: 0;
  padding: 0;
  background-color: white;
  box-shadow: 0 4px 10px 0 rgba(0, 0, 0, 0.2), 0 4px 20px 0 rgba(0, 0, 0, 0.19);
}
#navbar #navbarlist .navbaritem .navdropdown li {
  padding: 8px 16px;
}
#navbar #navbarlist .navbaritem .navdropdown li:hover {
  background-color: #ccc;
}
#navbar #navbarlist .navbarhasdropdown .navbarheader::after {
  content: "▾";
}
#navbar #navbarlist .navbarhasdropdown:hover .navdropdown {
  display: block;
}
#navbar #navbarlist .navbaritem:hover .navbarheader {
  color: #000;
  background-color: #ff9800;
}

#navbar::after {
  display: block;
  content: "";
  clear: both;
}

main {
  max-width: 45em;
  margin: 0 auto;
  padding: 20px 16px;
}

#logo {
  text-align: center;
}
#logo img {
  width: 90%;
}

#calendar-progress {
  font-size: 80%;
}

#calendar-progress-bar {
  border: 1px solid #ccc;
  border-radius: 4px;
  box-shadow: 0 4px 10px 0 rgba(0, 0, 0, 0.2), 0 4px 20px 0 rgba(0, 0, 0, 0.19);
}

#calendar-progress-bar:after {
  display: block;
  content: "";
  clear: both;
}

.calendar-progress-unit {
  display: block;
  float: left;
  text-align: right;
  text-wrap: nowrap;
  overflow: hidden;
  color: gray;
  border-radius: 4px;
}
.calendar-progress-unit .calendar-progress-completed {
  float: left;
  margin-right: -100%;
  border-radius: 4px;
  background-color: #ccc;
}

#calendar-progress-unit-models {
  background-color: #eff;
}
#calendar-progress-unit-models .calendar-progress-completed {
  background-color: #2196f3;
}

#calendar-progress-unit-algorithms {
  background-color: #ffe;
}
#calendar-progress-unit-algorithms .calendar-progress-completed {
  background-color: #ffeb3b;
}

#calendar-progress-unit-reductions {
  background-color: #fef;
}
#calendar-progress-unit-reductions .calendar-progress-completed {
  background-color: #f44336;
}

#calendar-progress-unit-final {
  background-color: #fff;
}

span.extra-links {
  font-size: 0.8em;
}

span.calendar-aside {
  color: #888;
}

.week-block {
  margin: 1ex 0;
  padding: 0.01em 16px;
  border-radius: 16px;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
}
.week-block h2 {
  margin-top: 0;
  text-align: center;
}

.week-block.current-week {
  border-left: 6px solid #ccc;
  border-right: 6px solid #ccc;
}

.week-block.unit-models {
  background-color: #eff;
}

.week-block.unit-models.current-week {
  border-color: #2196f3;
}

.week-block.unit-algorithms {
  background-color: #ffe;
}

.week-block.unit-algorithms.current-week {
  border-color: #ffeb3b;
}

.week-block.unit-reductions {
  background-color: #fef;
}

.week-block.unit-reductions.current-week {
  border-color: #f44336;
}

.week-block.unit-final {
  background-color: #fff;
}

#past-start-link {
  text-align: center;
  font-weight: bold;
  text-shadow: 2px 2px 3px #ccc;
}
#past-start-link a {
  color: inherit;
  background-color: inherit;
}

#past-start {
  text-align: center;
}

#break-week-block {
  text-align: center;
  padding: 1em 0;
  background-color: #fdb;
}

dl {
  margin: 1em 0;
}
dl dt {
  display: block;
  float: left;
  clear: left;
  width: 7em;
  padding: 0.5ex 0.5em;
  text-align: right;
  font-weight: bold;
}
dl dd {
  display: block;
  margin: 0 0 0 8em;
  padding: 0.5ex 0.5em;
  border-left: 1px solid black;
}
dl dd img {
  width: 80%;
}
dl dd table {
  margin: auto;
}
dl dd ul {
  padding-left: 20px;
}
dl dd ul ul {
  padding-left: 40px;
  list-style-type: "▹";
}
dl dd ul ul li {
  padding-left: 0.4em;
}

ul#lab-schedule {
  padding-left: 0;
  list-style-type: "";
}

ul#party-schedule {
  padding-left: 0;
  list-style-type: "";
}

#google-calendar {
  text-align: center;
}

dl.calendar dt {
  color: #888;
  font-weight: normal;
}

.staff-row {
  text-align: center;
}

.staff-row::after {
  display: block;
  content: "";
  clear: both;
}

.staff-member {
  float: left;
  text-align: center;
  padding: 16px 8px;
  box-sizing: border-box;
}
.staff-member img {
  width: 75%;
  max-width: 150px;
  vertical-align: middle;
  border-radius: 50%;
}
.staff-member img:hover {
  box-shadow: 0 4px 10px 0 rgba(0, 0, 0, 0.2), 0 4px 20px 0 rgba(0, 0, 0, 0.19);
}
.staff-member a:hover {
  border: none;
}

.staff-in-row1 .staff-member {
  width: 99.99%;
}

.staff-in-row2 .staff-member {
  width: 49.99%;
}

.staff-in-row3 .staff-member {
  width: 33.32%;
}

.staff-in-row4 .staff-member {
  width: 24.99%;
}

.staff-instructor img {
  width: 75%;
  max-width: 200px;
  border-radius: 50%;
}

#prairielearn-explanation p {
  margin: 0;
  text-align: center;
}

#grades-table {
  width: 66%;
  text-align: center;
  border: 1px solid #ccc;
  border-collapse: collapse;
  border-spacing: 0;
}
