:root {
  --gray-1: #f7f9f9;
  --gray-2: #e5eae9;
  --gray-3: #d2d8d7;
  --gray-4: #a9b2b0;
  --gray-5: #8c9996;
  --gray-6: #687270;
  --gray-7: #444c4a;
  --gray-8: #2e3332;
  --gray-9: #040504;

  --primary-color-1: #f9fffd;
  --primary-color-2: #dcede9;
  --primary-color-3: #addbd2;
  --primary-color-4: #7cc9ba;
  --primary-color-5: #6bb7a8;
  --primary-color-6: #4b7f75;
  --primary-color-7: #2d4c46;
  --primary-color-8: #1b2d2a;
  --primary-color-9: #0d1615;

  --border-radius-2: 3px;
  --border-radius-3: 5px;

  --font-size-1: 12px;
  --font-size-2: 14px;
  --font-size-3: 16px;
  --font-size-4: 18px;
  --font-size-5: 20px;
  --font-size-6: 22px;
  --font-size-7: 24px;
  --font-size-8: 28px;

  --line-height-3: 1.5;
  --line-height-4: 1.45;
  --line-height-5: 1.35;
  --line-height-6: 1.325;
  --line-height-7: 1.3;
  --line-height-8: 1.25;

  --space-1: 4px;
  --space-2: 8px;
  --space-3: 12px;
  --space-4: 16px;
  --space-5: 24px;
  --space-6: 32px;
  --space-7: 48px;
  --space-8: 64px;
}

:root {
  color-scheme: light;

  --accent-color: #f99204;

  --a-color: var(--primary-color-6);
  --a-visited-color: var(--primary-color-7);
  --alternate-background-color: var(--primary-color-2);
  --alternate-color: var(--gray-6);
  --background-color: var(--primary-color-2); /* also in /html/head/meta[@name='theme-color'], and site.webmanifest $.background_color and $.theme_color */
  --blockquote-color: var(--gray-6);
  --border-color: var(--gray-3);
  --code-background-color: var(--gray-1);
  --color: var(--primary-color-9);
  --content-background-color: white;
  --content-section-color: var(--gray-8);
  --header-color: var(--primary-color-1);
  --nav-background-color: var(--primary-color-7);
  --nav-color: var(--primary-color-1);
  --nav-section-color: var(--primary-color-3);
  --table-header-background-color: var(--gray-2);
  --table-row-background-color: var(--gray-1);
  --title-background-color: var(--gray-3);

  --ap-color: var(--primary-color-3);
  --ap-on-content-color: var(--primary-color-7);
}

@media (prefers-color-scheme: dark) {
  :root {
    --accent-color: #d37b04;

    --a-color: var(--primary-color-4);
    --a-visited-color: var(--primary-color-3);
    --alternate-background-color: var(--gray-8);
    --alternate-color: var(--gray-4);
    --background-color: var(--primary-color-7); /* also in /html/head/meta[@name='theme-color'] */
    --blockquote-color: var(--gray-4);
    --border-color: var(--gray-7);
    --code-background-color: var(--gray-9);
    --color: var(--primary-color-1);
    --content-background-color: var(--primary-color-9);
    --content-section-color: var(--gray-2);
    --header-color: var(--gray-1);
    --nav-background-color: var(--primary-color-8);
    --nav-color: var(--primary-color-2);
    --nav-section-color: var(--gray-3);
    --table-header-background-color: var(--gray-6);
    --table-row-background-color: var(--gray-7);
    --title-background-color: var(--gray-8);

    --ap-color: var(--primary-color-2);
    --ap-on-content-color: var(--primary-color-2);
  }
}

:root {
  --content-padding-block: var(--space-4);
  --content-padding-inline: var(--space-4);
  --content-max-width: 656px;
  --nav-main-toggle-margin-inline: var(--space-4);
  --nav-max-width: 250px;
  --nav-padding-inline: var(--space-4);
  --p-margin-block-end: var(--space-4);

  --nav-column-width: calc(2 * var(--nav-padding-inline) + var(--nav-max-width));
  --content-column-width: calc(2 * var(--content-padding-inline) + var(--content-max-width));

  --nav-and-content-width: calc(var(--nav-column-width) + var(--content-column-width));
}

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

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

blockquote {
  border-inline-start: var(--space-1) solid var(--border-color);
  color: var(--blockquote-color);
  /* margin-inline-start = padding-inline-start */
  /* margin-inline-start + border-inline-start-width + padding-inline-start = --space-4 */
  margin-inline: calc((var(--space-4) - var(--space-1)) / 2) var(--space-4);
  padding-inline-start: calc((var(--space-4) - var(--space-1)) / 2);
}

blockquote, p, pre, .sidebarblock {
  /* for all text elements, no margin-block-start, only margin-block-end */
  margin-block: 0 var(--p-margin-block-end);
}

body {
  background-color: var(--background-color);
  color: var(--color);
  font-family: system-ui, sans-serif;
  font-size: var(--font-size-3);
  line-height: var(--line-height-3);
  margin: 0;
  -moz-text-size-adjust: none;
  -webkit-text-size-adjust: 100%;
}

code {
  display: inline-block;
  line-height: calc(var(--font-size-3) * var(--line-height-3) - 2px);
  vertical-align: baseline;
  padding-inline: var(--space-1);
}

code, pre {
  background-color: var(--code-background-color);
  border: 1px solid var(--border-color);
  border-radius: var(--border-radius-2);
}

pre > code {
  border: none;
  display: inline;
  line-height: var(--line-height-3);
  padding-inline: 0; /* padding-inline comes from pre */
}

footer {
  background-color: var(--content-background-color);
  border-block-start: 1px solid var(--nav-background-color);
  font-size: var(--font-size-1);
  grid-area: 3 / 1 / 4 / 2;
  height: 1lh;
}

footer, header, main {
  padding-block: var(--content-padding-block);
  padding-inline: var(--content-padding-inline);
}

header {
  background-color: var(--nav-background-color);
  display: grid;
  grid-template-columns:
    minmax(calc(-1 * var(--content-padding-inline) + 2 * var(--nav-main-toggle-margin-inline) + 18px), auto)
    max-content
    auto;
  grid-template-rows: auto;
  grid-area: 1 / 1 / 2 / 2;
  justify-content: center;
}

header > p {
  font-size: var(--font-size-7);
  font-variant: small-caps;
  grid-area: 1 / 2 / 2 / 3;
  letter-spacing: 0.025em;
  margin: 0;
}

header > p > a, header > p > a:visited {
  color: var(--header-color);
  text-decoration: none;
}

h1, h2, h3, h4, h5, h6 {
  font-weight: bold;
  /* h# exception to no margin-block-start rule; require >= 1 p of space */
  margin-block: var(--p-margin-block-end) var(--space-2);
}

h1 {
  font-size: var(--font-size-8);
  line-height: var(--line-height-8);
  margin-block-start: 0;
}

h2 {
  font-size: var(--font-size-7);
  line-height: var(--line-height-7);
}

h3 {
  font-size: var(--font-size-6);
  line-height: var(--line-height-6);
}

h4 {
  font-size: var(--font-size-5);
  line-height: var(--line-height-5);
}

h5 {
  font-size: var(--font-size-4);
  line-height: var(--line-height-4);
}

h6 {
  font-size: var(--font-size-3);
  line-height: var(--line-height-3);
}

hr {
  border-color: var(--border-color);
  border-style: solid none none none;
  margin-block: var(--space-3);
  padding-block: 0;
}

img.hero {
  display: block;
  height: auto;
  margin-block: var(--p-margin-block-end);
  margin-inline: auto;
  /* match .excerpt width; its margin-inline is --space-6 */
  max-width: calc(100% - 2 * var(--space-6));
  width: auto;
}

main {
  background-color: var(--content-background-color);
  grid-area: 2 / 1 / 3 / 2;
}

main nav .section {
  color: var(--content-section-color);
}

menu, ul.ico, ul.post-list {
  list-style-type: none;
  margin: 0;
  padding: 0;
}

menu li, ul.ico li {
  padding-block: var(--space-1);
}

menu > li ul {
  list-style-type: disc;
  margin-block: 0;
  margin-inline: var(--space-4) 0;
  padding: 0;
}

nav .section, .post-link .label {
  font-variant: small-caps;
  font-weight: bold;
  letter-spacing: 0.09em;
}

nav.post {
  width: 100%;
}

nav.post > .post-link {
  border: 1px solid var(--border-color);
  border-radius: var(--border-radius-3);
  margin-block-start: var(--space-4);
}

/* lists and tables implement margin-block via items and cells */
ol p, table p, ul p {
  margin-block: 0;
}

pre {
 overflow-x: auto;
 padding: var(--space-2) var(--space-3);
}

svg.diagram {
  display: block;
  font-family: ui-rounded, sans-serif;
  margin: auto;
}

svg.diagram path {
  stroke: var(--color);
}

svg.diagram text, .icon {
  fill: var(--color);
}

table {
  border-collapse: collapse;
  display: block;
  margin-block-end: var(--space-2);
  overflow-x: scroll;
  width: 100%;
  -webkit-overflow-scrolling: touch;
}

td, th {
  border: 1px solid var(--border-color);
  padding: var(--space-2) var(--space-3);
}

td ol, td ul {
  padding-inline-start: var(--space-5);
  margin: 0;
}

th {
  background-color: var(--table-header-background-color);
}

tr:nth-child(even) {
  background-color: var(--table-row-background-color);
}

ul.ico > li > svg {
  height: var(--font-size-5);
  margin-top: calc(var(--font-size-3) - var(--font-size-5));
  margin-inline-end: var(--space-2);
  vertical-align: middle;
  width: var(--font-size-5);
}

.by-line {
  align-items: baseline;
  display: flex;
  flex-direction: row-reverse;
  flex-wrap: wrap;
  font-size: var(--font-size-2);
  gap: var(--space-5) var(--space-4);
  justify-content: flex-end;
  margin-block: var(--space-4) var(--space-5);
}

.by-line a {
  color: var(--color);
  text-decoration: none;
}

.by-line img {
  border-radius: 50%;
  box-shadow: 0 0 0 2px var(--color);
  margin-inline-end: var(--space-2);
  vertical-align: middle;
}

.by-line span {
  display: inline-block;
}

.by-line svg {
  height: var(--font-size-3);
  margin-top: calc(var(--font-size-2) - var(--font-size-3));
  margin-inline-end: var(--space-2);
  vertical-align: middle;
  width: var(--font-size-3);
}

.excerpt {
  border-top: 1px solid var(--border-color);
  border-bottom: 1px solid var(--border-color);
  color: var(--blockquote-color);
  font-size: var(--font-size-2);
  margin-inline: var(--space-6);
  padding-block: var(--p-margin-block-end);
}

.post-link {
  display: block;
  overflow: auto;
  padding: var(--space-3);
  text-decoration: none;
}

.post-link .floater {
  float: left;
  margin-block: 0 var(--space-1);
  margin-inline: 0 var(--space-3);
}

.post-link[rel="next"] .floater {
  float: right;
  margin-inline: var(--space-3) 0;
}

.post-link[rel="next"] p.label {
  text-align: right;
}

.post-link p {
  margin-block: 0 var(--space-2);
  margin-inline: 0;
  padding: 0;
}

.post-link .excerpt {
  border: none;
  color: var(--color);
  font-size: var(--font-size-2);
  margin-block-end: 0;
}

.post-link .label {
  color: var(--alternate-color);
}

.post-link:hover .title {
  text-decoration: underline;
}

.post-list li.even, ul.post-list.flat li:nth-child(even) {
  background-color: var(--alternate-background-color);
}

#container {
  display: grid;
  grid-template-columns: 100%;
  grid-template-rows: min-content auto min-content;
  margin: auto;
  max-width: var(--content-column-width);
  min-height: 100vh;
  min-height: -webkit-fill-available;
}

#nav-current {
  color: var(--accent-color);
  font-weight: bold;
}

#nav-main {
  background-color: var(--nav-background-color);
  color: var(--nav-color);
  grid-area: 1 / 1 / 2 / 2;
  margin-inline: var(--nav-main-toggle-margin-inline);
  padding-block: var(--space-3);
  place-self: center start;
}

#nav-main a, #nav-main a:visited {
  color: var(--nav-color);
  text-decoration: none;
}

#nav-main a:hover {
  text-decoration: underline;
}

#nav-main > input + label {
  cursor: pointer;
  display: block;
}

#nav-main > input ~ label ~ menu {
  display: none;
}

#nav-main > input:checked ~ label ~ menu {
  display: block;
  position: fixed;
  z-index: 2;
}

#nav-main > label > svg {
  display: block;
}

#nav-main > menu {
  border: 1px solid var(--border-color);
  background-color: var(--nav-background-color);
  max-width: var(--nav-max-width);
  margin-block-start: var(--space-3);
  /* subtract the margin added by the first nav menu item */
  padding-block-start: calc(var(--content-padding-block) - 2 * var(--space-1));
  padding-block-end: var(--content-padding-block);
  padding-inline: var(--nav-padding-inline);
}

#nav-main .section {
  color: var(--nav-section-color);
}

#nav-main-toggle, .logo {
  display: none;
}

@media screen and (min-width: 375px) {
  header {
    grid-template-columns:
      minmax(calc(-1 * var(--content-padding-inline) + 2 * var(--nav-main-toggle-margin-inline) + 18px), 1fr)
      min-content
      max-content
      1fr;
  }

  header > p {
    grid-area: 1 / 3 / 2 / 4;
  }

  header .logo {
    display: block;
    grid-area: 1 / 2 / 2 / 3;
    margin-inline-end: var(--space-4);
  }
}

@media screen and (min-width: 395px) {
  :root {
    --content-padding-inline: var(--space-5);
  }
}

@media screen and (min-width: 480px) {
  :root {
    --font-size-6: 24px;
    --font-size-7: 28px;
    --font-size-8: 34px;

    --line-height-6: 1.3;
    --line-height-7: 1.25;
    --line-height-8: 1.15;
  }
}

@media screen and (min-width: 704px /*--content-column-width - 2 * (--space-7 - --space-5)*/) {
  :root {
    --content-padding-inline: var(--space-7);
  }
}

@media screen and (min-width: 1050px /*--nav-and-content-width*/) {
  :root {
    --nav-padding-inline: var(--space-5);

    --ap-color: var(--ap-on-content-color);
  }

  footer {
    grid-area: 3 / 1 / 4 / 3;
  }

  header {
    background-color: var(--content-background-color);
    grid-area: 1 / 2 / 2 / 3;
    grid-template-columns: 100%;
    justify-content: start;
  }

  header > p {
    grid-area: 1 / 1 / 2 / 2;
  }

  header > p > a, header > p > a:visited {
    color: var(--color);
  }

  header span.u {
    text-decoration: underline;
    text-decoration-color: var(--ap-color);
    text-decoration-thickness: 1px;
    text-underline-offset: var(--space-2);
  }

  header .logo {
    display: none;
  }

  main {
    grid-area: 2 / 2 / 3 / 3;
    /* header has padding-block-end */
    padding-block-start: 0;
  }

  nav.post {
    display: grid;
    gap: var(--space-4);
    grid-template-columns: 50% 50%;
    grid-template-rows: auto;
  }

  nav.post > .post-link[rel="next"] {
    grid-area: 1 / 2 / 2 / 3;
  }

  nav.post > .post-link[rel="prev"] {
    grid-area: 1 / 1 / 2 / 2;
  }

  #container {
    grid-template-columns: var(--nav-column-width) var(--content-column-width);
    grid-template-rows: calc(2 * var(--content-padding-block) + var(--font-size-7) * var(--line-height-3)) auto min-content;
    max-width: var(--nav-and-content-width);
  }

  #nav-main {
    grid-area: 1 / 1 / 3 / 2;
    margin-inline: 0;
    padding: 0;
    place-self: normal normal;
    width: var(--nav-column-width);
  }

  #nav-main > menu {
    border: none;
    margin-block-start: 0;
  }

  #nav-main > input + label {
    display: none;
  }

  #nav-main > input ~ label ~ menu {
    display: block;
  }

  #nav-main > input:checked ~ label ~ menu {
    position: static;
  }

  #nav-main .logo {
    display: block;
    margin-block-start: var(--content-padding-block);
    margin-inline-start: var(--nav-padding-inline);
  }
}

@media screen and (min-width: 1262px /*2 * --space-7 + --nav-and-content-width*/) {
  :root {
    --content-padding-inline: var(--space-8);
    --content-max-width: 740px;
  }
}

/* AsciiDoc */

#footnotes {
  font-size: var(--font-size-2);
}

.halign-center {
  text-align: center;
}

.halign-left {
  text-align: start;
}

.sidebarblock {
  border-inline-start: 2px solid var(--border-color);
  color: var(--blockquote-border-color);
  font-size: var(--font-size-2);
  margin-inline: calc((var(--space-4) - 2px) / 2) var(--space-4);
  padding-inline-start: calc((var(--space-4) - 2px) / 2);
}

.valign-top {
  vertical-align: top
}

/* AsciiDoc Titled Code Blocks */

.title code {
  background-color: var(--title-background-color);
  border-bottom-left-radius: 0;
  border-bottom-right-radius: 0;
  display: inline;
  padding: 2px var(--space-2);
}

.title + .content pre {
    border-top-left-radius: 0;
}