:root {
  --ink: #000;
  --muted: #666;
  --paper: #fff;
  --link: #0000ee;
  --visited: #551a8b;
  --rule: #ddd;
}

* {
  box-sizing: border-box;
}

html {
  -webkit-text-size-adjust: 100%;
}

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font: 16px/1.4 serif;
}

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

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

a[aria-current='page'] {
  color: var(--ink);
  font-weight: bold;
  text-decoration: none;
}

/* Table of contents, pinned left */

nav {
  position: fixed;
  top: 0;
  bottom: 0;
  left: 0;
  width: 300px;
  overflow-y: auto;
  padding: 40px 24px 40px 32px;
  border-right: 1px solid var(--rule);
  font-size: 15px;
  line-height: 1.4;
}

nav .name {
  margin: 0;
  font-size: 18px;
  font-weight: bold;
}

nav .name a {
  color: var(--ink);
  text-decoration: none;
}

nav h3 {
  margin: 28px 0 6px;
  font-size: 15px;
}

nav ul {
  margin: 0;
  padding-left: 22px;
}

nav li {
  margin: 4px 0;
}

nav .soon {
  list-style: none;
  color: var(--muted);
  font-style: italic;
}

/* Reading column */

main {
  margin-left: 300px;
  padding: 40px 48px 96px;
}

article {
  max-width: 36em;
}

h1 {
  margin: 0 0 24px;
  font-size: 30px;
  line-height: 1.2;
}

h2 {
  margin: 36px 0 8px;
  font-size: 20px;
}

.meta {
  margin: 0 0 4px;
  color: var(--muted);
  font-style: italic;
}

img {
  max-width: 100%;
  height: auto;
}

li {
  margin: 4px 0;
}

sup {
  color: var(--muted);
}

.next {
  margin-top: 48px;
  padding-top: 16px;
  border-top: 1px solid var(--rule);
}

/* Phones: the list follows the page instead of being pinned */

@media (max-width: 800px) {
  body {
    display: flex;
    flex-direction: column;
  }

  nav {
    order: 1;
    position: static;
    width: auto;
    padding: 24px 16px 48px;
    border-right: 0;
    border-top: 1px solid var(--rule);
  }

  main {
    margin-left: 0;
    padding: 24px 16px 64px;
  }
}