@charset "UTF-8";
html {
  box-sizing: border-box;
}

*,
*:before,
*:after {
  box-sizing: inherit;
  margin: 0;
  padding: 0;
}

div.content code {
  padding: 0.1rem 0.2rem;
  background-color: #c2e9f0;
}
div.content pre {
  white-space: pre-wrap;
}
div.content pre > code {
  border-radius: 0.5rem;
  padding: 0.25rem 0.5rem;
  display: block;
}
div.content code {
  background-color: #855147;
  color: white;
}
div.content code.language-zgl {
  background-color: #1a5b66;
  color: white;
}
div.content code.language-text {
  background-color: #2991a3;
  color: yellow;
}

.content a[href^="#"] {
  border-bottom: 1px solid #542812;
  color: #542812;
  text-decoration: none;
}
.content a[href^="#"]:visited {
  border-color: #123e54;
  color: #123e54;
}
.content a[href^="#"]:hover {
  background-color: #f9e686;
  color: #1a224d;
}
.content a[href^="/"] {
  border-bottom: 1px solid #542812;
  color: #542812;
  text-decoration: none;
  margin-right: 0.15rem;
}
.content a[href^="/"]:visited {
  border-color: #123e54;
  color: #123e54;
}
.content a[href^="/"]:hover {
  background-color: #6ef76e;
  color: #4d1a4d;
}
.content a[href^="/"]::after {
  content: "";
  font-family: "Font Awesome 5 Free";
  font-weight: 900;
  padding-left: 0.5rem;
}
.content a[href^="/terms/"] {
  border-bottom: 1px solid #542812;
  color: #542812;
  text-decoration: none;
  margin-right: 0.15rem;
}
.content a[href^="/terms/"]:visited {
  border-color: #123e54;
  color: #123e54;
}
.content a[href^="/terms/"]:hover {
  background-color: #6ef76e;
  color: #4d1a4d;
}
.content a[href^="/terms/"]::after {
  font-family: "Font Awesome 5 Free";
  font-weight: 400;
  content: "";
  padding-left: 0.5rem;
}
.content a[href^=http] {
  border-bottom: 1px solid #542812;
  color: #542812;
  text-decoration: none;
  margin-right: 0.15rem;
}
.content a[href^=http]:visited {
  border-color: #123e54;
  color: #123e54;
}
.content a[href^=http]:hover {
  background-color: #80d5ff;
  color: #4d2b1a;
}
.content a[href^=http]::after {
  content: "";
  font-family: "Font Awesome 5 Free";
  font-weight: 900;
  padding-left: 0.5rem;
}

li.no-after-icon a[href]::after {
  content: none;
}

header > nav {
  background-color: #171b1c;
}

nav#page-nav ol#nav-list {
  align-items: center;
  display: flex;
  flex-flow: row wrap;
  justify-content: flex-start;
  list-style: none;
  overflow: hidden;
  height: 2rem;
}
nav#page-nav ol#nav-list > li {
  flex-grow: 0;
  flex-shrink: 0;
  height: 2rem;
  padding: 0.45rem 0.8rem 0.35rem;
}
nav#page-nav ol#nav-list > li#nav-menu {
  padding-top: 0.48rem;
  padding-bottom: 0.32rem;
}
nav#page-nav ol#nav-list > li#nav-logo {
  padding-top: 0.28rem;
  padding-bottom: 0.15rem;
}
nav#page-nav li:hover {
  background: #2d4d53;
}
nav#page-nav ol#nav-menu-list {
  z-index: 10;
  position: absolute;
  top: 2rem;
  left: 0.5rem;
  padding: 0.5rem 0;
  background-color: #121f21;
  list-style: none;
  box-shadow: 0rem 0.2rem 0.5rem #000;
}
nav#page-nav ol#nav-menu-list a {
  display: block;
  padding: 0.5rem 1.5rem;
}
nav#page-nav ol#nav-menu-list li + li {
  margin-top: 0.1rem;
}
nav#page-nav ol#nav-menu-list li.divider {
  border-top: 1px solid #5c6d70;
  margin: 0.2rem 0;
}
nav#page-nav a {
  color: #d5dbdd;
  display: inline-block;
  text-decoration: none;
}
nav#page-nav i {
  color: #d5dbdd;
}
nav#page-nav img.logo {
  display: inline-block;
  height: 23px;
  vertical-align: bottom;
}

body {
  color: #3d4243;
  font-family: "Arimo", sans-serif;
}

tt,
code,
kbd,
samp {
  font-family: "Roboto Mono", monospace;
}

footer {
  display: grid;
  grid-template-columns: 1fr minmax(400px, 752px) 1fr;
  background-color: #d5dbdd;
}

div#footer_center {
  grid-column: 2/3;
  padding: 0.5rem;
}

div#footer_content {
  display: grid;
  grid-gap: 0.5rem 1rem;
  grid-template-columns: repeat(auto-fit, minmax(12rem, 1fr));
}
div#footer_content .item {
  color: #3d4243;
  padding: 0.5rem 0;
}
div#footer_content a {
  text-decoration: none;
}
div#footer_content a:hover {
  color: #1a5b66;
}
div#footer_content a:hover span.accent {
  background-color: #ecec93;
}
div#footer_content a:hover svg.zulip path {
  fill: #1a5b66;
}
div#footer_content div.icon {
  display: inline-block;
  width: 1.7rem;
  text-align: center;
}
div#footer_content svg.zulip {
  height: 1.3rem;
  width: 1.3rem;
  vertical-align: -0.2em;
}
div#footer_content svg.zulip path {
  fill: #3d4243;
}

div.content {
  font-size: 14px;
  line-height: 1.75;
  margin-bottom: 2rem;
}

div.content * + * {
  margin-top: 1em;
}

div.content sup {
  vertical-align: top;
  padding: 0 0.1rem;
  font-size: 11px;
  position: relative;
  top: -0.08rem;
}
div.content span.highlight {
  padding: 0 0.25rem;
  background-color: rgba(240, 230, 117, 0.4);
}
div.content blockquote {
  border-left: 0.25rem solid #d5dbdd;
  padding-left: 1rem;
}
div.content figure figcaption {
  margin-top: 0;
}
div.content h1 {
  font-size: 20px;
  letter-spacing: 0.05rem;
  font-weight: bold;
  padding-top: 1rem;
}
div.content h2,
div.content h3,
div.content h3,
div.content h4,
div.content h5,
div.content h6 {
  font-weight: bold;
}
div.content ol,
div.content ul {
  margin-left: 1.5rem;
}
div.content ol li + li,
div.content ul li + li {
  margin-top: 0rem;
}
div.content table {
  border-collapse: separate;
  border-spacing: 1rem 0.5rem;
}
div.content table.standard-table {
  margin-left: -1rem;
}
div.content table.standard-table thead tr th {
  text-align: left;
  border-bottom: 1px solid #3d4243;
}
div.content table.status {
  border-radius: 1rem;
  background-color: rgba(156, 195, 201, 0.333);
  border-spacing: 2rem 1rem;
}
div.content table.status thead td {
  text-align: center;
  border-bottom: solid 1px #3d4243;
}
div.content div.page_timestamps {
  color: #455254;
  text-transform: uppercase;
  font-size: 12px;
  letter-spacing: 0.1rem;
  margin-top: 4rem;
  text-align: center;
}

body.usual-body {
  min-height: 100vh;
  display: grid;
  grid-template-rows: min-content 1fr min-content;
}
body.usual-body > main {
  display: grid;
  grid-template-columns: 1fr minmax(320px, 752px) 1fr;
}
body.usual-body div.left-col {
  grid-column: 1/2;
  background-image: url("/backgrounds/solid_tile_400x200.png");
  background-size: 200px 100px;
}
body.usual-body div.center-col {
  grid-column: 2/3;
  background-image: filter(url("/backgrounds/transparent_tile.svg"), blur(3px));
  background-size: 2000px 1000px;
  padding-left: 1rem;
  padding-right: 1rem;
}
body.usual-body div.right-col {
  grid-column: 3/4;
  background-image: url("/backgrounds/solid_tile_400x200.png");
  background-size: 200px 100px;
}
body.usual-body h2 {
  font-size: 17px;
  letter-spacing: 0.03rem;
  padding-right: 0.5rem;
  border-right: 0.15rem solid #c9a29c;
  border-top: 0.15rem solid #c9a29c;
  margin-top: 2.5em;
}
body.usual-body h3 {
  font-size: 14px;
  border-bottom: 0.15rem solid #c9a29c;
  margin-top: 1.5em;
}

#conduct-body span.contact-container {
  background: rgba(26, 230, 26, 0.5);
}
#conduct-body img.contact-mod {
  display: inline-block;
  position: relative;
  top: 0.23rem;
}

div.content table.decision-listing {
  width: calc(100% + 2rem);
  margin-left: -1rem;
}
div.content table.decision-listing thead tr th {
  text-align: left;
  border-bottom: 1px solid #3d4243;
}
div.content table.decision-listing thead tr .title {
  width: 60%;
}
div.content table.decision-listing thead tr .tags {
  width: 25%;
}
div.content table.decision-listing thead tr .date {
  width: 15%;
}

body#grammar-body table {
  border-spacing: 0;
  border-collapse: collapse;
}
body#grammar-body table tr th {
  background-color: #cde1e4;
}
body#grammar-body table th, body#grammar-body table td {
  padding: 0.25rem 0.5rem;
  border: 1px solid gray;
}

body#index-body {
  min-height: 100vh;
  display: grid;
  grid-template-rows: min-content 1fr min-content;
}
body#index-body header {
  grid-row: 1/2;
}
body#index-body main {
  grid-row: 2/3;
}
body#index-body footer {
  grid-row: 3/4;
}
body#index-body section.center {
  height: 100%;
  align-items: center;
  background-image: url("/backgrounds/solid_tile_400x200.png");
  background-size: 200px 100px;
  background-position: 50% 50%;
  display: flex;
  justify-content: center;
}
body#index-body div.text {
  letter-spacing: 0.08rem;
  color: #e3e7e8;
  background-color: rgba(26, 26, 26, 0.5);
  backdrop-filter: blur(3px);
  -webkit-backdrop-filter: blur(3px);
  border-radius: 3rem;
  padding: 1em 1em;
  margin: 5rem 2rem;
  display: inline-block;
  text-align: center;
}
body#index-body h1 {
  display: block;
  font-size: 64px;
}
body#index-body p.tagline {
  display: block;
  font-size: 24px;
}
body#index-body div.actions {
  display: flex;
  flex-flow: row wrap;
  justify-content: center;
  margin-top: 1rem;
}
body#index-body a.action {
  flex-basis: auto;
  background-color: #d5dbdd;
  border-radius: 0.5rem;
  border: 2px solid #abb8ba;
  color: #5c6d70;
  margin: 0 0.75em;
  padding: 0.5rem 1rem;
  text-decoration: none;
}
body#index-body a.action:hover {
  background-color: #c2e9f0;
  border-color: #9cc3c9;
  color: #1a5b66;
}

@media (max-width: 400px) {
  body#index-body h1 {
    font-size: 48px;
  }
  body#index-body p.tagline {
    font-size: 20px;
  }
}
body#overview-body table {
  border-spacing: 0;
  border-collapse: collapse;
}
body#overview-body table tr th {
  background-color: #cde1e4;
}
body#overview-body table th, body#overview-body table td {
  padding: 0.25rem 0.5rem;
  border: 1px solid gray;
}
body#overview-body div.svg-diagram {
  border-radius: 0.5rem;
  padding: 0.5rem;
  background-color: #c9e3e8;
  display: inline-block;
}
body#overview-body div.svg-diagram + div.svg-diagram {
  margin-left: 1rem;
}
body#overview-body div.svg-diagram > svg {
  display: block;
}

body#q-and-a-body div.content {
  margin-left: 1rem;
  margin-right: 1rem;
}
body#q-and-a-body div.group {
  position: relative;
}
body#q-and-a-body div.group + * {
  margin-top: 0;
}
body#q-and-a-body * + div.group {
  margin-top: 0;
}
body#q-and-a-body h2 {
  font-size: 14px;
  border-top: #cde1e4 solid 0.1rem;
  padding-top: 0.5rem;
  margin-top: 2rem;
  margin-bottom: 1rem;
  padding-right: 1.25rem;
}
body#q-and-a-body div.ref_num {
  position: absolute;
  right: 0;
  top: -1rem;
  font-size: 14px;
  color: #9cc3c9;
}
body#q-and-a-body div.accent-icon {
  z-index: 1;
  position: absolute;
  text-align: center;
  left: -2rem;
  width: 1.6rem;
  height: 1.6rem;
  top: -0.28rem;
}
body#q-and-a-body div.term {
  border-bottom: 0.1rem solid rgba(83, 50, 45, 0.5);
  text-align: right;
}
body#q-and-a-body div.term > a {
  font-weight: bold;
}
body#q-and-a-body figure {
  text-align: center;
  margin-bottom: 2rem;
}
body#q-and-a-body figure > img {
  display: block;
  width: 100%;
}
body#q-and-a-body sup.ref_num {
  color: #9cc3c9;
}
body#q-and-a-body div.see_also {
  margin-left: auto;
  width: 80%;
  padding: 0 0.4rem;
  text-align: right;
  background-color: #f2f2f2;
  border-radius: 0.5rem;
}
body#q-and-a-body button.toggle-button {
  background-color: #d5dbdd;
  border-radius: 0.4rem;
  border-style: none;
  border: 0;
  display: inline-block;
  padding: 0.05rem 0.3rem;
  margin-right: 0.5rem;
}
body#q-and-a-body button.toggle-button:hover {
  background-color: #9cc3c9;
}
body#q-and-a-body button.toggle-button:active {
  background-color: #e4d1cd;
  color: black;
}
body#q-and-a-body button.toggle-button > i {
  font-size: 20px;
}

body#q-and-a-body div.svg-diagram {
  border-radius: 0.5rem;
  padding: 0.5rem;
  background-color: #f2f2f2;
  display: inline-block;
}
body#q-and-a-body div.svg-diagram + div.svg-diagram {
  margin-left: 1rem;
}
body#q-and-a-body div.svg-diagram > svg {
  display: block;
}

body#q-and-a-body main {
  display: grid;
}
body#q-and-a-body div.left-col {
  grid-column: 1/2;
  background-image: url("/backgrounds/solid_tile_400x200.png");
  background-size: 200px 100px;
}
body#q-and-a-body div.icon-col {
  grid-column: 2/3;
  width: 32px;
}
body#q-and-a-body div.main-col {
  grid-column: 3/4;
  position: relative;
  left: 0;
}
body#q-and-a-body div.img-col {
  grid-column: 4/5;
}
body#q-and-a-body div.right-col {
  grid-column: 5/6;
  background-image: url("/backgrounds/solid_tile_400x200.png");
  background-size: 200px 100px;
}

@media (max-width: 409px) {
  body#q-and-a-body main {
    grid-template-columns: 0 0 1fr 0 0;
  }
  body#q-and-a-body div.accent-icon {
    display: none;
  }
  body#q-and-a-body div.term {
    display: none;
  }
  body#q-and-a-body figure {
    width: 240px;
  }
}
@media (min-width: 410px) and (max-width: 511px) {
  body#q-and-a-body main {
    grid-template-columns: 0 32px 1fr 0 0;
  }
  body#q-and-a-body div.term {
    display: none;
  }
  body#q-and-a-body figure {
    width: 240px;
  }
}
@media (min-width: 512px) and (max-width: 751px) {
  body#q-and-a-body main {
    grid-template-columns: 1fr 32px 480px 0 1fr;
  }
  body#q-and-a-body div.term {
    display: none;
  }
  body#q-and-a-body figure {
    width: 240px;
  }
}
@media (min-width: 752px) {
  body#q-and-a-body main {
    grid-template-columns: 1fr 32px 480px 240px 1fr;
  }
  body#q-and-a-body div.term {
    left: calc(480px - 2rem);
    position: absolute;
    width: 240px;
    top: -1rem;
  }
  body#q-and-a-body figure {
    left: calc(480px - 1.0rem);
    position: absolute;
    width: calc(240px - 1.0rem);
  }
  body#q-and-a-body figure#seagull {
    top: -3.5rem;
  }
  body#q-and-a-body figure#Barbara_Liskov {
    top: -9rem;
  }
  body#q-and-a-body figure#Jed_Bartlet {
    top: -5rem;
  }
}
body#strings-body table {
  border-spacing: 0;
  border-collapse: collapse;
}
body#strings-body table tr th {
  background-color: #cde1e4;
}
body#strings-body table th, body#strings-body table td {
  border: 1px solid gray;
  font-weight: normal;
  padding: 0.25rem 0.5rem;
  text-align: left;
}
body#strings-body table caption {
  background-color: #cde1e4;
  border-color: gray;
  border-style: solid;
  border-width: 1px 1px 0 1px;
  padding: 0 0.5rem;
  text-align: left;
}
body#strings-body table#strings-table-1 {
  width: 13rem;
}
body#strings-body table#strings-example-3 {
  width: 24rem;
}

div.content span.tag {
  background-color: rgba(133, 211, 224, 0.5);
  letter-spacing: 0.03rem;
  padding: 0.15rem 0.4rem;
  border-radius: 0.5rem;
  font-size: 13px;
}
div.content table.tag-listing {
  width: calc(100% + 2rem);
  margin-left: -1rem;
}
div.content table.tag-listing thead tr th {
  text-align: left;
  border-bottom: 1px solid #3d4243;
}
div.content table.tag-listing thead tr .title {
  width: 85%;
}
div.content table.tag-listing thead tr .date {
  width: 15%;
}

/*# sourceMappingURL=all.css.map */