/* MixedSignalLab primary navigation — shared by every website and docs page. */
@import url('https://fonts.googleapis.com/css2?family=Open+Sans:wght@400;500;600;700&family=Noto+Sans+SC:wght@400;500;700&display=swap');

.nav,
#site-nav {
  --suh-nav-ink: #12355b;
  --suh-nav-dim: #8da0ad;
  --suh-nav-dark: #12355b;
  --suh-nav-signal: #ffc928;
  --suh-nav-border: #d7e1e8;
  box-sizing: border-box;
  position: sticky;
  top: 0;
  z-index: 9999;
  width: 100%;
  background: rgba(255, 255, 255, 0.92);
  border-bottom: 1px solid var(--suh-nav-border);
  backdrop-filter: blur(12px);
  -webkit-backdrop-filter: blur(12px);
  color: var(--suh-nav-ink);
  font-family: 'Open Sans', 'Noto Sans SC', 'PingFang SC', sans-serif;
  font-size: 16px;
  font-weight: 400;
  line-height: 1.6;
}

.nav {
  display: block;
  justify-content: initial;
  align-items: initial;
  height: auto;
  padding: 0;
}

.nav,
.nav *,
.nav *::before,
.nav *::after,
#site-nav,
#site-nav *,
#site-nav *::before,
#site-nav *::after {
  box-sizing: border-box;
}

.nav .nav-in,
#site-nav .site-nav-inner {
  display: flex;
  align-items: center;
  gap: 28px;
  height: 64px;
  max-width: 1200px;
  margin: 0 auto;
  padding: 0 32px;
}

.nav a,
#site-nav a {
  text-decoration: none;
}

.nav .brand,
#site-nav .site-nav-brand {
  display: flex;
  align-items: center;
  gap: 10px;
  flex-shrink: 0;
  color: var(--suh-nav-ink);
  font-family: inherit;
  font-size: 18px;
  font-weight: 700;
  letter-spacing: normal;
  line-height: 1.4;
}

.nav .brand::before,
#site-nav .site-nav-brand::before {
  content: '';
  width: 10px;
  height: 10px;
  flex: none;
  background: var(--suh-nav-signal);
  border: 3px solid var(--suh-nav-dark);
}

.nav .nav-links,
#site-nav .site-nav-links {
  display: flex;
  gap: 26px;
  margin-left: 8px;
}

.nav .nav-links a,
#site-nav .site-nav-links a {
  color: var(--suh-nav-ink);
  font-family: inherit;
  font-size: 15px;
  font-weight: 500;
  line-height: 1.4;
}

.nav .nav-links a:hover,
.nav .nav-links a.active,
#site-nav .site-nav-links a:hover,
#site-nav .site-nav-links a.active {
  color: var(--suh-nav-dark);
}

.nav .nav-right,
#site-nav .site-nav-right {
  display: flex;
  align-items: center;
  gap: 16px;
  margin-left: auto;
}

.nav .nav-contact,
#site-nav .site-nav-contact {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  min-height: 38px;
  padding: 9px 20px;
  border: 0;
  border-radius: 999px;
  background: var(--suh-nav-dark);
  color: #fff;
  box-shadow: 0 10px 22px -14px rgba(11, 41, 71, 0.72);
  font-family: inherit;
  font-size: 14px;
  font-weight: 600;
  line-height: 1.4;
  transition: transform 0.18s, background 0.18s;
}

.nav .nav-contact:hover,
#site-nav .site-nav-contact:hover {
  background: #0b2947;
  color: #fff;
  opacity: 1;
  transform: translateY(-1px);
}

.nav .lang,
#site-nav .site-nav-lang {
  display: flex;
  align-items: center;
  gap: 4px;
  color: var(--suh-nav-dim);
  font-family: inherit;
  font-size: 13px;
  font-weight: 600;
  letter-spacing: normal;
  line-height: 1.4;
}

.nav .lang button,
#site-nav .lang-btn {
  margin: 0;
  padding: 2px 4px;
  border: 0;
  background: none;
  color: var(--suh-nav-dim);
  font: inherit;
  letter-spacing: normal;
  line-height: inherit;
  cursor: pointer;
}

.nav .lang button.on,
.nav .lang button:hover,
#site-nav .lang-btn.active,
#site-nav .lang-btn:hover {
  color: var(--suh-nav-dark);
  opacity: 1;
}

@media (max-width: 820px) {
  .nav .nav-in,
  #site-nav .site-nav-inner {
    flex-wrap: wrap;
    height: auto;
    padding: 10px 24px;
    gap: 6px 16px;
  }

  .nav .nav-links,
  #site-nav .site-nav-links {
    order: 3;
    width: 100%;
    justify-content: center;
    gap: 20px;
    margin-left: 0;
    padding-top: 8px;
    border-top: 1px solid var(--suh-nav-border);
    flex-wrap: wrap;
  }
}

@media (max-width: 600px) {
  .nav .nav-in,
  #site-nav .site-nav-inner {
    width: 100%;
    max-width: 100vw;
    padding: 10px 20px;
  }

  .nav .nav-contact,
  #site-nav .site-nav-contact {
    display: none;
  }

  .nav .nav-right,
  #site-nav .site-nav-right {
    gap: 0;
  }
}