@import url("https://fonts.googleapis.com/css2?family=Exo+2:wght@300;400;600;700&family=Share+Tech+Mono&display=swap");

:root {
  --nx-bg: #e7efe6;
  --nx-surface: rgba(245, 250, 244, 0.9);
  --nx-surface-strong: rgba(240, 247, 240, 0.96);
  --nx-border: #aac9a6;
  --nx-border-strong: #6ca06a;
  --nx-text: #102010;
  --nx-muted: #4d6f4d;
  --nx-accent: #1c6b1c;
  --nx-accent-hover: #124a12;
  --nx-accent-2: #c68512;
  --nx-shadow: 0 18px 40px rgba(22, 57, 22, 0.08);
}

html,
body {
  background:
    radial-gradient(circle at 50% 20%, rgba(28, 107, 28, 0.1), transparent 30%),
    linear-gradient(180deg, #edf5ec 0%, var(--nx-bg) 100%);
  color: var(--nx-text);
  font-family: "Exo 2", sans-serif;
  min-height: 100%;
}

body {
  position: relative;
}

body::before {
  content: "";
  position: fixed;
  inset: 0;
  background-image:
    linear-gradient(rgba(108, 160, 106, 0.22) 1px, transparent 1px),
    linear-gradient(90deg, rgba(108, 160, 106, 0.22) 1px, transparent 1px);
  background-size: 56px 56px;
  opacity: 0.38;
  pointer-events: none;
  z-index: -2;
}

body::after {
  content: "";
  position: fixed;
  inset: 0;
  background: repeating-linear-gradient(
    0deg,
    transparent,
    transparent 3px,
    rgba(0, 0, 0, 0.015) 3px,
    rgba(0, 0, 0, 0.015) 4px
  );
  pointer-events: none;
  z-index: -1;
}

a {
  color: var(--nx-accent);
  text-decoration-thickness: 0.08em;
  text-underline-offset: 0.14em;
}

a:hover,
a:focus {
  color: var(--nx-accent-hover);
}

.container {
  width: min(1920px, calc(100vw - 1.6rem));
  max-width: none;
}

@media (min-width: 1200px) {
  .container {
    width: min(1960px, calc(100vw - 2.6rem));
  }
}

body > .container {
  margin-top: 24px;
}

@media (min-width: 992px) {
  .row {
    display: flex;
    align-items: flex-start;
    gap: 1.25rem;
  }

  .col-md-3 {
    width: 17%;
    flex: 0 0 17%;
    padding-right: 0;
  }

  .col-md-9 {
    width: calc(83% - 1.25rem);
    flex: 0 0 calc(83% - 1.25rem);
    padding-left: 0;
  }
}

.navbar,
.navbar.bg-primary,
.navbar.fixed-top {
  background:
    linear-gradient(180deg, rgba(239, 246, 238, 0.98), rgba(231, 240, 230, 0.96)) !important;
  border-bottom: 1px solid rgba(108, 160, 106, 0.55);
  box-shadow: 0 10px 28px rgba(15, 42, 15, 0.07);
  backdrop-filter: blur(10px);
}

.navbar-brand,
.navbar-nav .nav-link,
.navbar-text {
  color: var(--nx-text) !important;
  font-family: "Share Tech Mono", monospace;
  letter-spacing: 0.04em;
}

.nexus-brand-cluster {
  display: inline-flex;
  align-items: center;
  gap: 0.95rem;
  margin-right: 1rem;
}

.nexus-external-brand {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  padding: 0.28rem 0.55rem 0.28rem 0.6rem;
  border: 1px solid rgba(108, 160, 106, 0.38);
  background: rgba(240, 247, 240, 0.72);
  color: var(--nx-text);
  text-decoration: none;
  box-shadow: 0 6px 18px rgba(15, 42, 15, 0.05);
}

.nexus-external-brand:hover,
.nexus-external-brand:focus {
  color: var(--nx-accent);
  border-color: rgba(108, 160, 106, 0.62);
  background: rgba(245, 250, 244, 0.92);
}

.nexus-external-mark {
  color: var(--nx-accent-2);
  font-size: 0.92rem;
  line-height: 1;
}

.nexus-external-lines {
  display: inline-flex;
  flex-direction: column;
  align-items: flex-start;
  gap: 0.06rem;
  line-height: 0.9;
  font-size: 0.72rem;
  text-transform: uppercase;
}

.nexus-site-brand {
  margin-right: 0;
}

.navbar-nav .nav-link {
  white-space: nowrap;
}

.navbar .fa {
  color: var(--nx-text) !important;
}

.navbar-brand {
  text-transform: uppercase;
  text-shadow: 0 0 14px rgba(28, 107, 28, 0.12);
}

.navbar-nav .nav-link:hover,
.navbar-nav .nav-link:focus,
.navbar-nav .show > .nav-link,
.navbar-nav .nav-link.active,
.navbar-nav .open > .nav-link {
  color: var(--nx-accent) !important;
  background: rgba(108, 160, 106, 0.09);
}

.navbar-toggler {
  border-color: rgba(108, 160, 106, 0.4);
}

.navbar-toggler:focus {
  box-shadow: 0 0 0 0.2rem rgba(108, 160, 106, 0.18);
}

.navbar-dark .navbar-toggler-icon {
  filter: invert(18%) sepia(31%) saturate(1178%) hue-rotate(71deg) brightness(97%) contrast(97%);
}

@media (min-width: 992px) {
  .navbar .container {
    align-items: center;
  }

  .navbar-collapse {
    flex-wrap: nowrap;
    min-width: 0;
  }

  .navbar-collapse > .navbar-nav.ms-md-auto {
    flex: 0 0 auto;
    flex-wrap: nowrap;
    white-space: nowrap;
  }

  .navbar-collapse > .navbar-nav.ms-md-auto .nav-link {
    padding-left: 0.55rem;
    padding-right: 0.55rem;
  }
}

@media (min-width: 992px) and (max-width: 1380px) {
  .navbar.fixed-top .container {
    flex-wrap: wrap;
  }

  .navbar.fixed-top .navbar-toggler {
    display: block;
  }

  .navbar.fixed-top .navbar-collapse {
    display: none !important;
    width: 100%;
    flex-basis: 100%;
    margin-top: 0.85rem;
  }

  .navbar.fixed-top .navbar-collapse.show,
  .navbar.fixed-top .navbar-collapse.collapsing {
    display: block !important;
  }

  .navbar.fixed-top .navbar-collapse > .navbar-nav,
  .navbar.fixed-top .navbar-collapse > .navbar-nav.ms-md-auto {
    flex-direction: column;
    margin-left: 0 !important;
  }

  .navbar.fixed-top .dropdown-menu {
    position: static;
    float: none;
  }
}

@media (max-width: 991px) {
  .nexus-brand-cluster {
    gap: 0.65rem;
    margin-right: 0;
  }

  .nexus-external-brand {
    padding: 0.24rem 0.45rem 0.24rem 0.48rem;
  }

  .nexus-external-lines {
    font-size: 0.64rem;
  }
}

@media (max-width: 575px) {
  .nexus-brand-cluster {
    gap: 0.45rem;
  }

  .nexus-external-mark {
    display: none;
  }

  .nexus-external-brand {
    padding-left: 0.42rem;
    padding-right: 0.42rem;
  }

  .nexus-external-lines {
    font-size: 0.58rem;
  }
}

.dropdown-menu {
  background: rgba(245, 250, 244, 0.98);
  border: 1px solid rgba(108, 160, 106, 0.4);
  box-shadow: var(--nx-shadow);
}

.dropdown-menu > li > a {
  color: var(--nx-text);
}

.dropdown-menu > li > a:hover,
.dropdown-menu > li > a:focus {
  background: rgba(108, 160, 106, 0.12);
  color: var(--nx-accent);
}

.col-md-9,
.wm-page-content {
  background: var(--nx-surface);
  border: 1px solid rgba(108, 160, 106, 0.28);
  box-shadow: var(--nx-shadow);
  padding: 2.1rem 3rem 2.7rem;
}

@media (max-width: 767px) {
  .col-md-9,
  .wm-page-content {
    padding: 1.4rem 1.2rem 1.7rem;
  }
}

.bs-sidebar,
.toc,
.wm-toc-pane {
  background: rgba(240, 247, 240, 0.78);
  border: 1px solid rgba(108, 160, 106, 0.25);
  box-shadow: 0 10px 22px rgba(15, 42, 15, 0.05);
}

.bs-sidebar .nav > li > a,
.toc ul li a,
.wm-toc-pane a {
  color: var(--nx-muted);
}

.bs-sidebar .nav > li > a:hover,
.bs-sidebar .nav > li.active > a,
.toc ul li a:hover,
.wm-toc-pane a:hover {
  color: var(--nx-accent);
  border-left-color: var(--nx-accent-2);
  background: rgba(108, 160, 106, 0.08);
}

h1,
h2,
h3,
h4,
h5,
h6 {
  color: var(--nx-text);
  font-family: "Share Tech Mono", monospace;
  letter-spacing: 0.03em;
  line-height: 1.25;
}

h1 {
  margin-bottom: 1rem;
  padding-bottom: 0.45rem;
  border-bottom: 1px solid rgba(108, 160, 106, 0.45);
  text-shadow: 0 0 16px rgba(28, 107, 28, 0.12);
}

h2 {
  margin-top: 2.2rem;
  padding-bottom: 0.3rem;
  border-bottom: 1px solid rgba(108, 160, 106, 0.18);
}

blockquote {
  background: rgba(240, 247, 240, 0.72);
  border-left: 4px solid var(--nx-accent-2);
  color: var(--nx-muted);
}

pre,
code,
kbd,
samp {
  font-family: "Share Tech Mono", monospace;
}

code {
  color: var(--nx-accent-hover);
  background: rgba(108, 160, 106, 0.12);
}

pre {
  background: #eef4ee;
  border: 1px solid rgba(108, 160, 106, 0.35);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.5);
}

pre code {
  background: transparent;
}

pre.nx-code-block {
  position: relative;
  padding-top: 3.4rem;
}

.nx-copy-button {
  position: absolute;
  top: 0.85rem;
  right: 0.95rem;
  z-index: 2;
  padding: 0.34rem 0.72rem;
  border: 1px solid rgba(108, 160, 106, 0.42);
  background: rgba(245, 250, 244, 0.92);
  color: var(--nx-accent-hover);
  font-family: "Share Tech Mono", monospace;
  font-size: 0.78rem;
  letter-spacing: 0.05em;
  line-height: 1.2;
  box-shadow: 0 6px 16px rgba(15, 42, 15, 0.08);
  transition: background 120ms ease, color 120ms ease, border-color 120ms ease, transform 120ms ease;
}

.nx-copy-button:hover,
.nx-copy-button:focus {
  background: rgba(108, 160, 106, 0.12);
  border-color: rgba(108, 160, 106, 0.58);
  color: var(--nx-accent);
  transform: translateY(-1px);
}

.nx-copy-button:focus-visible {
  outline: 2px solid rgba(198, 133, 18, 0.45);
  outline-offset: 2px;
}

.nx-copy-button.is-success {
  background: rgba(28, 107, 28, 0.14);
  border-color: rgba(28, 107, 28, 0.45);
  color: var(--nx-accent);
}

.nx-copy-button.is-error {
  background: rgba(198, 133, 18, 0.14);
  border-color: rgba(198, 133, 18, 0.45);
  color: #8b5b00;
}

table {
  background: rgba(245, 250, 244, 0.92);
}

.table > thead > tr > th,
table th {
  font-family: "Share Tech Mono", monospace;
  color: var(--nx-text);
  border-bottom-color: rgba(108, 160, 106, 0.42);
}

.table > tbody > tr > td,
.table > tbody > tr > th,
table td {
  border-top-color: rgba(108, 160, 106, 0.2);
}

hr {
  border-top: 1px solid rgba(108, 160, 106, 0.34);
}

.footer,
footer {
  color: var(--nx-muted);
  font-family: "Share Tech Mono", monospace;
}

footer {
  padding-bottom: 1.5rem;
}

.nexus-footer-meta {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  gap: 0.55rem;
  margin-bottom: 0.8rem;
}

.nexus-footer-topline {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr);
  align-items: center;
  width: 100%;
  gap: 1rem;
  padding-inline: clamp(0.75rem, 2vw, 1.5rem);
}

.nexus-license-mark {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  padding: 0;
  background: transparent;
  border: 0;
  box-shadow: none;
}

.nexus-license-mark:hover,
.nexus-license-mark:focus {
  background: transparent;
  border: 0;
}

.nexus-license-mark img {
  display: block;
  width: 88px;
  max-width: 100%;
  height: 31px;
}

.nexus-copyright-line,
.nexus-license-text {
  margin: 0;
  line-height: 1.55;
}

.nexus-license-badge-line,
.nexus-fsharp-line,
.nexus-fsharp-attribution {
  margin: 0;
}

.nexus-license-badge-line {
  justify-self: end;
}

.nexus-heart {
  color: var(--nx-accent-2);
  text-shadow: 0 0 10px rgba(198, 133, 18, 0.18);
}

.nexus-fsharp-line {
  display: inline-flex;
  align-items: center;
  justify-content: flex-start;
  gap: 0.7rem;
  color: var(--nx-text);
  font-family: "Share Tech Mono", monospace;
  letter-spacing: 0.04em;
  justify-self: start;
}

.nexus-fsharp-logo {
  width: 24px;
  height: 24px;
  flex: 0 0 auto;
}

.nexus-fsharp-promo {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
}

.nexus-fsharp-promo .nexus-heart {
  font-size: 1.35rem;
  line-height: 1;
  position: relative;
  top: 0.08em;
}

.nexus-pipe {
  color: var(--nx-accent);
}

.nexus-copyright-line {
  justify-self: center;
  text-align: center;
}

.nexus-license-text {
  max-width: 100%;
  text-align: center;
}

.nexus-fsharp-attribution {
  max-width: 62rem;
  color: var(--nx-muted);
  font-size: 0.84rem;
  line-height: 1.45;
  text-align: center;
}

@media (min-width: 1100px) {
  .nexus-license-text {
    white-space: nowrap;
  }
}

@media (max-width: 767px) {
  .nexus-footer-topline {
    grid-template-columns: 1fr;
    gap: 0.6rem;
  }

  .nexus-fsharp-line,
  .nexus-copyright-line,
  .nexus-license-badge-line {
    justify-self: center;
    text-align: center;
  }
}

.nexus-hero {
  margin: 0 0 2rem;
  padding: 1.4rem 1.6rem 1.5rem;
  background: var(--nx-surface-strong);
  border: 1px solid rgba(108, 160, 106, 0.35);
  border-left: 4px solid var(--nx-accent-2);
  box-shadow: var(--nx-shadow);
}

.nexus-hero p:last-child {
  margin-bottom: 0;
}

.nexus-kicker {
  margin: 0 0 0.6rem;
  color: var(--nx-muted);
  font-family: "Share Tech Mono", monospace;
  font-size: 0.88rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.nexus-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem;
  margin: 1.15rem 0 0;
}

.nexus-button {
  display: inline-block;
  padding: 0.8rem 1.15rem;
  background: var(--nx-accent);
  border: 1px solid var(--nx-accent-hover);
  color: #f5faf4;
  font-family: "Share Tech Mono", monospace;
  letter-spacing: 0.05em;
  text-decoration: none;
  clip-path: polygon(10px 0%, 100% 0%, calc(100% - 10px) 100%, 0% 100%);
  box-shadow: 0 10px 24px rgba(28, 107, 28, 0.18);
}

.nexus-button:hover,
.nexus-button:focus {
  color: #ffffff;
  background: var(--nx-accent-hover);
  text-decoration: none;
}

.nexus-button.secondary {
  background: rgba(108, 160, 106, 0.12);
  color: var(--nx-accent-hover);
}

.nexus-button.secondary:hover,
.nexus-button.secondary:focus {
  background: rgba(108, 160, 106, 0.2);
  color: var(--nx-accent-hover);
}

.nexus-map {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
  gap: 1rem;
  margin: 1.75rem 0 2rem;
}

.nexus-card {
  display: block;
  padding: 1rem 1.1rem;
  background: rgba(245, 250, 244, 0.95);
  border: 1px solid rgba(108, 160, 106, 0.28);
  box-shadow: 0 12px 28px rgba(15, 42, 15, 0.06);
  text-decoration: none;
  color: inherit;
}

.nexus-card:hover,
.nexus-card:focus {
  border-color: var(--nx-border-strong);
  text-decoration: none;
  transform: translateY(-1px);
  transition: transform 120ms ease;
}

.nexus-card-title {
  display: block;
  margin-bottom: 0.45rem;
  color: var(--nx-accent);
  font-family: "Share Tech Mono", monospace;
  font-size: 0.95rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.nexus-card-text {
  display: block;
  color: var(--nx-muted);
  font-size: 0.97rem;
}

.nexus-discussion-row {
  margin-top: 1.25rem;
}

.nexus-discussion-shell {
  margin-bottom: 0.4rem;
}

.nexus-discussion-block {
  display: flex;
  flex-direction: column;
  gap: 1rem;
}

.nexus-discussion-meta {
  display: flex;
  flex-direction: column;
  gap: 0.45rem;
  padding-bottom: 0.3rem;
  border-bottom: 1px solid rgba(108, 160, 106, 0.2);
}

.nexus-discussion-meta h2 {
  margin: 0;
}

.nexus-discussion-note {
  margin: 0;
  color: var(--nx-muted);
  font-family: "Share Tech Mono", monospace;
  font-size: 0.84rem;
  line-height: 1.5;
}

.nexus-talkyard-comments {
  min-height: 10rem;
}

.nexus-talkyard-comments iframe {
  display: block;
  width: 100%;
  box-sizing: border-box;
  padding-top: 3px;
  background: rgba(245, 250, 244, 0.84);
  border: 1px solid rgba(108, 160, 106, 0.24);
}

@media (max-width: 991px) {
  .nexus-discussion-spacer {
    display: none;
  }

  .nexus-discussion-shell {
    width: 100%;
    flex: 0 0 100%;
  }
}