/* Copied from https://gist.github.com/killercup/5917178
 * and then made some changes. 
 */

@import url('https://fonts.googleapis.com/css?family=Open+Sans');

/* https://news.uchicago.edu/sites/default/files/UCM_UniversityIdentityGuidelines_2-2020.pdf */

html {
  font-size: 100%;
  overflow-y: scroll;
  -webkit-text-size-adjust: 100%;
  -ms-text-size-adjust: 100%;
}

body {
  color: #444;
  font-family: 'Open Sans', Georgia, Palatino, 'Palatino Linotype', Times, 'Times New Roman', serif;
  font-size: 12px;
  line-height: 1.6; /* 1.7; */
  padding: 1em;
  margin: auto;
  max-width: 48em; /* 42em; */
  background: #fefefe;
}

a {
  color: #0645ad;
  text-decoration: none;
}

a:visited {
  color: #0b0080;
}

a:hover {
  color: #06e;
}

a:active {
  color: #faa700;
}

a:focus {
  outline: thin dotted;
}

*::-moz-selection {
  background: rgba(255, 255, 0, 0.3);
  color: #000;
}

*::selection {
  background: rgba(255, 255, 0, 0.3);
  color: #000;
}

a::-moz-selection {
  background: rgba(255, 255, 0, 0.3);
  color: #0645ad;
}

a::selection {
  background: rgba(255, 255, 0, 0.3);
  color: #0645ad;
}

p {
  margin: 1em 0;
}

img {
  max-width: 100%;
}

h1, h2, h3, h4, h5, h6 {
  /* background-color: #111; */
  background-color: #8F3931; /* #800000; */
  border-radius: 10px;
  color: white;
  font-weight: normal;
  line-height: 125%;
  margin-top: 2em;
  /* padding: 10px 15px 10px 15px; */
}

h1, h2, h3 {
  padding: 10px 15px 10px 15px;
}

h4, h5, h6 {
  padding: 6px 15px 6px 15px;
}

h4, h5, h6 {
  font-weight: bold;
}

h1 {
  font-size: 2.5em;
  text-align: center;
}

h2 {
  font-size: 2em;
}

h3 {
  font-size: 1.5em;
}

h4 {
  font-size: 1.2em;
}

h5 {
  font-size: 1em;
}

h6 {
  font-size: 0.9em;
}

/*
blockquote {
  color: #666666;
  margin: 0;
  padding-left: 3em;
  border-left: 0.5em #EEE solid;
}
*/

hr {
  display: block;
  height: 2px;
  border: 0;
  border-top: 1px solid #aaa;
  border-bottom: 1px solid #eee;
  margin: 1em 0;
  padding: 0;
}

pre, code, kbd, samp {
  /* color: #000; */
  font-family: monospace, monospace;
  _font-family: 'courier new', monospace;
  font-size: 0.98em;
}

pre code { /* code blocks */
  background-color: /* #D6D6CE; */ /* #800000; */ #eee;
  display: block;
  overflow-x: scroll;
  padding: 1em;
  border-radius: 10px;
  /* line-height: 1.0; */
  white-space: pre;
}

pre {
  white-space: pre;
  white-space: pre-wrap;
  word-wrap: break-word;
}

b, strong {
  font-weight: bold;
}

dfn {
  font-style: italic;
}

ins {
  background: #ff9;
  color: #000;
  text-decoration: none;
}

mark {
  background: #ff0;
  color: #000;
  font-style: italic;
  font-weight: bold;
}

sub, sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
}

sup {
  top: -0.5em;
}

sub {
  bottom: -0.25em;
}

ul, ol {
  margin: 1em 0;
  padding: 0 0 0 2em;
}

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

ul ul, ol ol {
  margin: .3em 0;
}

dl {
  margin-bottom: 1em;
}

dt {
  font-weight: bold;
  margin-bottom: .8em;
}

dd {
  margin: 0 0 .8em 2em;
}

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

img {
  border: 0;
  -ms-interpolation-mode: bicubic;
  vertical-align: middle;
}

figure {
  display: block;
  text-align: center;
  margin: 1em 0;
}

figure img {
  border: none;
  margin: 0 auto;
}

figcaption {
  font-size: 0.8em;
  font-style: italic;
  margin: 0 0 .8em;
}

table {
  margin-bottom: 2em;
  border-bottom: 1px solid #ddd;
  border-right: 1px solid #ddd;
  border-spacing: 0;
  border-collapse: collapse;
}

table th {
  padding: .2em 1em;
  background-color: #eee;
  border-top: 1px solid #ddd;
  border-left: 1px solid #ddd;
}

table td {
  padding: .2em 1em;
  border-top: 1px solid #ddd;
  border-left: 1px solid #ddd;
  vertical-align: top;
}

.author {
  font-size: 1.2em;
  text-align: center;
}

@media only screen and (min-width: 480px) {
  body {
    font-size: 14px;
  }
}
@media only screen and (min-width: 768px) {
  body {
    font-size: 16px;
  }
}
@media print {
  * {
    background: transparent !important;
    color: black !important;
    filter: none !important;
    -ms-filter: none !important;
  }

  body {
    font-size: 12pt;
    max-width: 100%;
  }

  a, a:visited {
    text-decoration: underline;
  }

  hr {
    height: 1px;
    border: 0;
    border-bottom: 1px solid black;
  }

  a[href]:after {
    content: " (" attr(href) ")";
  }

  abbr[title]:after {
    content: " (" attr(title) ")";
  }

  .ir a:after, a[href^="javascript:"]:after, a[href^="#"]:after {
    content: "";
  }

  pre, blockquote {
    border: 1px solid #999;
    padding-right: 1em;
    page-break-inside: avoid;
  }

  tr, img {
    page-break-inside: avoid;
  }

  img {
    max-width: 100% !important;
  }

  @page :left {
    margin: 15mm 20mm 15mm 10mm;
}

  @page :right {
    margin: 15mm 10mm 15mm 20mm;
}

  p, h2, h3 {
    orphans: 3;
    widows: 3;
  }

  h2, h3 {
    page-break-after: avoid;
  }
}

.center {
  display: block;
  margin-left: auto;
  margin-right: auto;
}

.subtitle {
  text-align: center;
}

.disclaimer {
  font-style: italic;
  margin-bottom: 2.5em;
  text-align: center;
}

.note {
  text-decoration: underline;
}

.image-credit {
  text-align: center;
  font-size: 0.6em;
}

.side-note {
  /* border-left: 0.5em #767676 solid; */
  border-left: 0.75em #FFB547 solid;
  border-radius: 0.75em;
  border-right: 0.75em #FFB547 solid;
  color: #666666;
  margin: 0;
  padding-left: 0.75em;
  padding-right: 0.75em;
}

.u {
  text-decoration: underline;
}

.wide-center-table table {
  width: 80%;
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}

.math {
  font-family: Georgia, serif;
  letter-spacing: 0em;
  /* font-weight: bold; */
}

/* Info */

#staff-table td {
  padding: 3px;
  text-align: center;
}

#staff-table img {
  padding: 10px;
  width: 125px;
}

#homework-policy {
  background-color: lightyellow;
  border: 8px solid #8F3931; /* crimson */
  color: #666666;
  padding: 20px;
  margin-top: 20px;
  margin-bottom: 20px;
}

/* Schedule */

.date {
  font-family: monospace;
}

/* Problem Sets */

.psets {
  text-align: center;
}

.required-exercise {
  color: #8F3931;
  font-weight: bold;
  padding-left: 3px;
  padding-right: 3px;
}

.optional-exercise {
  color: gray;
  font-style: italic;
  padding-left: 3px;
  padding-right: 3px;
}

/* Hello, Wordle */

.three-chars {
  text-decoration-line: underline;
  text-decoration-style: wavy;
  text-underline-offset: 0.2em;
}

.wordle-examples > table {
  width: 90%;
  margin: auto;
}

.wordle-examples td, .wordle-examples tr {
  font-size: 0.9em;
  text-align: center;
}

/* Hip Barcodes */

.designed-barcodes {
  display: grid;
  font-size: 0.8em;
  grid-template-columns: repeat(5, 1fr);
  gap: 10px;
  grid-auto-rows: minmax(100px, auto);
  padding-left: 10px;
  padding-right: 10px;
  text-align: center;
}

.designed-barcodes div {
  align-self: end;
}

.designed-barcodes img {
  border-radius: 10px;
  padding-bottom: 5px;
}

.int-own-work { display: none; }

.designed-barcode-one   { }
.designed-barcode-two   { }
.designed-barcode-three { }
.designed-barcode-four  { }
.designed-barcode-five  { }

/* Syntax Blocks */

.outer-block {
  border: solid black 1.1pt;
  border-radius: 5px;
  display: inline-block;
  font-family: monospace, monospace;
  padding: 1pt 3pt 1pt 3pt;
  text-align: left;
  white-space: inherit;
}

.multi-line {
  line-height: 1.8em;
  padding-left: 5pt;
  padding-right: 5pt;
}

.block {
  border: solid black 1.1pt;
  border-radius: 3px;
  font-family: monospace, monospace;
  padding: 1pt 3pt 1pt 3pt;
  text-align: left;
}

.exp {
  background-color: #4E8F38; /* an evergreen */
  color: white;
}

.var {
  background-color: mediumpurple;
  color: white;
/*
  color: mediumpurple;
  font-weight: bold;
*/
}

.exp > .var {
  /* TODO */
  /* border: solid #4E8F38 3pt; */ /* evergreen */
  /* background-color: white; */
}

.pat {
  background-color: pink;
}

.typ {
  background-color: moccasin;
}

.do-stmt, .binop, .module-name, .module-path, .class-constraint,
.lc-stmt {
  background-color: lightgray;
}

.val {
  background-color: greenyellow;
}

.kind {
  background-color: brown;
  color: white;
}

.desugars-to {
  display: inline-block;
  padding-left: 5px;
  padding-right: 5px;
}

.data-con {
  background-color: mediumpurple; /* TODO */
  color: white;
}

.typ-con {
  background-color: mediumpurple; /* TODO */
  color: white;
}

.typeclass {
  background-color: lightgray; /* TODO */
  color: black;
}