* {
  margin: 0;
  padding: 0;
}

h1, h2, h3, h4, h5, h6 {
  font-family: "Gentium Basic";
  font-weight: bold;
}

h1 {
  font-size: 1.3em;
}

h2 {
  font-size: 1.15em;
}

h3 {
  font-size: 1em;
}

h2 {
  border-bottom: 1px solid #c4c4c4;
}

h1 {
  margin-top: 1.7em;
  margin-bottom: 1em;
}

h2 {
  margin-top: 1.5em;
  padding-bottom: 0.1em;
  margin-bottom: 1em;
}

h3 {
  margin-top: 1.5em;
  margin-bottom: 0.5em;
}

h4, h5, h6 {
  margin-top: 1.1em;
  margin-bottom: 0.5em;
}

a {
  color: black;
  text-decoration: underline;
  text-decoration-style: solid;
  text-decoration-color: #b3b3b3;
}

a:hover {
  text-shadow: none;
}

ul {
  overflow: hidden;
}

li {
  list-style-type: square;
  margin-left: 2em;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

.katex {
  font-size: 1em !important;
}

.katex-display {
  margin: 0.8em 0;
}

.katex-display .katex {
  font-size: 1em !important;
}

/* There are three kinds of code blocks.
   1. Inline code: <code>...</code>
   1. Pandoc default display code blocks: <pre><code>...</code></pre>
   2. Display (highlighted): <div class="listing"><code>...</code></div> */
pre {
  font-family: "Computer Modern Typewriter";
}

code {
  font-family: "Computer Modern Typewriter";
  background-color: #F5F5F5;
  border-radius: 5px;
  font-size: 90%;
  padding: 0.2em 0.4em;
}

pre code, .listing code {
  display: block;
  padding: 0.8em 1em;
  margin-top: 1em;
  margin-bottom: 1em;
}

table {
  margin-left: -2px;
}

table td {
  padding-right: 0.5em;
}

blockquote {
  font-size: 1em;
  font-style: italic;
  background-color: #F5F5F5;
  border-radius: 5px;
  padding: 0.8em 1em;
  margin-top: 1em;
  margin-bottom: 1em;
}
blockquote p {
  margin-bottom: 0 !important;
}

img.graphviz, img.diagram {
  display: block;
  margin: 1em auto;
}

html {
  font-size: 10.5pt;
  font-family: "Gentium Basic";
  color: black;
  background-color: white;
  line-height: 1.7;
}

.inside {
  width: 750px;
  max-width: 90%;
  margin: auto;
}

header {
  padding-top: 0.7em;
  padding-bottom: 0.7em;
  background-color: #f1f1f1;
  border-bottom: 1px solid #c4c4c4;
}
header .inside {
  display: grid;
  grid-template-columns: auto max-content;
  align-items: center;
}
header h1 {
  font-size: 1.5em;
  margin: 0.5em 0;
}
header h1 a {
  text-decoration: none;
}
header h1 a:hover {
  text-shadow: none;
}
header nav {
  display: block;
  text-align: right;
}
header nav a {
  text-decoration: none;
  display: inline-block;
  margin-left: 1.2em;
  margin-right: 0em;
}
header nav a:hover {
  text-decoration: none;
  text-shadow: -0.02ex 0 black, 0.02ex 0 black;
}

@media only screen and (min-device-width: 320px) and (max-device-width: 480px) {
  header .inside {
    grid-template-columns: 1fr;
  }
  header nav {
    text-align: left;
  }
  header nav a {
    margin-left: 0px;
  }
}
#abstract {
  padding-top: 20px;
  padding-bottom: 20px;
  background-color: #DDDDDD;
  border-bottom: 1px solid #c4c4c4;
}
#abstract p {
  text-align: justify;
}
#abstract a {
  text-decoration-color: #b3b3b3;
}
#abstract p, #abstract ul {
  margin-bottom: 0.7em;
}
#abstract code {
  background-color: #DDDDDD;
}

#main {
  margin-top: 2em;
  background-color: white;
}
#main article p {
  text-align: justify;
}
#main article p, #main article ul {
  margin-bottom: 0.7em;
}

#footspace {
  height: 10em;
}

footer {
  padding-top: 20px;
  padding-bottom: 20px;
  background-color: #DDDDDD;
  border-top: 1px solid #c4c4c4;
}
footer p {
  text-align: right;
}

.cv section {
  margin-bottom: 2.5em;
}

.cv-section-body {
  margin-left: 2em;
}

.cv-section-body.not-indented {
  margin-left: 0;
}

.cv-item {
  margin: 1em 0;
}
.cv-item .cv-item-title {
  font-weight: bold;
}
.cv-item .cv-item-subtitle {
  font-style: italic;
}
.cv-item .cv-item-description {
  margin-left: 2em;
}
.cv-item .cv-item-description p {
  text-align: justify;
}

.cv-item .hidden, .news-item .hidden {
  font-size: 90%;
  background-color: #F5F5F5;
  border-radius: 5px;
  padding: 0.8em 1em;
  margin-top: 1em;
  margin-bottom: 1em;
}
.cv-item .hidden h3:first-child, .news-item .hidden h3:first-child {
  margin-top: 0.2em;
}

.hidden-nobg {
  background-color: transparent !important;
}

.cv-subsection {
  margin-bottom: 2em;
}
.cv-subsection h3 {
  font-size: 1.1em;
  margin-bottom: 1em;
}

.cv-subsection-body {
  margin-left: 2em;
}

.with-date {
  display: grid;
  align-items: center;
  grid-template-columns: auto 10em;
}
.with-date .date, .with-date div.venue {
  padding-left: 3em;
  text-align: right;
}

.button {
  cursor: pointer;
  white-space: nowrap;
  text-decoration: none;
  background-color: #F5F5F5;
  border-radius: 5px;
  border: 1px solid gainsboro;
  font-size: 85%;
  font-style: normal;
  padding: 0.2em 0.4em;
}

.button:hover {
  background-color: #ededed;
}

.cv .feedback {
  font-style: italic;
  padding: 2em;
}
.cv .feedback p {
  display: block;
  margin: 1em 0;
}
.cv .feedback p:first-child {
  margin-top: 0;
}
.cv .feedback p:last-child {
  margin-bottom: 0;
}

.edu-location {
  font-weight: normal;
}

.publication .with-date {
  align-items: flex-start;
}

.article-header {
  margin-bottom: 1.8em;
}
.article-header h1 {
  margin-top: 1.4em;
  margin-bottom: 0em;
}
.article-header p.metadata {
  margin: 0.3em 0px !important;
}

#main section {
  margin-bottom: 2.5em;
}

.news {
  display: grid;
  grid-template-columns: 1fr;
  grid-row-gap: 0.8em;
}
.news .date {
  font-family: "Gentium Basic";
  text-align: right;
}
.news .news-item {
  display: grid;
  grid-template-columns: auto 10em;
  grid-column-gap: 1.5em;
}

.cols-auto-small {
  display: grid;
  grid-template-columns: auto max-content;
  align-items: center;
}

.cols-small-auto {
  display: grid;
  grid-template-columns: max-content auto;
  align-items: center;
}

.smartgrid {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  align-items: center;
  grid-column-gap: 3em;
}
@media only screen and (min-device-width: 320px) and (max-device-width: 480px) {
  .smartgrid {
    grid-template-columns: repeat(1, 1fr);
  }
}

img.floatr {
  display: block;
  float: right;
}

img.floatl {
  display: block;
  float: left;
}

@media only screen and (min-device-width: 320px) and (max-device-width: 480px) {
  img.ornemental {
    display: none;
  }
}

img.rmargin1 {
  margin-right: 1em;
}

img.lmargin1 {
  margin-left: 1em;
}

img.rmargin2 {
  margin-right: 2em;
}

img.lmargin2 {
  margin-left: 2em;
}

img.publication-thumbnail {
  display: block;
}

.indented {
  margin-left: 2em;
}

.small-sep {
  height: 0.5em;
}

.medium-sep {
  height: 1em;
}

.large-sep {
  height: 2em;
}

.xsmall-hsep {
  display: inline-block;
  width: 0.3em;
}

.small-hsep {
  display: inline-block;
  width: 0.5em;
}

.medium-hsep {
  display: inline-block;
  width: 1em;
}

.large-hsep {
  display: inline-block;
  width: 1em;
}

.tooltip {
  text-decoration: underline;
  text-decoration-style: solid;
  text-decoration-color: #b3b3b3;
  cursor: help;
}

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