@import url("/?originalUrl=https%3A%2F%2Ffonts.googleapis.com%2Fcss2%3Ffamily%3DOpen%2BSans%3Aital%2Cwght%400%2C300..800%3B1%2C300..800%26display%3Dswap");
@import url("/?originalUrl=https%3A%2F%2Ffonts.googleapis.com%2Fcss2%3Ffamily%3DB612%2BMono%3Aital%2Cwght%400%2C400%3B0%2C700%3B1%2C400%3B1%2C700%26family%3DNoto%2BSans%2BMono%3Awght%40100..900%26display%3Dswap");

a {
  color: #424fc4;
  text-decoration: none;
}

.authors a {
  color: rgb(0, 109, 168);
  text-decoration: none;
}

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

body,
td,
th,
tr,
p,
a {
  font-family: "Open Sans", sans-serif;
  font-size: 15px;
}

strong {
  font-family: "Open Sans", sans-serif;
  font-size: 15px;
}

.authors small {
  font-family: "Open Sans", sans-serif;
  font-size: 12px;
  color: gray;
}

.time {
  font-family: "B612 Mono", monospace;
}

h2 {
  margin: 0;
  font-weight: normal;
  font-family: "Open Sans", sans-serif;
  font-size: 24px;
}

.papertitle {
  font-family: "Open Sans", sans-serif;
  font-size: 18px;
  font-weight: 700;
}

.name {
  padding-top: 20px;
  margin: 0;
  font-family: "Open Sans", sans-serif;
  font-size: 32px;
}

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

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

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

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