/*@import "iosevka.css";*/

body {
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  /*
  font-family: "Iosevka Web";
  */
  margin-left: auto;
  margin-right: auto;
  max-width: 640px;
  line-height: 1.2;
  font-size: 15px;
  color: #333;
  padding:0 10px;
  background-color: #fcfcfc;
}

h1 {
  line-height: 1.2;
}

h2, h3 {
  line-height: 1.2;
  background-color: #efefef;
  padding-left: 0.5em;
}

a:link,
a:visited {
  color: #0038a8;
  text-decoration: none;
}

a:hover {
  color: #444;
  text-decoration: underline;
}

.navbar {
  width: 100%;
  background-color: #efefef;
}

.navbar-list {
  list-style-type: none;
  margin: 0;
  padding: 0;
  white-space: normal;
  font-size: 0;
  display: grid;
  grid-template-columns: repeat(4,1fr);
  flex-wrap: wrap;
  justify-content: space-around;
  gap: 15px;
}

.navbar-item {
  display: inline-block;
  font-size: 15px;
  line-height: 2rem;
}

@media (min-width: 660px) {
  .navbar {
    display: block;
    width: 100%;
    height: 2rem;
    background-color: #efefef;
  }

  .navbar-spacer {
    display: none;
  }

  .navbar-list {
    display: flex;
    justify-content: space-around;
    gap: 15px;
  }

  .has-docked-nav .navbar {
    max-width: 640px;
    position: fixed;
    top: 0;
    background-color: #efeff9;
    border-bottom-style: solid;
    border-bottom-width: 1px;
    border-bottom-color: #444;
  }

  .has-docked-nav .navbar-spacer {
    display: block;
    width: 100%;
    height: 2rem;
  }
}

.colorlinks a:link,
.colorlinks a:visited {
  color: #0038a8;
  text-decoration: none;
  transition: color .2s linear;
  transition-delay: .1s;
}

.colorlinks a:hover {
  color: #444;
  text-decoration: underline;
  transition: color 0s linear;
}

.paper-details a:link,
.paper-details a:visited {
  color: #556;
  text-decoration: none;
}

.paper-details a:hover {
  color: #444;
  text-decoration: underline;
}

.papers p {
  margin-left: 25px;
  text-indent: -25px;
}