/*! modern-normalize v3.0.1 | MIT License | https://github.com/sindresorhus/modern-normalize */
/*
Document
========
*/
/**
Use a better box model (opinionated).
*/
*,
::before,
::after {
  box-sizing: border-box;
}

html {
  /* Improve consistency of default fonts in all browsers. (https://github.com/sindresorhus/modern-normalize/issues/3) */
  font-family: system-ui, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji";
  line-height: 1.15; /* 1. Correct the line height in all browsers. */
  -webkit-text-size-adjust: 100%; /* 2. Prevent adjustments of font size after orientation changes in iOS. */
  tab-size: 4; /* 3. Use a more readable tab size (opinionated). */
}

/*
Sections
========
*/
body {
  margin: 0; /* Remove the margin in all browsers. */
}

/*
Text-level semantics
====================
*/
/**
Add the correct font weight in Chrome and Safari.
*/
b,
strong {
  font-weight: bolder;
}

/**
1. Improve consistency of default fonts in all browsers. (https://github.com/sindresorhus/modern-normalize/issues/3)
2. Correct the odd 'em' font sizing in all browsers.
*/
code,
kbd,
samp,
pre {
  font-family: ui-monospace, SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; /* 1 */
  font-size: 1em; /* 2 */
}

/**
Add the correct font size in all browsers.
*/
small {
  font-size: 80%;
}

/**
Prevent 'sub' and 'sup' elements from affecting the line height in all browsers.
*/
sub,
sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
}

sub {
  bottom: -0.25em;
}

sup {
  top: -0.5em;
}

/*
Tabular data
============
*/
/**
Correct table border color inheritance in Chrome and Safari. (https://issues.chromium.org/issues/40615503, https://bugs.webkit.org/show_bug.cgi?id=195016)
*/
table {
  border-color: currentcolor;
}

/*
Forms
=====
*/
/**
1. Change the font styles in all browsers.
2. Remove the margin in Firefox and Safari.
*/
button,
input,
optgroup,
select,
textarea {
  font-family: inherit; /* 1 */
  font-size: 100%; /* 1 */
  line-height: 1.15; /* 1 */
  margin: 0; /* 2 */
}

/**
Correct the inability to style clickable types in iOS and Safari.
*/
button,
[type=button],
[type=reset],
[type=submit] {
  -webkit-appearance: button;
}

/**
Remove the padding so developers are not caught out when they zero out 'fieldset' elements in all browsers.
*/
legend {
  padding: 0;
}

/**
Add the correct vertical alignment in Chrome and Firefox.
*/
progress {
  vertical-align: baseline;
}

/**
Correct the cursor style of increment and decrement buttons in Safari.
*/
::-webkit-inner-spin-button,
::-webkit-outer-spin-button {
  height: auto;
}

/**
1. Correct the odd appearance in Chrome and Safari.
2. Correct the outline style in Safari.
*/
[type=search] {
  -webkit-appearance: textfield; /* 1 */
  outline-offset: -2px; /* 2 */
}

/**
Remove the inner padding in Chrome and Safari on macOS.
*/
::-webkit-search-decoration {
  -webkit-appearance: none;
}

/**
1. Correct the inability to style clickable types in iOS and Safari.
2. Change font properties to 'inherit' in Safari.
*/
::-webkit-file-upload-button {
  -webkit-appearance: button; /* 1 */
  font: inherit; /* 2 */
}

/*
Interactive
===========
*/
/*
Add the correct display in Chrome and Safari.
*/
summary {
  display: list-item;
}

#footer {
  padding-top: 0.5em;
  text-align: center;
  color: #666;
  line-height: 1;
}
#footer :link, #footer :visited {
  color: inherit;
  text-decoration: none;
}
#footer a[href]:hover {
  text-decoration: underline;
  text-decoration-color: #ffb703;
  text-decoration-thickness: 2px;
}

#page-header.long h1 {
  margin: 0;
  font-family: system-ui;
  font-weight: 800;
  font-style: normal;
  line-height: 1;
}
#page-header.long h1 + div {
  margin-top: 0.5em;
}
#page-header.long #columns {
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
  column-gap: 1em;
  row-gap: 0.5em;
}
#page-header.long div.column > p {
  margin: 0.7em 0;
}
#page-header.long div.column > p:first-child {
  margin-top: 0;
}
#page-header.long div.column > p:last-child {
  margin-bottom: 0;
}
#page-header.long .lead-icon {
  margin-right: 0.4em;
}
#page-header.long #office > .lead-icon {
  margin-left: 2px;
}
#page-header.long #portrait {
  display: block;
  object-fit: contain;
  border-radius: 10px;
  overflow: hidden;
  float: right;
  margin-left: 1em;
  margin-bottom: 0;
}
@media (max-width: 768px) {
  #page-header.long #portrait {
    height: 120px;
  }
}
#page-header.long #bio {
  text-align: justify;
}
#page-header.long .wide-navigation {
  font-family: system-ui;
  border-radius: 0px;
  overflow: hidden;
  line-height: 1;
  font-size: 110%;
}
@media (max-width: 768px) {
  #page-header.long .wide-navigation {
    font-size: 100%;
  }
}
#page-header.long .wide-navigation ul {
  margin: 0;
  padding: 0;
  list-style-type: none;
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
  gap: 1px;
}
#page-header.long .wide-navigation ul li {
  padding: 0.5em;
  color: #ffffff;
  background-color: #023047;
  flex-grow: 1;
  text-align: center;
}
#page-header.long .wide-navigation ul li a {
  color: #ffffff;
  text-decoration: none;
}
#page-header.long .wide-navigation ul li a:hover {
  color: #ffb703;
}
@media print {
  #page-header.long .wide-navigation ul {
    display: none;
  }
}
@media print {
  #page-header.long .wide-navigation hr {
    display: block !important;
  }
}

#page-header.short {
  line-height: 1.2;
  font-family: system-ui;
}
#page-header.short h1 {
  margin: 0;
  font-size: 120%;
}
#page-header.short h1 .arrow {
  color: #fb8500;
}
#page-header.short #columns {
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
  column-gap: 1em;
  align-items: center;
  justify-content: space-between;
}
#page-header.short .inline-navigation ul {
  margin: 0;
  padding: 0;
  list-style-type: none;
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
  column-gap: 1em;
}
#page-header.short .inline-navigation ul li {
  margin: 0;
}
@media print {
  #page-header.short .inline-navigation {
    display: none;
  }
}

.section-heading {
  line-height: 1;
  border-radius: 0px;
  font-family: system-ui;
}

#teaching li + li {
  margin-top: 0.5em;
}

#research p {
  text-align: justify;
}

#contact-page h1 {
  font-family: system-ui;
}

body {
  background-color: #ffffff;
  color: #023047;
  padding: 0;
  font-family: Verdana, sans-serif;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  line-height: 1.4;
  font-size: 14px;
  margin: 2em;
}
@media (max-width: 768px) {
  body {
    margin: 5px;
  }
  body ul {
    padding-inline-start: 20px;
  }
}

.sub {
  font-size: 80%;
}

code {
  white-space: pre;
}

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

:visited {
  color: #0b0080;
}

a[href]:hover {
  text-decoration: underline;
  text-decoration-color: #ffb703;
  text-decoration-thickness: 3px;
}

div.abstract {
  display: none;
}

div.abstract > p {
  margin-block-start: 0;
  margin-block-end: 0;
  text-indent: 0;
}

div.abstract > p:not(:first-child) {
  text-indent: 2em;
}

ul li.paper {
  margin-top: 0.5em;
}

.paper ul.authors {
  list-style: none;
  padding: 0;
}
.paper ul.authors li {
  display: inline;
}
.paper ul.authors li::after {
  content: ", ";
  white-space: nowrap;
}
.paper ul.authors li:last-child::after {
  content: "";
}

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