body {
  max-width: 960px;
  margin: 18px auto 60px;
  padding: 0 18px;
  background: #dcecff;
  color: #102033;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 16px;
  line-height: 1.45;
}

a {
  color: #1459b8;
}

a:visited {
  color: #1459b8;
}

.top {
  border: 1px solid #75a7e8;
  border-top: 6px solid #0d4fa5;
  border-radius: 4px;
  background: #cfe3ff;
  padding: 14px 16px 12px;
  margin-bottom: 22px;
  box-shadow: 0 1px 2px rgba(21, 68, 128, 0.08);
}

.site-title {
  margin: 0 0 8px;
  font-size: 28px;
  font-weight: 400;
}

.site-title a {
  color: #0d356f;
  text-decoration: none;
}

.nav {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  margin: 0 0 12px;
  padding-top: 9px;
  border-top: 1px solid #d4e2f6;
}

.nav a {
  font-weight: 700;
  text-decoration: none;
}

.controls {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  align-items: center;
  margin: 0 0 20px;
  padding: 10px 12px;
  border: 1px solid #75a7e8;
  border-radius: 4px;
  background: #bcd8ff;
}

.go {
  display: inline-flex;
  gap: 4px;
  align-items: center;
}

input {
  width: 70px;
  padding: 2px 4px;
  border: 1px solid #89abd8;
  border-radius: 3px;
  font: inherit;
}

button {
  padding: 2px 7px;
  border: 1px solid #2f6fbd;
  border-radius: 3px;
  background: #1f63b7;
  color: #fff;
  font: inherit;
}

button:hover {
  background: #154c91;
}

h1 {
  margin: 22px 0 8px;
  font-size: 26px;
  font-weight: 400;
  color: #0d356f;
}

h2 {
  margin: 26px 0 8px;
  font-size: 20px;
  font-weight: 400;
  color: #0d356f;
}

p {
  margin: 0 0 12px;
}

table {
  width: 100%;
  border-collapse: collapse;
  margin-top: 12px;
  background: #f8fbff;
  border: 1px solid #75a7e8;
}

th,
td {
  padding: 7px 9px;
  border-bottom: 1px solid #a8c7ef;
  text-align: left;
  vertical-align: top;
}

th {
  font-weight: 400;
  color: #0d356f;
  background: #bcd8ff;
}

tbody tr:nth-child(even) {
  background: #f8fbff;
}

.status {
  color: #0f7a45;
  font-weight: 700;
}

.statement {
  max-width: 820px;
  font-size: 18px;
}

.source,
.small {
  color: #53677f;
}

.tags {
  margin: 8px 0 14px;
}

.tag {
  display: inline-block;
  margin: 0 6px 6px 0;
  border: 1px solid #b7cff0;
  border-radius: 999px;
  background: #eaf2ff;
  padding: 2px 8px;
  text-decoration: none;
}

details {
  margin-top: 18px;
}

summary {
  cursor: pointer;
}

pre {
  max-width: 820px;
  overflow-x: auto;
  white-space: pre-wrap;
  border: 1px solid #bfd4f1;
  border-radius: 4px;
  padding: 10px;
  background: #fff;
  font-size: 14px;
  line-height: 1.35;
}

.bottom-nav {
  margin-top: 30px;
  display: flex;
  justify-content: space-between;
  gap: 12px;
  border-top: 1px solid #bfd4f1;
  padding-top: 12px;
  color: #53677f;
}

@media (max-width: 640px) {
  body {
    margin-top: 12px;
    padding: 0 12px;
  }

  .controls,
  .nav {
    display: block;
  }

  .nav a,
  .controls > * {
    display: inline-block;
    margin: 0 10px 8px 0;
  }
}