html {
  --highlight: #e63e51;
  --mark-background: rgb(from var(--highlight) r g b / 0.5);
  --output-background: rgb(from var(--color) r g b / 0.04);
  --content-width: 45rem;
  --form-width: 24rem;
  --focus-color: var(--highlight);
  --mark-border-width: 2px;
  height: 100%;
}
html[data-color-scheme="light"] {
  --highlight: #b23;
  --mark-background: #ffe1e4;
  --focus-color: var(--highlight);
}
html.cover {
  --content-width: 32rem;
}
body {
  min-height: 100%;
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  padding: 0 1em;
  margin: 0;
}
hr {
  display: none;
}
main {
  width: 100%;
  max-width: var(--content-width);
  margin: 0 auto;
}
h1 {
  font-family: serif;
  font-size: 1.6rem;
  font-weight: normal;
  font-variant: small-caps;
  line-height: 1.1;
  text-align: center;
  margin: 1rem auto;
  transform: scaleY(0.85);
}
h1 a,
h1 a:link,
h1 a:visited,
h1 a:active {
  color: var(--color);
  text-decoration: none;
}
h1 a:hover {
  color: var(--color);
  text-decoration: underline;
  text-decoration-thickness: var(--border-width);
  text-underline-offset: 0.2rem;
}
html.cover h1 {
  font-size: 2.4rem;
  margin: 2rem auto;
}
h2 {
  font-size: 1em;
  font-weight: normal;
  font-style: italic;
}
@media (max-width: 500px) {
  html.cover h1 {
    font-size: 2rem;
  }
}
form.input {
  text-align: center;
  margin: 1em auto 2em;
}
html.search form.input {
  font-size: 0.9em;
  margin-bottom: 1rem;
}
form.input .text {
  width: var(--form-width);
  max-width: 100%;
  margin-left: auto;
  margin-right: auto;
  position: relative;
}
form.input .text svg {
  height: 1rem;
  position: absolute;
  top: 50%;
  left: 0;
  transform: translateY(-50%);
}
form.input .text input {
  display: block;
  width: 100%;
  font-size: 1.35em;
  font-weight: bold;
  color: var(--emphatic-color);
  background: none transparent;
  border: none;
  border-bottom: var(--input-border-width) solid;
  padding: 0 1.5rem;
  box-sizing: border-box;
}
form.input .text input:focus {
  border-color: var(--focus-color);
  outline: none;
}
form.input .text button {
  width: 1.3rem;
  text-align: right;
  background: none transparent;
  border: none;
  padding: 0 0.2rem;
  position: absolute;
  top: 50%;
  right: 0;
  transform: translate(0, -50%);
  cursor: pointer;
  box-sizing: border-box;
}
form.input .controls br,
form.input .controls input {
  display: none;
}
form.input .controls label {
  cursor: pointer;
}
form.input .controls label ~ label {
  margin-inline-start: 1.25em;
}
form.input .controls input + span::before {
  content: "\2713";
  display: inline-block;
  font-weight: bold;
  text-align: right;
  margin-right: 0.5em;
  opacity: 0.15;
}
form.input .controls input:checked + span::before {
  color: var(--highlight);
  opacity: 1;
}
.output {
  background: var(--output-background);
  line-height: 1.5;
  padding: 2.75em 3em;
}
.output[data-status="loading"] {
  font-style: italic;
  text-align: center;
  background: transparent;
  padding: 6.1em 3em;
}
@media (max-width: 500px) {
  .output {
    padding: 0.5em 1em;
    margin: 0 -1em;
  }
  .output[data-status="loading"],
  .output[data-status="warning"] {
    padding: 1.5em 1em;
  }
  .output[data-status="loading"] {
    padding: 5.85em 1em;
  }
}

dl {
  display: block;
  list-style: none;
  padding: 0;
  margin: 0;
}
@media (max-width: 500px) {
  dl {
    margin: 1.75rem 0;
  }
}
dt {
  display: inline;
  font-size: 1.2em;
  color: var(--emphatic-color);
  padding: 0;
  margin: 0 0.5em 0 0;
}
dt:not(:first-child)::before {
  content: "";
  display: block;
  border-top: var(--border-width) solid rgb(from var(--color) r g b / 0.25);
  margin: 0.75em 0;
}
dd {
  display: inline;
  padding: 0;
  margin: 0;
}
dl mark {
  font-weight: inherit;
  font-style: inherit;
  color: inherit;
  background: var(--mark-background);
  border-bottom: var(--mark-border-width) solid var(--highlight); /* 0.15em */
}
dd > span + span::before {
  content: " ⬥ ";
  color: var(--color);
  margin: 0 0.25em;
}
dd > span .ex::before {
  content: " ⬦ ";
  color: var(--color);
  margin: 0 0.25em;
}
dd .intro,
dd .spec,
dd .term .d {
  color: rgb(from var(--color) r g b / 0.5);
}
dd .intro .d::before,
dd .intro .d::after {
  content: "'";
}
dd .title {
  font-weight: normal;
  font-style: italic;
  font-variant: all-small-caps;
  margin-right: 0.2em;
}
abbr {
  font-style: italic;
  text-decoration: none;
  white-space: nowrap;
  color: var(--highlight);
  cursor: help;
}
abbr.i {
  color: inherit;
}

footer {
  width: 100%;
  max-width: var(--content-width);
  text-align: center;
  padding: 1em 0;
  margin: 0 auto;
  box-sizing: border-box;
}
html.cover footer {
  margin-top: 1em;
}
nav {
  width: var(--form-width);
  max-width: 100%;
  margin: 0 auto;
}
html.search nav {
  display: none;
}
nav ul {
  display: flex;
  flex-wrap: wrap;
  list-style: none;
  justify-content: center;
  padding: 0;
}
nav li {
  display: inline-block;
  margin: 0 1em;
}
nav li.hidden {
  display: none;
}
nav li::after {
  content: "▶";
  font-size: 0.65em;
  margin-left: 0.75em;
}
footer p.signature {
  display: inline-block;
}
html.cover footer p.signature {
  margin-top: 2rem;
}

.framed-block {
  text-align: start;
  line-height: 1.3;
  border: var(--border-width) solid rgb(from var(--color) r g b / 0.25);
  border-radius: 0.5em;
  padding: 0.4rem 1.5rem 0.3rem;
  position: relative;
}
.framed-block h2 {
  text-align: center;
  background: var(--background);
  padding: 0 0.5em;
  margin: 0;
  position: absolute;
  left: 50%;
  top: 0;
  transform: translate(-50%, -55%);
}
.framed-block ul {
  padding-inline-start: 1em;
}
.info {
  margin-top: 3rem;
}