/* bench.mqqn.net, shaped like a GNU Info manual: monospace nodes, Solarized light/dark. */
:root {
  --bg: #fdf6e3; --fg: #3b4a50; --muted: #839496; --rule: #e4dcc3;
  --accent: #6c71c4; --link: #268bd2; --code-bg: #eee8d5;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #002b36; --fg: #b3c0c0; --muted: #657b83; --rule: #0e4250;
    --accent: #8a8fd8; --link: #4aa3e0; --code-bg: #073642;
  }
}
* { box-sizing: border-box; }
html { font-size: 17px; }
body {
  margin: 0 auto; padding: 1.5rem 1.25rem 3rem; max-width: 84ch;
  background: var(--bg); color: var(--fg);
  /* Info is read in a terminal: monospace, about 80 columns */
  font-family: "JetBrains Mono", "Iosevka", "DejaVu Sans Mono", monospace;
  font-size: .9rem; line-height: 1.55;
}
/* the Info node line: File: bench,  Node: …,  Next: …,  Prev: …,  Up: … */
header.info { display: block; font-size: .85rem; color: var(--muted); margin-bottom: 1.6rem;
  border-bottom: 1px solid var(--rule); padding-bottom: .5rem; }
header.info b { color: var(--fg); }
header.info a { color: var(--link); text-decoration: none; }
/* headings underlined as makeinfo does: * for the title, = for sections, - below */
h1, h2, h3 { display: table; font-family: inherit; font-style: normal; font-weight: 700; font-size: 1rem; line-height: 1.4; }
h1 { margin: 0 0 1.2rem; } h2 { margin: 2rem 0 .6rem; } h3 { margin: 1.5rem 0 .4rem; }
h1::after, h2::after, h3::after { display: block; width: 0; min-width: 100%; overflow: hidden; white-space: nowrap;
  color: var(--muted); font-weight: 400; }
h1::after { content: "****************************************************************************************************"; }
h2::after { content: "===================================================================================================="; }
h3::after { content: "----------------------------------------------------------------------------------------------------"; }
pre.menu { background: none; padding: 0; margin-top: 2rem; }
pre.menu a { font-weight: 700; }
footer .keys { flex: 1; text-align: center; }
a { color: var(--link); text-decoration-thickness: 1px; text-underline-offset: 2px; }
code { font-family: "JetBrains Mono", "DejaVu Sans Mono", monospace; font-size: .82em;
  background: var(--code-bg); padding: .05em .3em; border-radius: 3px; }
pre { background: var(--code-bg); padding: .8rem 1rem; overflow-x: auto; border-radius: 4px; }
pre code { background: none; padding: 0; }
table { border-collapse: collapse; width: 100%; margin: 1rem 0 1.4rem; font-size: .88rem; }
th { text-align: left; font-weight: 600; border-bottom: 1px solid var(--fg); padding: .3rem .5rem .3rem 0; }
td { border-bottom: 1px solid var(--rule); padding: .35rem .5rem .35rem 0; vertical-align: top; }
td:first-child a { font-family: "JetBrains Mono", "DejaVu Sans Mono", monospace; font-size: .92em; }
blockquote { margin: 1rem 0; padding-left: 1rem; border-left: 2px solid var(--rule); color: var(--muted); }
ul { padding-left: 1.2rem; }
li { margin: .2rem 0; }
li.check { list-style: none; margin-left: -1.2rem; }
footer { margin-top: 3rem; padding-top: .6rem; border-top: 1px solid var(--rule);
  display: flex; justify-content: space-between; font-size: .8rem; color: var(--muted); }
footer a { color: var(--muted); }
img { max-width: 100%; }
img[src*="/covers/"] { width: 15rem; border: 1px solid var(--rule); box-shadow: 0 2px 8px rgb(0 0 0 / .15); }
.permalink { font-family: "JetBrains Mono", "DejaVu Sans Mono", monospace; }
@media (max-width: 34rem) {
  html { font-size: 16px; }
  table { font-size: .8rem; display: block; overflow-x: auto; }
}