:root {
  color-scheme: light;
  --page-width: 46rem;
  --text: #202020;
  --muted: #555555;
  --link: #003f8f;
  --visited: #60378a;
  --rule: #d4d4d4;
  --nav-background: #f3f3f3;
  --body-font: Garamond, Times New Roman, sans-serif;
}

* {
  box-sizing: border-box;
}

html {
  background: #ffffff;
  font-size: 100%;
}

body {
  max-width: var(--page-width);
  margin: 2rem auto;
  padding: 0 1rem;
  color: var(--text);
  background: #ffffff;
  font-family: var(--body-font);
  font-size: 1rem;
  line-height: 1.2;
  overflow-wrap: anywhere;
}

h1, h2, h3 {
  line-height: 1.25;
}

h1 {
  margin: 0 0 0.25rem;
  font-size: 1.7rem;
}

.affiliation {
  margin: 0 0 1rem;
  color: var(--muted);
}

nav {
  border-top: 1px solid var(--rule);
  border-bottom: 1px solid var(--rule);
  background: var(--nav-background);
}

nav ul {
  display: flex;
  flex-wrap: wrap;
  gap: 0.15rem 1.1rem;
  margin: 0;
  padding: 0.3rem 0.65rem;
  list-style: none;
}

nav a {
  display: inline-block;
  padding: 0.2rem 0;
}

a {
  color: var(--link);
  text-decoration: underline;
  text-underline-offset: 0.15em;
}

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

a:hover {
  text-decoration-thickness: 2px;
}

:focus-visible {
  outline: 2px solid var(--link);
  outline-offset: 3px;
}

h2 {
  margin: 1.6rem 0 0.5rem;
  padding-bottom: 0.2rem;
  border-bottom: 1px solid var(--rule);
  font-size: 1.15rem;
  scroll-margin-top: 1rem;
}

h3 {
  margin: 1.1rem 0 0.4rem;
  font-size: 1rem;
}

p, address, ul, ol {
  margin-top: 0;
  margin-bottom: 0.8rem;
}

ul, ol {
  padding-left: 1.4rem;
}

li + li {
  margin-top: 0.3rem;
}

nav li + li {
  margin-top: 0;
}

.entries li + li {
  margin-top: 0.9rem;
}

.muted, footer {
  color: var(--muted);
}

address {
  font-style: normal;
}

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

pre {
  max-width: 100%;
  overflow-x: auto;
  padding: 0.7rem;
  border: 1px solid var(--rule);
}

code {
  font-family: ui-monospace, "Courier New", monospace;
  font-size: 0.95em;
}

footer {
  margin-top: 2rem;
  padding-top: 0.6rem;
  border-top: 1px solid var(--rule);
  font-size: 0.9rem;
}

.skip-link {
  position: absolute;
  top: 0.5rem;
  left: -10000px;
  padding: 0.5rem;
  background: #ffffff;
  z-index: 10;
}

.skip-link:focus {
  left: 1rem;
}

@media (max-width: 35rem) {
  body {
    margin: 1rem auto;
  }
}

@media print {
  body {
    max-width: none;
    margin: 0;
    padding: 0;
    color: #000000;
    font-size: 11pt;
  }

  nav, .skip-link, footer {
    display: none;
  }

  a, a:visited {
    color: #000000;
  }

  h2, h3 {
    break-after: avoid;
  }
}

.doublepanel {
  display:flex;
  flex-direction: row;
}

@media screen and (max-width: 768px) {
  .doublepanel {
    display:flex;
    flex-direction: column-reverse;
  }
}