* {
  box-sizing: border-box;
}

html {
  font-family: sans-serif;
  text-size-adjust: 100%;
}

body {
  padding: 0;
  margin: 0;
  font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 16px;
  line-height: 1.5;
  color: #606c71;
}

#skip-to-content {
  position: absolute;
  top: -10px;
  width: 1px;
  height: 1px;
  overflow: hidden;
}

#skip-to-content:focus {
  position: fixed;
  top: 10px;
  left: 10px;
  z-index: 10;
  width: auto;
  height: auto;
  padding: 0.5rem 0.75rem;
  color: #fff;
  background: #e19447;
  outline: thick solid #e19447;
}

a {
  color: #1e6bb8;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

.page-header {
  color: #fff;
  text-align: center;
  background-color: #159957;
  background-image: linear-gradient(120deg, #155799, #159957);
}

.project-name {
  margin-top: 0;
  margin-bottom: 0.1rem;
  font-weight: 700;
}

.project-tagline {
  margin: 1rem auto 0;
  max-width: 58rem;
  font-weight: 400;
  opacity: 0.82;
}

.project-authors {
  margin: 0.6rem auto 1.8rem;
  max-width: 58rem;
  color: rgba(255, 255, 255, 0.82);
}

.project-authors a {
  color: inherit;
  text-decoration: underline;
  text-underline-offset: 0.16em;
}

.project-links {
  display: block;
}

.status-badges {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
  align-items: center;
  margin: 1rem 0 1.25rem;
}

.status-badges img {
  display: block;
  max-width: 100%;
  height: 20px;
}

.btn {
  display: inline-block;
  margin-bottom: 1rem;
  color: rgba(255, 255, 255, 0.76);
  background-color: rgba(255, 255, 255, 0.08);
  border-color: rgba(255, 255, 255, 0.2);
  border-style: solid;
  border-width: 1px;
  border-radius: 0.3rem;
  transition:
    color 0.2s,
    background-color 0.2s,
    border-color 0.2s;
}

.btn:hover {
  color: rgba(255, 255, 255, 0.9);
  text-decoration: none;
  background-color: rgba(255, 255, 255, 0.18);
  border-color: rgba(255, 255, 255, 0.3);
}

.btn + .btn {
  margin-left: 1rem;
}

.main-content {
  word-wrap: break-word;
}

.main-content :first-child {
  margin-top: 0;
}

.main-content h1,
.main-content h2,
.main-content h3,
.main-content h4,
.main-content h5,
.main-content h6 {
  margin-top: 2rem;
  margin-bottom: 1rem;
  font-weight: 400;
  color: #159957;
}

.main-content p {
  margin-bottom: 1em;
}

.main-content ul {
  margin-top: 0;
}

.main-content pre {
  max-width: 100%;
  padding: 1rem;
  overflow-x: auto;
  color: #243746;
  background: #f6f8fa;
  border: 1px solid #dce6ea;
  border-radius: 4px;
}

.main-content pre code {
  font-size: 0.875rem;
  white-space: pre;
  overflow-wrap: normal;
  word-break: normal;
}

.notation-table {
  width: 100%;
  table-layout: fixed;
  border-collapse: collapse;
}

.notation-table th,
.notation-table td {
  padding: 0.65rem 0.4rem;
  border-bottom: 1px solid #dce6ea;
  text-align: left;
}

.notation-table th:first-child {
  width: 30%;
}

.main-content li + li {
  margin-top: 0.15rem;
}

.status-strip {
  margin: 0 0 2rem;
  padding: 1rem 1.2rem;
  color: #31444d;
  background: #f4faf8;
  border-left: 4px solid #159957;
  border-radius: 8px;
}

.status-strip p:last-child {
  margin-bottom: 0;
}

.project-summary {
  margin: 0 0 2rem;
  padding-bottom: 0.75rem;
  border-bottom: 1px solid #dce6ea;
}

.project-summary h2 {
  margin-top: 0;
}

.project-summary p {
  max-width: 56rem;
  color: #31444d;
  font-size: 1.05rem;
}

.dashboard-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem;
  margin: 1rem 0 1.5rem;
}

.dashboard-item {
  min-width: 0;
  padding: 1rem;
  background: #fff;
  border: 1px solid #dce6ea;
  border-radius: 8px;
}

.dashboard-item h3 {
  margin-top: 0.75rem;
  margin-bottom: 0.5rem;
  color: #31444d;
  font-size: 1.02rem;
  font-weight: 700;
}

.dashboard-item p {
  margin-bottom: 0.8rem;
}

.dashboard-item a {
  font-weight: 700;
}

.dashboard-links {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
  align-items: center;
}

.roadmap-list {
  display: grid;
  gap: 0.55rem;
  padding-left: 0;
  list-style: none;
}

.roadmap-list li {
  min-width: 0;
  padding: 0.75rem 0.85rem;
  color: #31444d;
  background: #f7fbfc;
  border: 1px solid #dce6ea;
  border-radius: 8px;
}

.roadmap-list .status-pill {
  margin-right: 0.4rem;
  vertical-align: text-bottom;
}

.card-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(14rem, 1fr));
  gap: 1rem;
  margin: 1rem 0 1.5rem;
}

.info-card {
  min-width: 0;
  padding: 1rem;
  background: #fff;
  border: 1px solid #dce6ea;
  border-radius: 8px;
}

.info-card h3 {
  margin-top: 0.75rem;
  margin-bottom: 0.5rem;
  color: #31444d;
  font-size: 1.05rem;
  font-weight: 700;
}

.info-card p:last-child {
  margin-bottom: 0;
}

.status-pill {
  display: inline-flex;
  max-width: 100%;
  align-items: center;
  padding: 0.18rem 0.5rem;
  color: #31444d;
  background: #edf5f7;
  border: 1px solid #dce6ea;
  border-radius: 6px;
  font-size: 0.78rem;
  font-weight: 700;
  line-height: 1.25;
  overflow-wrap: anywhere;
}

.status-pill.proved {
  color: #0f5d37;
  background: #e7f6ed;
  border-color: #b8dfc8;
}

.status-pill.demo {
  color: #754b09;
  background: #fff3db;
  border-color: #e7c477;
}

.status-pill.planned {
  color: #46545b;
  background: #f4f6f7;
  border-color: #d7dee2;
}

.status-pill.prototype {
  color: #174f7d;
  background: #e9f3fb;
  border-color: #bad7ec;
}

.status-pill.separate {
  color: #174f7d;
  background: #e9f3fb;
  border-color: #bad7ec;
}

.link-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(13rem, 1fr));
  gap: 0.75rem;
  margin: 1rem 0 1.5rem;
}

.link-grid a {
  display: block;
  min-width: 0;
  padding: 0.75rem 0.85rem;
  color: #1f5f87;
  background: #f7fbfc;
  border: 1px solid #dce6ea;
  border-left: 4px solid #1e6bb8;
  border-radius: 8px;
  font-weight: 700;
  overflow-wrap: anywhere;
}

.link-grid a:hover {
  color: #144463;
  text-decoration: none;
  background: #edf5f7;
}

.architecture-diagram {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem;
  align-items: stretch;
  margin: 1rem 0 1.5rem;
}

.arch-branch {
  min-width: 0;
  padding: 0.9rem;
  background: #fff;
  border: 1px solid #dce6ea;
  border-top: 4px solid #1e6bb8;
  border-radius: 8px;
}

.arch-certificate {
  border-top-color: #159957;
}

.arch-label {
  margin: 0 0 0.75rem;
  color: #31444d;
  font-size: 0.9rem;
  font-weight: 700;
}

.arch-flow {
  display: grid;
  gap: 0.45rem;
}

.arch-node,
.arch-arrow {
  min-width: 0;
  padding: 0.6rem 0.7rem;
  text-align: center;
  border-radius: 8px;
  overflow-wrap: anywhere;
}

.arch-node {
  color: #31444d;
  background: #f7fbfc;
  border: 1px solid #dce6ea;
  font-weight: 700;
}

.arch-arrow {
  color: #46545b;
  font-size: 0.8rem;
  font-weight: 700;
  text-transform: uppercase;
}

.arch-merge {
  grid-column: 1 / -1;
  min-width: 0;
  padding: 1rem 1.1rem;
  color: #31444d;
  background: #f4faf8;
  border: 1px solid #b8dfc8;
  border-radius: 8px;
}

.arch-merge strong {
  display: block;
  margin-top: 0.55rem;
  color: #0f5d37;
  font-size: 1.05rem;
}

.arch-merge p {
  margin: 0.45rem 0 0;
}

.arch-future {
  grid-column: 1 / -1;
  margin: 0;
  padding: 0.2rem 0.4rem 0;
  color: #46545b;
  font-size: 0.95rem;
}

.trusted-flow {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr) auto minmax(0, 1fr);
  gap: 0.7rem;
  align-items: stretch;
  margin: 1rem 0 1.5rem;
}

.trusted-step,
.trusted-result {
  min-width: 0;
  padding: 0.9rem;
  color: #31444d;
  background: #fff;
  border: 1px solid #dce6ea;
  border-top: 4px solid #159957;
  border-radius: 8px;
}

.untrusted-step {
  border-top-color: #e7c477;
}

.trusted-step h3 {
  margin-top: 0.75rem;
  margin-bottom: 0.45rem;
  color: #31444d;
  font-size: 1rem;
  font-weight: 700;
}

.trusted-step p,
.trusted-result p {
  margin-bottom: 0;
}

.trusted-arrow {
  display: flex;
  min-width: 5rem;
  align-items: center;
  justify-content: center;
  color: #46545b;
  font-size: 0.78rem;
  font-weight: 700;
  text-align: center;
  text-transform: uppercase;
}

.trusted-result {
  grid-column: 1 / -1;
  background: #f4faf8;
  border-color: #b8dfc8;
}

.trusted-result strong {
  display: block;
  margin-top: 0.55rem;
  color: #0f5d37;
  font-size: 1.05rem;
}

.notice {
  padding: 1rem 1.2rem;
  color: #31444d;
  background: #fff8ea;
  border: 1px solid #e7c477;
  border-radius: 8px;
}

.metric-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(10rem, 1fr));
  gap: 0.75rem;
  margin: 1rem 0 1.5rem;
}

.metric-card {
  min-width: 0;
  padding: 0.85rem;
  color: #31444d;
  background: #f7fbfc;
  border: 1px solid #dce6ea;
  border-radius: 8px;
}

.metric-card strong,
.metric-card span {
  display: block;
}

.metric-card strong {
  color: #159957;
  font-size: 1.6rem;
  line-height: 1.1;
}

.metric-card span {
  margin-top: 0.25rem;
  font-size: 0.85rem;
  font-weight: 700;
}

.muted {
  color: #77858b;
}

.lead {
  color: #46545b;
  font-size: 1.05em;
}

.status-table {
  width: 100%;
  margin: 1rem 0 1.5rem;
  border-collapse: collapse;
  font-size: 0.95rem;
  table-layout: fixed;
}

.status-table caption {
  margin-bottom: 0.5rem;
  color: #46545b;
  font-weight: 700;
  text-align: left;
}

.status-table th,
.status-table td {
  padding: 0.7rem 0.8rem;
  vertical-align: top;
  border: 1px solid #dce6ea;
  overflow-wrap: anywhere;
}

.status-table th {
  color: #31444d;
  background: #edf5f7;
  font-weight: 700;
  text-align: left;
}

.status-table code {
  white-space: normal;
  overflow-wrap: anywhere;
  word-break: break-word;
}

.status-table tr:target {
  background: #fff8ea;
  outline: 2px solid #e7c477;
}

.decl-actions {
  display: block;
  margin-top: 0.25rem;
  color: #77858b;
  font-size: 0.82rem;
  font-weight: 700;
}

.site-footer {
  padding-top: 2rem;
  margin-top: 2rem;
  border-top: solid 1px #eff0f1;
}

.site-footer-owner {
  display: block;
  font-weight: 700;
}

@media screen and (min-width: 64em) {
  .page-header {
    padding: 5rem 6rem;
  }

  .project-name {
    font-size: 3.25rem;
  }

  .project-tagline {
    font-size: 1.25rem;
  }

  .main-content {
    max-width: 64rem;
    padding: 2rem 6rem;
    margin: 0 auto;
    font-size: 1.1rem;
  }

  .btn {
    padding: 0.75rem 1rem;
  }
}

@media screen and (min-width: 42em) and (max-width: 64em) {
  .page-header {
    padding: 3rem 4rem;
  }

  .project-name {
    font-size: 2.25rem;
  }

  .project-tagline {
    font-size: 1.15rem;
  }

  .main-content {
    padding: 2rem 4rem;
    font-size: 1.1rem;
  }

  .btn {
    padding: 0.6rem 0.9rem;
    font-size: 0.9rem;
  }
}

@media screen and (max-width: 42em) {
  html,
  body {
    max-width: 100%;
    overflow-x: hidden;
  }

  .page-header {
    padding: 2rem 1rem;
    overflow-x: hidden;
  }

  .project-name {
    max-width: 22rem;
    font-size: 2rem;
    margin-right: auto;
    margin-left: auto;
  }

  .project-tagline,
  .project-authors {
    width: 100%;
    max-width: 18rem;
    font-size: 1rem;
    overflow-wrap: anywhere;
  }

  .btn {
    display: block;
    width: 100%;
    padding: 0.75rem;
    font-size: 0.9rem;
  }

  .btn + .btn {
    margin-top: 1rem;
    margin-left: 0;
  }

  .main-content {
    width: 100%;
    max-width: 24rem;
    margin-right: 0;
    margin-left: 0;
    padding: 2rem 1rem;
    font-size: 1rem;
    overflow-wrap: anywhere;
  }

  .main-content p,
  .main-content li {
    max-width: 21rem;
  }

  .status-table {
    display: block;
    max-width: 100%;
    overflow-x: auto;
  }

  .card-grid,
  .dashboard-grid,
  .link-grid,
  .metric-grid,
  .architecture-diagram,
  .trusted-flow {
    grid-template-columns: 1fr;
  }

  .arch-branch,
  .arch-merge,
  .trusted-step,
  .trusted-result {
    padding: 0.85rem;
  }

  .arch-arrow,
  .trusted-arrow {
    padding: 0.15rem 0;
  }
}