/* Minimal subset of the site's paper-preprint aesthetic */
*, *::before, *::after {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}

html {
  font-size: 18px;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

body {
  font-family: Charter, 'Bitstream Charter', Georgia, 'Noto Serif', serif;
  color: #1a1a1a;
  background-color: #ffffff;
  line-height: 1.7;
  display: flex;
  justify-content: center;
  min-height: 100vh;
}

.page {
  max-width: 720px;
  width: 100%;
  padding: 4rem 1.5rem;
}

h1 {
  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', 'Noto Sans', Helvetica, Arial, sans-serif;
  font-weight: 600;
  font-size: 1.8rem;
  line-height: 1.3;
  margin-bottom: 1.5rem;
}

.wip {
  color: #555555;
  font-size: 1.05rem;
}

@media (max-width: 640px) {
  html {
    font-size: 16px;
  }
  .page {
    padding: 2rem 1rem;
  }
  h1 {
    font-size: 1.5rem;
  }
}