/* latin-ext */
@font-face {
  font-family: 'Lato';
  font-style: italic;
  font-weight: 400;
  src: local('Lato Italic'), local('Lato-Italic'), url(https://fonts.gstatic.com/s/lato/v15/S6u8w4BMUTPHjxsAUi-qNiXg7eU0.woff2) format('woff2');
  unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'Lato';
  font-style: italic;
  font-weight: 400;
  src: local('Lato Italic'), local('Lato-Italic'), url(https://fonts.gstatic.com/s/lato/v15/S6u8w4BMUTPHjxsAXC-qNiXg7Q.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
/* latin-ext */
@font-face {
  font-family: 'Lato';
  font-style: italic;
  font-weight: 700;
  src: local('Lato Bold Italic'), local('Lato-BoldItalic'), url(https://fonts.gstatic.com/s/lato/v15/S6u_w4BMUTPHjxsI5wq_FQftx9897sxZ.woff2) format('woff2');
  unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'Lato';
  font-style: italic;
  font-weight: 700;
  src: local('Lato Bold Italic'), local('Lato-BoldItalic'), url(https://fonts.gstatic.com/s/lato/v15/S6u_w4BMUTPHjxsI5wq_Gwftx9897g.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
/* latin-ext */
@font-face {
  font-family: 'Lato';
  font-style: normal;
  font-weight: 400;
  src: local('Lato Regular'), local('Lato-Regular'), url(https://fonts.gstatic.com/s/lato/v15/S6uyw4BMUTPHjxAwXiWtFCfQ7A.woff2) format('woff2');
  unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'Lato';
  font-style: normal;
  font-weight: 400;
  src: local('Lato Regular'), local('Lato-Regular'), url(https://fonts.gstatic.com/s/lato/v15/S6uyw4BMUTPHjx4wXiWtFCc.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
/* latin-ext */
@font-face {
  font-family: 'Lato';
  font-style: normal;
  font-weight: 700;
  src: local('Lato Bold'), local('Lato-Bold'), url(https://fonts.gstatic.com/s/lato/v15/S6u9w4BMUTPHh6UVSwaPGQ3q5d0N7w.woff2) format('woff2');
  unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
  font-family: 'Lato';
  font-style: normal;
  font-weight: 700;
  src: local('Lato Bold'), local('Lato-Bold'), url(https://fonts.gstatic.com/s/lato/v15/S6u9w4BMUTPHh6UVSwiPGQ3q5d0.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

a {
  color: #1e5fa1;
  text-decoration: none;
}

a:focus,
a:hover {
  color: #f09228;
  text-decoration: none;
}

body{
  line-height: 1.6em;
}
td,
th,
tr,
p,
a {
  font-family: 'Lato', Verdana, Helvetica, sans-serif;
  font-size: 16px
}

strong {
  font-family: 'Lato', Verdana, Helvetica, sans-serif;
  font-size: 16px;
}

conf {
  font-family: 'Optima', 'Lato', Verdana, Helvetica, sans-serif;
  font-size: 16px;
  font-style: italic;
}

heading {
  font-family: 'Optima', 'Lato', Verdana, Helvetica, sans-serif;
  font-size: 28px;
}

papertitle {
  font-family: 'Optima', 'Lato', Verdana, Helvetica, sans-serif;
  font-size: 18px;
  font-weight: 700;
  color:#000000;
}

papertitle:hover{
  color:#818181;
}

name {
  font-family: 'Optima', 'Lato', Verdana, Helvetica, sans-serif;
  font-size: 32px;
}

pre {
  overflow-x: auto;
  text-align: left;
  border: 0.5px solid rgb(215, 215, 215);
  border-radius: 6px;
  background: rgba(239,239,239,0.6);
  padding: 5px 5px 5px 10px;
  line-height: 1.2;
  white-space: pre-wrap;
}

button {
  background: none;
  border: none;
  padding: 0;
  /*optional*/
  font-family: 'Lato', Verdana, Helvetica, sans-serif;
  font-size: 16px;
  /*input has OS specific font-family*/
  color:#1e5fa1;
  text-decoration: none;
  cursor: pointer;
}

button:hover{
  color: #f09228;
  text-decoration: none;
}


.one {
  width: 160px;
  height: 160px;
  position: relative;
}

.two {
  width: 160px;
  height: 160px;
  position: absolute;
  transition: opacity .2s ease-in-out;
  -moz-transition: opacity .2s ease-in-out;
  -webkit-transition: opacity .2s ease-in-out;
}

.fade {
  transition: opacity .2s ease-in-out;
  -moz-transition: opacity .2s ease-in-out;
  -webkit-transition: opacity .2s ease-in-out;
}

.code-card{
  background-color: rgba(239,239,239,0.66);
}

.tldr-label {
  display: inline-block;
  margin-right: 6px;
  padding: 0 6px;
  border-radius: 999px;
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.04em;
  color: #1e5fa1;
  background: rgba(30, 95, 161, 0.14);
}

.tldr-line {
  display: inline-block;
  margin-bottom: 4px;
  padding: 2px 8px;
  border-left: 3px solid #1e5fa1;
  border-radius: 0 6px 6px 0;
  background: rgba(30, 95, 161, 0.08);
  line-height: 1.4em;
  color: #1a1a1a;
}

/* Paper description paragraphs in muted gray */
.text2 p {
  color: #777;
}


/* pre code {
  text-align: left;
  word-wrap: normal;
  white-space: pre-wrap;
  font-size: 15px;
} */

span.highlight {
  background-color: #ffffd0;
}

/* ---- Top navigation bar ---- */
body {
  margin: 0;
}

.topnav {
  position: sticky;
  top: 0;
  z-index: 1000;
  display: flex;
  align-items: center;
  justify-content: space-between;
  flex-wrap: wrap;
  gap: 8px 16px;
  padding: 12px 28px;
  background: rgba(255, 255, 255, 0.92);
  backdrop-filter: saturate(180%) blur(8px);
  -webkit-backdrop-filter: saturate(180%) blur(8px);
  border-bottom: 1px solid #ECECEC;
  box-shadow: 0 1px 4px rgba(0, 0, 0, 0.06);
}

.topnav .brand {
  font-family: 'Optima', 'Lato', Verdana, Helvetica, sans-serif;
  font-size: 20px;
  font-weight: 700;
  color: #000;
}

.topnav .brand:hover {
  color: #f09228;
}

.topnav .navlinks a {
  font-family: 'Optima', 'Lato', Verdana, Helvetica, sans-serif;
  font-size: 16px;
  margin-left: 22px;
  color: #1e5fa1;
}

.topnav .navlinks a:hover {
  color: #f09228;
}

/* anchor offset so the sticky nav doesn't cover section tops */
#about,
#news,
#publications,
#honors {
  scroll-margin-top: 72px;
}

/* ---- Back-to-top button ---- */
.back-to-top {
  position: fixed;
  right: 24px;
  bottom: 24px;
  z-index: 1000;
  width: 44px;
  height: 44px;
  border-radius: 50%;
  background: #1e5fa1;
  color: #fff;
  font-size: 18px;
  display: flex;
  align-items: center;
  justify-content: center;
  cursor: pointer;
  box-shadow: 0 2px 8px rgba(0, 0, 0, 0.25);
  opacity: 0;
  visibility: hidden;
  transform: translateY(8px);
  transition: opacity .2s ease, transform .2s ease, background .2s ease, visibility .2s;
}

.back-to-top.visible {
  opacity: 1;
  visibility: visible;
  transform: translateY(0);
}

.back-to-top:hover {
  background: #f09228;
  color: #fff;
}

@media (max-width: 768px) {
  .topnav {
    padding: 10px 16px;
  }
  .topnav .brand {
    font-size: 17px;
  }
  .topnav .navlinks a {
    margin-left: 14px;
    font-size: 14px;
  }
  .back-to-top {
    right: 16px;
    bottom: 16px;
    width: 40px;
    height: 40px;
  }
}