@media (prefers-color-scheme: light) {
  :root {
    --background-color: white;
    --text-color: black;
    --link-color: blue;
    --visited-link-color: purple;
    --button-color: white;
    --remark-background: #e1e1e1;
  }
}

@media (prefers-color-scheme: dark) {
  :root {
    --background-color: #161616;
    --text-color: #e0e0e0;
    --link-color: SkyBlue;
    --visited-link-color: Orchid;
    --button-color: white;
    --remark-background: #4a4a4a;
  }
}

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

body {
  background-color: var(--background-color);
  color: var(--text-color);
  font-size: 16px;
  max-width: 80ch;
  margin: 2rem auto;
  line-height: 1.5;
}

h1 {
  text-align: center;
  font-variant-caps: small-caps;
}

.identifier {
  font-family: monospace;
  font-style: normal;
}

.package {
  font-family: monospace;
  font-style: normal;
}

q::before {
  content: "";
}

q::after {
  content: "";
}

.remark {
  font-size: 10pt;
  background-color: var(--remark-background);
}

.admonition {
  font-style: italic;
}

.note {
  border: solid;
  margin: 1em;
  padding-left: 10px;
  padding-right: 10px;
}

.synopsis {
  list-style: none;
  border: 1px solid;
  padding-left: 5px;
  padding-right: 5px;
}

.identifier-type {
  float: right;
}

.example {
  border: 1px dotted;
  margin: 1em;
  padding-left: 1em;
  padding-right: 1em;
}


.exprset {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 4px 12px;
}

.exprset dt {
  grid-column: 1;
}

.exprset dd {
  grid-column: 2;
  margin: 0;
}

.function {
  font-family: monospace;
  font-style: normal;
}

.auxiliary {
  font-family: monospace;
  font-style: normal;
}

.nonterminal {
  font-family: serif;
  font-style: italic;
}
.nonterminal-left-bracket {
  font-family: serif;
  font-style: italic;
}
.nonterminal-right-bracket {
  font-family: serif;
  font-style: italic;
}

.journaltitle {
  font-style: italic;
}
.conftitle {
  font-style: italic;
}
.techreporttitle {
  font-style: italic;
}
.booktitle {
  font-style: italic;
}

.evals-to {
  float: right;
  padding-right: 10em;
  font-family: monospace;
  font-style: normal;
}

.evals-error {
  float: right;
  padding-right: 10em;
  font-family: serif;
  font-style: italic;
}


pre {
  overflow-x: scroll;
  font-size: 12px;
}