:root {
  --optagent-public-accent: #2196f3;
  --optagent-public-accent-soft: #e3f2fd;
}

.md-header {
  box-shadow: none;
}

.md-header__title {
  font-weight: 700;
}

.md-tabs {
  background: var(--md-primary-fg-color);
  box-shadow: none;
  color: var(--md-primary-bg-color);
}

.md-grid {
  max-width: 61rem;
}

.md-content__inner {
  max-width: none;
  padding-top: 1rem;
}

.md-nav__link--active {
  font-weight: 500;
}

.md-typeset .grid.cards > ul > li,
.md-typeset .grid > .card {
  border: 1px solid var(--optagent-border);
  border-radius: 6px;
  box-shadow: none;
}

.md-typeset .grid.cards > ul > li:hover,
.md-typeset .grid > .card:hover {
  border-color: var(--md-accent-fg-color);
  box-shadow: none;
}

.docs-version {
  background: var(--md-default-fg-color--lightest);
  border-radius: 999px;
  color: var(--md-default-fg-color--light);
  font-size: 0.62rem;
  margin: 0;
  padding: 0.12rem 0.45rem;
}

.docs-page-meta {
  border-bottom: 0;
  margin-bottom: 0.4rem;
  min-height: 1.2rem;
  padding-bottom: 0;
}

.md-source-actions__link {
  border-color: transparent;
  font-size: 0.65rem;
  line-height: 1.4;
  padding: 0.08rem 0.35rem;
}

.md-typeset {
  font-size: 0.8rem;
  line-height: 1.6;
}

.md-typeset h1 {
  color: var(--md-default-fg-color--light);
  font-size: 2em;
  font-weight: 300;
  line-height: 1.3;
  margin-bottom: 1.25rem;
}

.md-typeset h2 {
  border-bottom: 0;
  font-size: 1.25rem;
  font-weight: 400;
  margin-top: 2.2rem;
  padding-bottom: 0;
}

.md-typeset table:not([class]) th {
  background: var(--md-primary-fg-color);
  color: var(--md-primary-bg-color);
}

.md-typeset .solver-tags {
  align-items: center;
  display: inline-flex;
  flex-wrap: wrap;
  gap: 0.25rem;
}

.md-typeset .solver-tag {
  align-items: center;
  border: 1px solid transparent;
  border-radius: 999px;
  display: inline-flex;
  font-size: 0.58rem;
  font-weight: 700;
  line-height: 1;
  min-height: 1.15rem;
  padding: 0.08rem 0.32rem;
  white-space: nowrap;
}

.md-typeset .solver-tag--heuristic {
  background: #dcfce7;
  border-color: #86efac;
  color: #14532d;
}

.md-typeset .solver-tag--cpsat {
  background: #dbeafe;
  border-color: #93c5fd;
  color: #0f3f6e;
}

.md-typeset .solver-tag--milp {
  background: #fef3c7;
  border-color: #fbbf24;
  color: #6b3a00;
}

.md-typeset .solver-tag--model {
  background: #e0e7ff;
  border-color: #a5b4fc;
  color: #3730a3;
}

.md-typeset .api-call {
  background: color-mix(in srgb, var(--md-code-bg-color) 88%, var(--optagent-public-accent));
  border-left: 3px solid var(--optagent-public-accent);
  display: block;
  overflow-x: auto;
  padding: 0.65rem 0.8rem;
  white-space: nowrap;
}

.md-typeset .api-note {
  background: transparent;
  border: 0;
  border-left: 3px solid var(--md-primary-fg-color--light);
  border-radius: 0;
  color: var(--md-default-fg-color--light);
  margin: 1rem 0 1.4rem;
  padding: 0.2rem 0 0.2rem 0.8rem;
}

@media screen and (max-width: 44.984375em) {
  .docs-page-meta {
    align-items: flex-start;
    gap: 0.5rem;
  }

  .md-content__inner {
    padding-top: 1rem;
  }
}
