* {
  font-family: "Inter", sans-serif;
  font-variant-ligatures: none;
}

abbr {
  cursor: help;
}

body {
  max-width: 800px;
  margin: 64px auto;
  padding: 0 2rem;
  overflow-wrap: break-word;
}

.heading-anchor {
  text-decoration: none;
}

.reversefootnote {
  text-decoration: none;
  visibility: hidden;
  position: relative;
}

.reversefootnote::after {
  content: "↩️";
  visibility: visible;
  position: absolute;
  left: 0;
}

.editnote {
  text-decoration: none;
  visibility: hidden;
  position: relative;
  display: inline flow-root list-item;
}
.editnote::after {
  content: "📝";
  visibility: visible;
  position: absolute;
  left: 0;
}

li {
  margin: 10px 0;
}

pre {
  overflow: auto;
  line-height: 1.5;
  padding: 1em;
}

.highlight code,
pre code,
code,
code span {
  font-family: "JetBrains Mono", monospace;
  tab-size: 2;
  -moz-tab-size: 2;
}

:not(pre) > code {
  background-color: #f0f0f0;
}

table {
  width: 100%;
  border-collapse: collapse;
  margin: 20px 0;
}

th,
td {
  padding: 8px 12px;
  border: 1px solid #ddd;
  text-align: left;
}

th {
  background-color: #f4f4f4;
  font-weight: bold;
}

tr:nth-child(even) {
  background-color: #f9f9f9;
}

details.toc:has(div:empty) {
  display: none;
}

details > summary {
  cursor: pointer;
  user-select: none;
}