/*
  Guix-manual-inspired document styling for archived README pages.
  This stylesheet targets the shared wrappers emitted by this site
  rather than Texinfo-specific HTML classes.
*/

html {
  background: #e7e7e7;
  color: #000;
  font-size: 16px;
  text-align: left;
}

body.readme-page {
  margin: 0;
  color: #000;
  font-family: "Linux Libertine O", "Palatino Linotype", Palatino, "Book Antiqua", Georgia, serif;
  font-size: 18px;
  line-height: 1.5;
}

*,
*::before,
*::after {
  box-sizing: border-box;
}

a {
  color: #005090;
  text-decoration: none;
}

a:visited {
  color: #100070;
}

a:hover,
a:focus {
  color: #100070;
  text-decoration: underline;
}

.readme-shell {
  max-width: 74.92em;
  margin: 0 auto 2em;
  padding: 0.5em 1em 1em;
  background: #fff;
  border: 0.1em solid #c0c0c0;
  font-size: 18px;
  line-height: 1.5;
}

.pp-breadcrumbs {
  margin: 0.35em 0 1.5em;
  color: #433;
  font-family: "Fira Sans", "Trebuchet MS", "Segoe UI", Arial, sans-serif;
  font-size: 0.95rem;
  line-height: 1.6;
}

.pp-breadcrumbs a,
.pp-breadcrumbs a:visited {
  color: #005090;
}

.readme-hero {
  margin: 0 0 2em;
  padding: 0 0 1.1em;
  border-bottom: 0.1em solid #d5bb7d;
}

.readme-kicker {
  margin: 0 0 0.4em;
  color: #433;
  font-family: "Fira Sans", "Trebuchet MS", "Segoe UI", Arial, sans-serif;
  font-size: 0.82rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.readme-hero h1 {
  margin: 0;
  color: #333;
  font-family: "Fira Sans", Helvetica, Arial, sans-serif;
  font-size: clamp(2rem, 3.8vw, 2.8rem);
  font-weight: 700;
  line-height: 1.05;
}

.readme-summary {
  max-width: 42em;
  margin: 0.8em 0 0;
  color: #333;
  font-size: 1.05rem;
}

.readme-body {
  max-width: 50em;
}

.readme-body > :first-child {
  margin-top: 0;
}

.readme-body > :last-child {
  margin-bottom: 0;
}

.readme-body h1,
.readme-body h2,
.readme-body h3,
.readme-body h4,
.readme-body h5,
.readme-body h6 {
  margin: 1.25em 0 0.6em;
  padding: 0;
  color: #333;
  font-family: "Fira Sans", Helvetica, Arial, sans-serif;
  font-weight: 700;
  line-height: 1.15;
}

.readme-body h1 {
  font-size: 2em;
}

.readme-body h2 {
  font-size: 1.5em;
}

.readme-body h3 {
  font-size: 1.3em;
}

.readme-body h4 {
  font-size: 1.13em;
}

.readme-body h5,
.readme-body h6 {
  font-size: 1em;
}

.readme-body p,
.readme-body pre,
.readme-body li,
.readme-body dt,
.readme-body dd,
.readme-body table,
.readme-body code,
.readme-body address {
  line-height: 1.5em;
}

.readme-body p,
.readme-body pre,
.readme-body ul,
.readme-body ol,
.readme-body dl,
.readme-body table,
.readme-body blockquote {
  margin: 1em 0;
}

.readme-body ul,
.readme-body ol {
  margin-left: 1.5%;
  padding-left: 1.2em;
}

.readme-body ul {
  list-style: square outside;
}

.readme-body ol {
  list-style: decimal outside;
}

.readme-body ul ul,
.readme-body ol ul {
  margin-top: 0;
  margin-bottom: 0;
  list-style: circle;
}

.readme-body li {
  margin: 0.5em 0 0.5em 1em;
}

.readme-body li p {
  margin-top: 0.3em;
  margin-bottom: 0.3em;
}

.readme-body dl {
  margin: 1em 0;
}

.readme-body dt {
  margin: 0.5em 0;
  color: #222;
  font-weight: 700;
}

.readme-body dd {
  margin: 0.5em 0 1em 3%;
}

.readme-body dd p {
  margin: 0.5em 0;
}

.readme-body pre {
  overflow: auto;
  padding: 0.7em 0.9em;
  background: #fbfaf7;
  border: 1px solid #d8d2c3;
  border-left: 0.35em solid #95b0d8;
  font-family: "Liberation Mono", Menlo, Consolas, monospace;
  font-size: 0.95em;
}

.readme-body code {
  font-family: "Liberation Mono", Menlo, Consolas, monospace;
  font-size: 0.92em;
}

.readme-body :not(pre) > code {
  padding: 0.08em 0.28em;
  background: #f2efe4;
}

.readme-body pre code {
  padding: 0;
  background: transparent;
}

.readme-body blockquote {
  margin-left: 3%;
  padding-left: 1em;
  border-left: 0.25em solid #d5bb7d;
  color: #333;
}

.readme-body hr {
  margin: 2em 0;
  background: #d5bb7d;
  border: 0;
  height: 1px;
}

.readme-body table {
  width: auto;
  max-width: 100%;
  border-collapse: separate;
  border-spacing: 0;
  overflow-x: auto;
  display: block;
}

.readme-body th,
.readme-body td {
  padding: 0.4em 0.6em;
  text-align: left;
  vertical-align: top;
  background: #fff;
  border: 1px solid #95b0d8;
}

.readme-body thead th {
  color: #222;
  font-weight: 700;
}

.readme-body img {
  display: block;
  max-width: 100%;
  height: auto;
  margin: 1em auto;
  padding: 0;
  border: 0;
}

.readme-card-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr));
  gap: 1rem;
}

.readme-card {
  display: block;
  padding: 0.9rem 1rem;
  color: inherit;
  text-decoration: none;
  background: #fff;
  border: 1px solid #c0c0c0;
}

.readme-card strong,
.readme-card span {
  display: block;
}

.readme-card strong {
  margin-bottom: 0.3rem;
  color: #333;
  font-family: "Fira Sans", Helvetica, Arial, sans-serif;
  font-size: 1rem;
}

.readme-card span {
  color: #333;
  font-size: 0.97rem;
}

.readme-card:hover,
.readme-card:focus {
  background: #f2efe4;
}

@media (min-width: 45em) {
  .readme-shell {
    padding: 0.5em 2em 1em;
  }
}

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

  .readme-shell {
    margin-bottom: 1em;
    padding-left: 1rem;
    padding-right: 1rem;
  }

  .readme-body {
    max-width: none;
  }
}