body, p, th,td,tr,ul,ol { font-family: sans-serif; color: #000000; }
h1,h2,h3,h4 { font-family: sans-serif; color: #003399; }
pre,tt { font-family: monospace }

body {
  font-family: sans-serif;
  background-color: #ffffff;
}
.body {
  padding-left: 12pt;
  padding-right: 12pt;
}

.paper-author {
}

.paper-title {
  font-weight: bold;
}

.paper-venue {
  font-size: small;
}

.paper-links {
  font-size: small;
}