:root {
  color-scheme: light;
  --ink: #111111;
  --muted: #555555;
  --line: #dddddd;
  --link: #111111;
  --soft: #f7f7f7;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  background: white;
  color: var(--ink);
  font-family: Georgia, "Times New Roman", serif;
  font-size: 18px;
  line-height: 1.55;
}

main {
  width: min(820px, calc(100% - 32px));
  margin: 0 auto;
  padding: 40px 0 56px;
  text-align: center;
}

h1,
h2,
h3,
p,
figure {
  margin-top: 0;
}

h1 {
  max-width: 780px;
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 0.45rem;
  font-size: clamp(1.35rem, 2.6vw, 1.75rem);
  line-height: 1.2;
  letter-spacing: 0;
}

h2 {
  margin-bottom: 0.65rem;
  font-size: 1em;
  line-height: 1.25;
  letter-spacing: 0;
}

h3 {
  margin: 1rem 0 0.55rem;
  font-size: 1rem;
  line-height: 1.25;
  letter-spacing: 0;
}

a {
  color: var(--link);
}

img {
  display: block;
  max-width: 100%;
}

.paper-header {
  padding-bottom: 1.5rem;
  border-bottom: 1px solid var(--line);
}

.authors,
.affiliations,
.actions,
.button,
.reveal-button {
  font-family: Arial, Helvetica, sans-serif;
}

.authors {
  margin-bottom: 0.35rem;
  color: var(--ink);
  font-size: 1.2rem;
}

.affiliations {
  margin: 0 0 1rem;
  color: var(--muted);
  font-size: 1.15rem;
}

.actions {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 0.6rem;
  margin-bottom: 2.5rem;
}

.abstract-label {
  margin-bottom: 0.35rem;
}

.button,
.reveal-button {
  appearance: none;
  border: 1px solid var(--line);
  border-radius: 4px;
  background: var(--soft);
  color: var(--link);
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 36px;
  padding: 0.4rem 0.65rem;
  font-size: 0.9rem;
  font-weight: 700;
  text-decoration: none;
  cursor: pointer;
}

.button {
  gap: 0.45rem;
}

.button-icon {
  width: 1rem;
  height: 1rem;
  fill: currentColor;
  flex: 0 0 auto;
}

.arxiv-logo {
  width: 2.2rem;
  height: auto;
  display: block;
}

.button:hover,
.button:focus-visible,
.reveal-button:hover,
.reveal-button:focus-visible {
  background: #eeeeee;
}

.reveal-button.show-solution {
  color: #2f8f46;
  border-color: #2f8f46;
}

.examples {
  padding-top: 1.5rem;
}

.example-card {
  padding: 0.75rem 0 1.35rem;
  border-top: 1px solid var(--line);
}

.example-card:first-of-type {
  margin-top: 1.1rem;
}

.transition-copy {
  margin: 0.35rem 0 1.1rem;
}

.hint {
  color: var(--muted);
}

.problem-frame {
  margin-bottom: 0.75rem;
}

.problem-frame img {
  width: min(620px, 100%);
  height: auto;
  margin: 0 auto;
  border: 1px solid var(--line);
}

.solution-label {
  margin-bottom: 0.4rem;
  color: #2f8f46;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 1.35rem;
  font-weight: 700;
}

.reveal-button {
  margin-top: 0;
}

@media (max-width: 640px) {
  body {
    font-size: 17px;
  }

  main {
    padding-top: 28px;
  }
}