/* Thanks: https://color.adobe.com/PDX-Carpet-color-theme-9282605 */
html {
  font-family: "Fira Sans", sans-serif;
  font-size: large;
  text-align: justify;
}

a:link {
  color: #27488D;
}

a:visited {
  color: #9285D7;
}

a:hover {
  color: #9285D7;
}

a:active {
  color: #F24E67;
}

body {
  max-width: 1024px;
  margin-left: auto;
  margin-right: auto;
  padding: 10px;
  background: #ffffff;
}

footer {
  margin-top: auto;
}

header h1 {
  border-bottom: 4px solid #29A09E;
}

main h2 {
  border-bottom: 2px solid #0ED0B8;
}

main p {
  margin: 1em;
}

main table {
  margin-left: 2em;
}

p.abstract {
  margin: 1ex auto;
  max-width: 768px;
}

table.schedule {
  width: 95%;
  border-collapse: collapse;
}

table.schedule td {
  padding: 1ex 1em;
}

table.schedule tr:hover {
  background-color: #E4E0F5;
}

table.schedule tr.cancelled, table.schedule tr.cancelled:hover {
  background-color: #f0f0f0;
  color: #555555;
}

table.schedule thead {
  font-weight: bold;
}

pre {
  margin: 2ex 2em;
}

dt {
  margin: 2ex 0 1ex 0;
  font-weight: bold;
}

dd {
  margin: 1ex 2em;
}

div.info {
  background-color: #7F9CDC;
}

div.warning {
  background-color: #FBC6CE;
}

a.button {
  margin: 1ex 1em;
  padding: 0.5ex 0.5em;
  line-height: 2.5;
  border: none;
  border-radius: 3px;
  white-space: nowrap;
  background-color: #0ED0B8;
  color: white;
  text-decoration: none;
  box-shadow: 0 2px #0CAC99;
}

a.button:hover {
  background-color: #10E5CC;
}

pre.sourceCode {
  margin: 1ex 2em;
  padding: 1ex 1em;
  width: 99ch;
  overflow-x: auto;
  border: 3px solid #777;
  border-radius: 6px;
  background-color: #252525;
  color: #dddddd;
}

code:not([class^=sourceCode]) {
  background-color: #f4f4f4;
}

span.py, span.nlp, span.eng {
  color: white;
  font-weight: bold;
  border-radius: 4px;
  padding: 2px 4px;
  line-height: 1.8;
}

span.py {
  background-color: #27488D;
}

span.nlp {
  background-color: #0ED0B8;
}

span.eng {
  background-color: #F24E67;
}

@media screen and (max-width: 799px) {
  html {
    font-size: small;
  }
}

/*# sourceMappingURL=main.css.map */