* {
  box-sizing: border-box;
}
body {
  margin: 0;
}
a {
  color: var(--ui-accent);
  text-underline-offset: 4px;
}
/* The same bar as the directory and the tools: the name, and the way to the tool list. */
.info-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 12px;
  min-height: 56px;
  padding: 8px var(--space-gutter);
}
.info-content {
  max-width: 800px;
  margin: 48px auto 64px;
  padding: 0 var(--space-gutter);
  line-height: 1.9;
}
.info-content h1 {
  margin: 0 0 18px;
  font-size: 30px;
  line-height: 1.5;
}
.info-lead {
  color: var(--ui-muted);
}
.info-content section {
  margin-top: 32px;
  padding-top: 24px;
  border-top: 1px solid var(--ui-border);
}
.info-content h2 {
  margin: 0 0 12px;
  font-size: 19px;
}
.info-content section p {
  color: var(--ui-muted);
  margin: 12px 0 0;
  font-size: 15px;
}
.info-tool-links {
  display: flex;
  flex-wrap: wrap;
  gap: 12px 24px;
  margin: 16px 0 0;
  padding: 0;
  list-style: none;
  font-size: 14px;
}
@media (max-width: 700px) {
  .info-header {
    min-height: 48px;
    padding-block: 5px;
  }
}
@media (max-width: 600px) {
  .info-content {
    margin-top: 28px;
  }
  .info-content h1 {
    font-size: 26px;
  }
}