a {
  color: orange;
  font-weight: bold;
  text-decoration: none;
}

a:hover {
  color: #ff2400;
}

body {
  background-color: white;
  color: #131313;
  font-size: small;
  font-family: Helvetica, Arial, Verdana;
  scrollbar-track-color: #ffffff;
}

li {
  margin-top: 3px;
  margin-bottom: 9px;
}

ol {
  margin-top: 3px;
  margin-bottom: 3px;
}

p {
  text-align: justify;
  margin-top: 3px;
  margin-bottom: 12px;
}

table {
  background-color: white;
  color: #131313;
  font-size: small;
  font-family: Helvetica, Arial, Verdana;
}

tbody {
  vertical-align: top;
}

ul {
  list-style-type: disc;
  margin-top: 3px;
  margin-bottom: 3px;
}

.highlight {
  color: #ff2400;
  font-size: small;
  font-weight: bold;
}

.papertitle {
  color: #36454f;
  font-size: small;
  font-weight: bold;
}