:root {
  color-scheme: light;
  --navy: #00066f;
  --blue: #162cb6;
  --blue-hi: #6086d7;
  --green: #009900;
  --green-dark: #006600;
  --orange: #f06000;
  --line: #c4c4c4;
  --ink: #111;
}
* {
  box-sizing: border-box;
}
html {
  -webkit-font-smoothing: none;
}
body {
  margin: 0;
  background: #ededed;
  color: var(--ink);
  font:
    16px/1.55 Arial,
    Helvetica,
    sans-serif;
}
a {
  color: #0000cc;
}
a:visited {
  color: #551a8b;
}
a:hover {
  color: #f06000;
}
a:focus-visible,
summary:focus-visible {
  outline: 3px solid #ff8a00;
  outline-offset: 2px;
}
#site {
  width: min(788px, 100%);
  margin: 0 auto;
  background: #fff;
  border-left: 1px solid #bbb;
  border-right: 1px solid #bbb;
  box-shadow: 0 0 14px #bbb;
}
.utility {
  min-height: 31px;
  padding: 0 7px;
  background: linear-gradient(#242424, #000);
  border-bottom: 1px solid #fff;
  color: #ccc;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  font:
    700 12px/1.4 Verdana,
    Arial,
    sans-serif;
  letter-spacing: 0.035em;
}
.utility nav {
  display: flex;
  align-self: stretch;
}
.utility a {
  display: flex;
  align-items: center;
  padding: 0 10px;
  border-left: 1px solid #444;
  color: #fff;
  text-decoration: none;
  font-size: 11px;
}
.utility a:hover {
  background: #333;
  color: #ff8a00;
}
.masthead {
  min-height: 83px;
  padding: 12px 18px;
  background: linear-gradient(100deg, #fff 0, #e8eefc 42%, #7a94dd 100%);
  border-bottom: 5px solid #fff;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
}
.brand {
  display: flex;
  flex-direction: column;
  color: #07145f !important;
  text-decoration: none;
}
.brand-kicker {
  font:
    700 11px/1.2 Verdana,
    Arial,
    sans-serif;
  letter-spacing: 0.11em;
  color: #4e5f8d;
}
.brand-name {
  font:
    700 30px/1.12 Arial,
    Helvetica,
    sans-serif;
  letter-spacing: -0.035em;
  text-shadow: 1px 1px #fff;
}
.masthead p {
  margin: 0;
  max-width: 155px;
  text-align: right;
  color: #17246f;
  font:
    700 12px/1.45 Verdana,
    Arial,
    sans-serif;
}
.toolbar {
  min-height: 32px;
  padding-left: 8px;
  background: linear-gradient(#4965d2 0, #142bb0 48%, #00066f 52%, #101f93 100%);
  border-bottom: 1px solid #000;
  display: flex;
  align-items: stretch;
}
.toolbar a {
  display: flex;
  align-items: center;
  padding: 6px 14px;
  border-left: 1px solid #6579db;
  border-right: 1px solid #000066;
  color: #fff;
  text-decoration: none;
  font:
    700 13px/1.35 Arial,
    Helvetica,
    sans-serif;
}
.toolbar a:hover {
  background: linear-gradient(#ff9d45, #ed5c00);
  color: #fff;
}
.layout {
  display: grid;
  grid-template-columns: 154px minmax(0, 1fr) 102px;
  grid-template-areas: "side main rail";
  gap: 14px;
  padding: 5px 6px 22px 0;
  align-items: start;
}
.side {
  grid-area: side;
  border-top: 5px solid #fff;
  font-size: 14px;
}
.sidebox {
  margin: 0 0 12px;
}
.side h2 {
  height: 32px;
  margin: 0;
  padding: 8px 8px 0 18px;
  background: linear-gradient(#56cf54, #087c0b);
  border-top: 1px solid #8af189;
  border-bottom: 1px solid #006600;
  color: #fff;
  font:
    700 13px/1.35 Verdana,
    Arial,
    sans-serif;
  text-transform: uppercase;
  letter-spacing: 0.025em;
}
.side ul {
  list-style: none;
  margin: 0;
  padding: 0;
}
.side li {
  margin: 0;
}
.side li a {
  display: flex;
  justify-content: space-between;
  gap: 8px;
  padding: 6px 8px 6px 18px;
  background: #009900;
  border-top: 1px solid #00c900;
  border-bottom: 1px solid #006600;
  border-left: 10px solid #006600;
  color: #fff;
  text-decoration: none;
  font:
    700 13px/1.35 Verdana,
    Arial,
    sans-serif;
}
.side li a:hover {
  background: #00bb00;
  border-left-color: #f06000;
  color: #fff;
}
.side li span {
  font-weight: 400;
}
.side-note {
  background: linear-gradient(#f7f7f7, #e8e8e8);
  border: 1px solid #c8c8c8;
  border-left: 0;
}
.side-note h2 {
  background: linear-gradient(#ededed, #c8c8c8);
  border-color: #fff #bbb #aaa transparent;
  color: #222;
}
.side-note p {
  margin: 0;
  padding: 8px 10px 2px 14px;
  color: #333;
  font-size: 13px;
  line-height: 1.5;
}
.side-note p:last-child {
  padding-bottom: 10px;
}
main {
  grid-area: main;
  min-width: 0;
  padding-top: 7px;
}
.panel {
  margin: 0 0 17px;
  border: 1px solid #d2d2d2;
  background: #fff;
}
.panel h2 {
  height: auto;
  min-height: 28px;
  margin: -1px -1px 0;
  padding: 5px 10px 4px 15px;
  background: linear-gradient(#5571dc 0, #1834ba 48%, #000b83 52%, #172aa1 100%);
  border: 1px solid #00066f;
  color: #fff;
  font:
    700 14px/1.3 Verdana,
    Arial,
    sans-serif;
  text-shadow: 1px 1px #000066;
}
.inside {
  padding: 12px 14px;
}
.inside > :first-child {
  margin-top: 0;
}
.inside > :last-child {
  margin-bottom: 0;
}
h1 {
  margin: 0 0 12px;
  padding: 5px 10px 5px 14px;
  background: linear-gradient(#f8f8f8, #dedede);
  border: 1px solid #c7c7c7;
  border-left: 5px solid var(--blue);
  color: #111;
  font:
    700 22px/1.3 Arial,
    Helvetica,
    sans-serif;
}
h2 {
  font-size: 18px;
  margin-top: 24px;
}
h3 {
  font-size: 16px;
}
p {
  margin: 0 0 16px;
}
main img {
  display: block;
  max-width: 100%;
  height: auto;
  margin: 18px auto;
}
.muted,
time,
.meta {
  color: #555;
  font-size: 13px;
}
.rows {
  list-style: none;
  padding: 0;
  margin: 0;
}
.rows li {
  padding: 10px 12px;
  border-bottom: 1px dotted #aaa;
}
.rows li:nth-child(even) {
  background: #f7f7f7;
}
.rows li:last-child {
  border-bottom: 0;
}
.rows p {
  margin: 3px 0 0;
  font-size: 14px;
}
.rowhead {
  display: flex;
  justify-content: space-between;
  gap: 12px;
}
.rowhead a {
  font-weight: 700;
}
.empty {
  padding: 14px;
  margin: 0;
  font-size: 14px;
  background: #fafafa;
}
.notice {
  padding: 9px 11px;
  background: #fff9d9;
  border: 1px dotted #c09000;
  margin-bottom: 16px;
  font-size: 14px;
}
.alpha {
  padding: 8px 10px;
  background: linear-gradient(#f8f8f8, #e6e6e6);
  font-family: monospace;
  word-spacing: 7px;
  border: 1px solid var(--line);
  margin-bottom: 16px;
}
.alpha a {
  display: inline-block;
}
.definition {
  font-size: 17px;
}
blockquote {
  border-left: 4px solid #7a8ccc;
  padding-left: 14px;
  margin-left: 0;
  color: #39445a;
}
code,
pre {
  font-family: monospace;
  background: #f0f0f0;
}
pre {
  padding: 11px;
  border: 1px solid #ccc;
  overflow: auto;
}
img {
  max-width: 100%;
  height: auto;
}
table {
  border-collapse: collapse;
  max-width: 100%;
  display: block;
  overflow: auto;
}
td,
th {
  padding: 6px;
  border: 1px solid #aaa;
}
.badge-rail {
  grid-area: rail;
  padding-top: 5px;
}
.railbox {
  margin-bottom: 12px;
  border: 1px solid #bdbdbd;
  background: #f1f1f1;
}
.railbox h2 {
  margin: 0;
  padding: 5px;
  background: linear-gradient(#5973d8, #10249d);
  color: #fff;
  font:
    700 12px/1.3 Verdana,
    Arial,
    sans-serif;
  text-align: center;
}
.railbox p {
  margin: 0;
  padding: 8px 5px;
  text-align: center;
  font:
    12px/1.5 Verdana,
    Arial,
    sans-serif;
}
.web-badges {
  display: grid;
  justify-content: center;
  gap: 7px;
}
.badge {
  display: block;
  width: 88px;
  height: 31px;
  image-rendering: pixelated;
}
.web-badge {
  width: 88px;
  height: 31px;
  border: 1px solid #000;
  display: grid;
  grid-template-columns: auto 1fr;
  align-items: center;
  overflow: hidden;
  color: #fff !important;
  text-decoration: none;
  font:
    700 10px/1 Arial,
    Helvetica,
    sans-serif;
  box-shadow:
    inset 1px 1px rgba(255, 255, 255, 0.65),
    inset -1px -1px rgba(0, 0, 0, 0.5);
}
.web-badge b {
  height: 100%;
  padding: 3px;
  display: flex;
  align-items: center;
  background: #fff;
  color: #000;
  font-size: 10px;
}
.web-badge span {
  padding: 2px;
  text-align: center;
  text-shadow: 1px 1px #000;
}
.badge-blue {
  background: linear-gradient(#6688ff, #00158c);
}
.badge-green {
  background: linear-gradient(#4fdb4f, #006400);
}
.badge-orange {
  background: linear-gradient(#ffae45, #ba3600);
}
.term {
  position: relative;
}
.term > a {
  background: #f1f7c9;
  text-decoration: underline dotted #657c00;
  text-underline-offset: 3px;
}
.term .meaning {
  display: none;
  position: absolute;
  z-index: 3;
  left: 0;
  top: 1.6em;
  width: 260px;
  max-width: 75vw;
  padding: 9px;
  background: #fffedb;
  border: 1px solid #77733d;
  box-shadow: 2px 2px 0 #aaa;
  color: #111;
  font:
    14px/1.5 Arial,
    Helvetica,
    sans-serif;
}
.term:hover .meaning,
.term:focus-within .meaning {
  display: block;
}
details {
  border-top: 1px dotted var(--line);
  padding: 9px 0;
}
summary {
  cursor: pointer;
  color: #0000cc;
}
.revision {
  padding: 14px 0;
}
.revision-header {
  border-bottom: 1px solid #ccc;
  padding-bottom: 8px;
}
.skip {
  position: absolute;
  left: -9999px;
}
.skip:focus {
  z-index: 10;
  left: 10px;
  top: 4px;
  background: #fff;
  padding: 10px;
}
.prose {
  overflow-wrap: anywhere;
}
.prose a {
  word-break: break-word;
}
.inline-definition {
  font-weight: 400;
}
noscript {
  display: block;
  padding: 10px;
  background: #fff9d9;
}
footer {
  min-height: 43px;
  padding: 6px 10px;
  background: linear-gradient(#344ed1, #091783);
  border-top: 1px solid #aaa;
  color: #fff;
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 12px;
  font:
    12px/1.4 Verdana,
    Arial,
    sans-serif;
}
footer b {
  color: #9dff9d;
}
@media (max-width: 720px) {
  #site {
    border: 0;
    box-shadow: none;
  }
  .utility {
    align-items: flex-start;
    padding: 6px 8px;
  }
  .utility > span {
    font-size: 10px;
  }
  .utility a {
    padding: 0 7px;
  }
  .masthead {
    min-height: 74px;
    padding: 10px 12px;
  }
  .brand-name {
    font-size: 25px;
  }
  .masthead p {
    display: none;
  }
  .toolbar {
    padding-left: 0;
    overflow-x: auto;
  }
  .toolbar a {
    flex: 1;
    justify-content: center;
    min-width: max-content;
    padding: 8px 10px;
  }
  .layout {
    grid-template-columns: 1fr;
    grid-template-areas: "main" "side" "rail";
    gap: 12px;
    padding: 12px;
  }
  .side {
    border-top: 0;
  }
  .side-note {
    border-left: 1px solid #c8c8c8;
  }
  .badge-rail {
    display: flex;
    gap: 12px;
    align-items: flex-start;
    padding-top: 0;
  }
  .railbox {
    width: 154px;
    flex: 0 0 154px;
  }
  .web-badges {
    display: flex;
    flex-wrap: wrap;
    justify-content: flex-start;
  }
  .rowhead {
    display: block;
  }
  .rowhead time {
    display: block;
  }
  .term .meaning {
    position: fixed;
    top: auto;
    bottom: 15px;
    left: 5vw;
    max-width: 90vw;
    width: 90vw;
  }
  footer {
    align-items: flex-start;
  }
}