body,
html {
  font-family: 'Roboto', Helvetica, Arial, sans-serif;
  font-size: 12pt;
  font-weight: 300;
  background-color: #eee;
  color: black;
  margin: 0;
  padding: 0;
}

a:link,
a:visited {
  text-decoration: none;
}

a:hover,
a:active {
  text-decoration: underline;
}

img.card-image {
  margin-right: 16px;
}

img.pub-image {
  margin: 0 16px 0 0;
}

hr {
  margin: 16px;
  height: 1px;
  border: none;
  background-color: #eee;
  padding: 0;
}

div.publinks {
  margin-top: 8px;
}

div.publinks a {
  margin-right: 8px;
}

main {
  margin: 0 auto;
  padding: 24px;
  max-width: 960px;
}

main > .paper-card:not(:last-child) {
  margin-bottom: 24px;
}

div.paper-card {
  background-color: white;
  border-radius: 2px;
  padding: 16px;
  box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14),
              0 1px 5px 0 rgba(0, 0, 0, 0.12),
              0 3px 1px -2px rgba(0, 0, 0, 0.2);
}

div.paper-card h2 {
  margin: 8px 0;
}

div.paper-card h3 {
  margin: 32px 0;
}

.float-left {
  float: left;
}

.float-clear {
  clear: left;
}