body {
  border: 0;
  display: flex;
  flex-direction: column;
  font-family: sans-serif;
  font-size: 14px;
  height: 100%;
  line-height: 24px;
  margin: 0;
  padding: 0;
}

p {
  margin-block: 0 16px;
}

h1 {
  margin-block-start: 0;
  font-size: 24px;
}

h2 {
  margin-block-start: 0;
  font-size: 18px;
}

h3 {
  margin-block-start: 0;
  font-size: 16px;
}

h4 {
  margin-block-start: 0;
  font-size: 14px;
}

hr {
  border: 0;
  border-top: 1px solid #ddd;
  margin-bottom: 16px;
}

a {
  font-size: 13px;
  font-family: monospace;
}

a:link    { color: #00f; }
a:visited { color: #005; }
a:hover   { color: #00f; }
a:active  { color: #00f; }

th {
  text-align: left;
  border-bottom: 1px solid #ccc;
}

td {
  vertical-align: top;
}

table {
  width: 100%;
  margin-bottom: 16px;
}

table.site-keys td:nth-child(1) {
  width: 96px;
}

table.site-links td:nth-child(1) {
  padding-right: 16px;
}

.site-container {
  padding:   32px;
  max-width: 1056px;
  margin:    0 auto;
}

@media (max-width: 639px) {
  .site-container {
    padding:   0px;
    margin:    0 auto;
  }
}

.site-date {
  font-family: monospace;
}

.site-mail {
  font-family: monospace;
  font-weight: bold;
}

.site-keys {
  font-family: monospace;
  font-size: 13px;
  margin-bottom: 16px;
}

.site-keys a {
  font-size: 13px;
}

/*
 * Site banner.
 */

.site-banner-container {
  position: relative;
}

.site-banner-logo-container {
  position: absolute;
  inset: 0;
  display: flex;
  align-items: center;
  justify-content: center;
}

.site-banner-logo {
  display: flex;
  flex-direction: row;
  align-items: center;

  background-color: rgba(0, 0, 0, 0.8);
  color: #fff;
  border: 1px solid #fff;
  font-family: monospace;

  box-shadow: 8px 8px 0px rgba(0, 0, 0, 0.5);
}

.site-banner-logo h1 {
  margin-left:  32px;
  margin-right: 32px;
}

.site-banner-logo-icon {

}

/*
 * Shields
 */

.site-shields-container {
  display: flex;
  flex-direction: row;
  justify-content: center;
  width: 100%;
  margin-top: 16px;
  height: 24px;
}

.site-shield {
  margin-right: 8px;
  border: 1px solid #000;
}

/*
 * Navigation menu.
 */

header nav {
  display: flex;
  flex-direction: row;
  justify-content: center;
  width: 100%;
  overflow: auto hidden;
  color: #000;
  background-color: #000;
  border: 1px solid #000;
}

@media (min-width: 640px) {
  ul.site-navigation-menu {
    display: flex;
    height: 32px;
    margin: 0;
    padding: 0;
  }

  ul.site-navigation-menu > li {
    list-style: none;
    width: 96px;
    height: 32px;
    text-align: center;
    text-transform: uppercase;
    font-weight: bold;
    color: #fff;
    border: 1px solid #fff;
  }

  ul.site-navigation-menu > li > a {
    display: block;
    line-height: 32px;
    width: 100%;
    font-family: monospace;
    font-size: 13px;
    color: #fff;
  }
}

@media (max-width: 639px) {
  ul.site-navigation-menu {
    display: grid;
    grid-template-rows: repeat(2, auto);
    grid-auto-flow: column;
    height: 64px;
    margin: 0;
    padding: 0;
  }

  ul.site-navigation-menu > li {
    list-style: none;
    width: 96px;
    height: 32px;
    vertical-align: top;
    text-align: center;
    text-transform: uppercase;
    font-weight: bold;
    color: #fff;
    border: 1px solid #fff;
  }

  ul.site-navigation-menu > li > a {
    display: block;
    line-height: 32px;
    width: 100%;
    font-family: monospace;
    font-size: 13px;
    color: #fff;
  }

  .site-banner-logo-icon {
    display: none;
  }

  .site-banner-logo h1 {
    margin-left:  16px;
    margin-right: 16px;
    margin-top:    4px;
    margin-bottom: 4px;
  }
}

ul.site-navigation-menu > li > a:hover {
  background-color: #fff;
  color: #000;
}

/*
 * Various bits of preformatted text.
 *
 * The min-width nonsense is required to allow the element to shrink when
 * placed inside a flex container.
 */

p.license-text, p.site-code, p.site-dependency {
  font-family: monospace;
  white-space: pre;
  min-width: -webkit-fill-available;
  min-width: -moz-available;
  min-width: stretch;
  max-width: 0;
  overflow-x: auto;
}

p.site-code, p.site-dependency {
  padding: 16px;
  border: 1px solid #ddd;
}

/*
 * Main elements.
 */

main {
  display: flex;
  flex-flow: column;
  flex-grow: 1;
  flex-shrink: 0;
  justify-content: flex-start;
  padding: 0;
  margin: 0;
  width: 100%;
  border-left: 1px solid #000;
  border-right: 1px solid #000;
}

section {
  margin: 0;
  background-color: #fff;
}

section.section-top-level {
  padding: 16px;
  overflow: auto;
  border-bottom: 1px solid #000;
}

footer {
  font-family: monospace;
  padding: 16px;
  border-left: 1px solid #000;
  border-right: 1px solid #000;
  border-bottom: 1px solid #000;
  background-color: #fff;
}
