header {
  text-align: center;
}

header h1 {
  font-size: xx-large;
}

header p {
  font-size: smaller;
  font-style: italic;
  padding-bottom: 32px;
}

h1 {
  font-size: x-large;
}

h2 {
  font-size: large;
}

footer {
  padding-top: 32px;
  padding-bottom: 32px;
  text-align: center;
}

table {
  border-collapse: collapse;
}

table, td, th {
  border-style: solid;
  border-width: 1px;
}

td, th {
  padding: 4px;
}

pre {
  padding-left: 32px;
  padding-right: 32px;
  padding-top: 10px;
  padding-bottom: 10px;
}

div.sourceCode, :not(pre) > code {
  background-color: whitesmoke;
}

div.sourceCode {
  width: fit-content;
  margin-left: auto;
  margin-right: auto;
}

code .keyword {
  font-weight: bold;
}

code .type {
  /* font-weight: bold; */
}

body {
  margin-left: auto;
  margin-right: auto;
  max-width: 860px;
  line-height: 1.3;
}

sup.footnote-ref ::before {
  content: '[';
}
sup.footnote-ref {
  padding-left: 2px;
  padding-right: 2px;
  text-decoration: none;
}
sup.footnote-ref ::after {
  content: ']';
}

.footnotes li {
  padding: 5px;
}

.footnotes li:target {
  border-color: grey;
  border-style: dashed;
  border-width: 2px;
}

.footnotes li:not(:target) {
  padding: 2px;
}

.footnotes * {
  margin-top: 0;
  margin-bottom: 0;
}

a.footnote-back {
  display: none;
}

.note > div {
  display: flex;
}

.note > div h1 {
  font-size: medium;
  line-height: 1.3;
  margin-block-start: 1em;
  margin-right: 1em;
}

div.note {
  margin-left: 1em;
  font-style: italic;
}