:root {
  --text: #222;
  --secondary: #666;
  --link: #2457a7;
  --border: #ddd;
  --background: #fff;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  background: var(--background);
  color: var(--text);

  font-family:
    -apple-system,
    BlinkMacSystemFont,
    "Segoe UI",
    Helvetica,
    Arial,
    sans-serif;

  font-size: 17px;
  line-height: 1.65;
}

main {
  max-width: 760px;
  margin: 0 auto;
  padding: 70px 24px 40px;
}

header {
  margin-bottom: 60px;
}

h1 {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 2.5rem;
  font-weight: normal;
  line-height: 1.2;

  margin: 0 0 5px;
}

.subtitle {
  color: var(--secondary);
  margin-top: 0;
  font-size: 1.05rem;
}

nav {
  margin-top: 25px;
}

nav a {
  margin-right: 18px;
}

section {
  margin: 50px 0;
}

h2 {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.55rem;
  font-weight: normal;

  padding-bottom: 4px;
  border-bottom: 1px solid var(--border);
}

a {
  color: var(--link);
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

.publications {
  padding-left: 24px;
}

.publications li {
  margin-bottom: 28px;
  padding-left: 6px;
}

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

.venue {
  color: var(--secondary);
}

.paper-links {
  margin-top: 4px;
}

.paper-links a {
  margin-right: 10px;
  font-size: 0.95rem;
}

.links a {
  margin-right: 3px;
}

footer {
  margin-top: 70px;
  padding-top: 15px;

  border-top: 1px solid var(--border);

  color: var(--secondary);
  font-size: 0.85rem;
}


/* Mobile */

@media (max-width: 600px) {
  main {
    padding-top: 40px;
  }

  h1 {
    font-size: 2.1rem;
  }

  nav a {
    display: inline-block;
    margin-bottom: 5px;
  }
}