/* Clean late-1990s academic archive layout. */
:root {
  color-scheme: light;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  color: #000;
  background: #fff;
  font-family: "Times New Roman", Times, serif;
  font-size: 16px;
  line-height: 1.35;
}

a {
  color: #0000cc;
}

a:visited {
  color: #551a8b;
}

a:hover {
  color: #cc0000;
}

a:focus-visible {
  outline: 2px dotted #000;
  outline-offset: 2px;
}

.skip-link {
  position: absolute;
  top: -100px;
  left: 8px;
  padding: 4px 8px;
  color: #fff;
  background: #000066;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 13px;
}

.skip-link:focus {
  top: 8px;
}

main {
  width: 100%;
  padding: 20px 12px 40px;
}

.paper {
  width: 760px;
  max-width: 100%;
  margin: 0 auto;
}

.masthead {
  margin-bottom: 28px;
}

.site-name {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 16px;
  padding: 7px 10px;
  color: #fff;
  background: #000066;
  font-family: Arial, Helvetica, sans-serif;
}

.site-name strong {
  font-size: 18px;
}

.site-name span {
  font-size: 12px;
}

nav {
  padding: 5px 10px;
  border-right: 1px solid #999;
  border-bottom: 1px solid #999;
  border-left: 1px solid #999;
  background: #e8e8e8;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 13px;
}

nav span {
  padding: 0 6px;
  color: #777;
}

.breadcrumb {
  margin: 24px 0 8px;
  color: #666;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12px;
}

h1 {
  margin: 0;
  color: #000066;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 28px;
  line-height: 1.15;
}

.deck {
  margin: 6px 0 0;
  padding-bottom: 12px;
  border-bottom: 1px solid #999;
  color: #444;
  font-size: 14px;
}

.aside {
  margin: 0 24px 18px;
  font-style: italic;
}

.rules {
  margin: 0;
  padding-left: 34px;
}

.rules > li {
  margin-bottom: 14px;
  padding-left: 5px;
}

.rules p {
  margin: 0 0 10px;
}

.examples {
  margin: 8px 0 10px 18px;
}

.examples p {
  margin: 3px 0;
}

.note span {
  font-weight: bold;
}

.cutoff {
  margin: 20px 0;
  padding: 8px 0;
  border-top: 1px dashed #999;
  border-bottom: 1px dashed #999;
}

.cutoff-rule {
  display: none;
}

.cutoff p {
  margin: 0;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 13px;
  line-height: 1.4;
}

.sources {
  margin-top: 26px;
  padding-top: 10px;
  border-top: 2px solid #000066;
}

.sources h2 {
  margin: 0 0 8px;
  color: #000066;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 16px;
}

.source-copy {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12px;
  line-height: 1.4;
}

.source-copy > p {
  margin: 0 0 10px;
}

.source-copy ul {
  margin: 0;
  padding-left: 20px;
}

.source-copy li + li {
  margin-top: 6px;
}

.page-footer {
  margin: 14px 0 0;
  color: #666;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 11px;
  text-align: center;
}

@media (max-width: 560px) {
  body {
    font-size: 15px;
  }

  main {
    padding: 8px 8px 28px;
  }

  .site-name {
    display: block;
  }

  .site-name span {
    display: block;
    margin-top: 2px;
  }

  h1 {
    font-size: 24px;
  }

  .aside {
    margin-right: 10px;
    margin-left: 10px;
  }

  .rules {
    padding-left: 24px;
  }

  .examples {
    margin-left: 8px;
  }
}

@media print {
  main {
    padding: 0;
  }

  .paper {
    width: 100%;
  }

  nav,
  .page-footer {
    display: none;
  }

  .site-name {
    padding: 0 0 8px;
    color: #000;
    background: transparent;
    border-bottom: 1px solid #000;
  }

  a {
    color: #000;
    text-decoration: none;
  }
}