:root{
  --accent:#3ecf8e;--accent2:#7eecc0;--accent-dim:#3ecf8e14;--accent-glow:#3ecf8e22;
  --accent-border:#3ecf8e35;
  --accent-bg-gradient:#0c1e1580;
  --accent-glow-subtle:#3ecf8e0a;
  /*--nav-left-buffer: 250px; /* experimenting */
  /*--nav-right-buffer: 104.3px; /* actual measured CTA width */
  /*--nav-links-buffer: max(var(--nav-left-buffer), var(--nav-right-buffer)); */
}
.btn-green{background:var(--accent);color:#080c10}
.btn-green:hover{opacity:.88;box-shadow:0 4px 20px var(--accent-glow);transform:translateY(-1px)}
.hero h1 span{
  /* This gradient is specific, overrides common CSS */
  background:linear-gradient(135deg,#3ecf8e 0%,#7eecc0 35%,#4a9eff 65%,#3ecf8e 100%);
  background-size:250% 250%;
  animation:gradient-shift 5s ease infinite;
  -webkit-background-clip:text;-webkit-text-fill-color:transparent;
  background-clip:text;
}
/*.nav-links{display:flex;align-items:center;gap:28px;position:absolute;left:50%;top:50%;transform:translate(-50%,-50%);white-space:nowrap;max-width:calc(100% - 2 * var(--nav-links-buffer));overflow-x:auto} */
/* Refactored Inline Styles */
.nav-logo .logo-certora img { height: 26px; width: auto; }
.nav-logo .logo-stellar img { height: 22px; width: auto; }

.hero-glow {
  position: absolute; top: 40%; left: 50%; transform: translate(-50%, -50%);
  width: 600px; height: 340px; pointer-events: none; border-radius: 50%;
  background: radial-gradient(ellipse at center, #3ecf8e18 0%, #3ecf8e06 45%, transparent 70%);
}

/* Resource card color variations */
.resource-card.res-blue { --res-accent: var(--blue); --res-bg: var(--blue-dim); }
.resource-card.res-purple { --res-accent: var(--purple); --res-bg: var(--purple-dim); }
.resource-card.res-amber { --res-accent: var(--amber); --res-bg: var(--amber-dim); }
.resource-card.res-green { --res-accent: var(--accent); --res-bg: var(--accent-dim); }

.btn-audit-docs {
  margin-top: 26px; font-size: 13px; border-radius: 8px;
}

.proj-logo-sq { height: 48px; width: 48px; border-radius: 9px; opacity: 0.9; flex-shrink: 0; display: block; }
.proj-logo-sq.bg-glow { background: #1a1a2e; }