/* SysMLEdge public homepage. Loaded after inkmirage-tokens.css.
   Product accent is strict monochrome. No third-party font hosts. */

@font-face {
  font-family: "Source Serif 4";
  font-style: normal;
  font-weight: 400 600;
  font-display: swap;
  src: url("/assets/source-serif-4-latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 400 600;
  font-display: swap;
  src: url("/assets/inter-latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400 500;
  font-display: swap;
  src: url("/assets/jetbrains-mono-latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2190-2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

/* Follows the dark swap of --im-sysmledge. Overrides the kit accent. */
:root {
  --im-accent: var(--im-sysmledge);
}

[data-theme="dark"] {
  --im-accent: var(--im-sysmledge);
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --im-accent: var(--im-sysmledge);
  }

  .tile {
    background: #FFFFFF;
  }
}

*, *::before, *::after { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; }

body {
  margin: 0;
  background: var(--im-bg);
  color: var(--im-text);
  font-family: var(--im-font-body);
  font-size: var(--im-text-md);
  line-height: var(--im-leading-body);
  -webkit-font-smoothing: antialiased;
}

::selection { background: var(--im-selection); }

a {
  color: var(--im-accent);
  text-underline-offset: 0.18em;
  text-decoration-thickness: 1px;
}

a:focus-visible {
  outline: none;
  box-shadow: var(--im-focus-ring);
  border-radius: var(--im-radius-sm);
}

h1, h2, h3 {
  font-family: var(--im-font-display);
  color: var(--im-ink);
  font-weight: var(--im-weight-semibold);
  line-height: var(--im-leading-tight);
  margin: 0;
}

p { margin: 0; }

code, pre, .mono {
  font-family: var(--im-font-mono);
}

.wrap {
  max-width: 48rem;
  margin: 0 auto;
  padding: 0 var(--im-space-6);
  min-width: 0;
}

.im-ink { fill: var(--im-ink); }
.im-mirage { fill: var(--im-mirage); }
.im-slice-1 { fill-opacity: 0.85; }
.im-slice-2 { fill-opacity: 0.6; }
.im-slice-3 { fill-opacity: 0.35; }

.site-header {
  position: sticky;
  top: 0;
  z-index: 5;
  background: var(--im-bg);
  border-bottom: var(--im-border-width) solid var(--im-border);
}

.header-row {
  display: flex;
  align-items: center;
  gap: var(--im-space-4);
  min-height: 72px;
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: var(--im-space-3);
  min-width: 0;
}

.brand-name {
  font-family: var(--im-font-display);
  font-weight: var(--im-weight-semibold);
  font-size: var(--im-text-xl);
  color: var(--im-ink);
  letter-spacing: -0.01em;
  line-height: var(--im-leading-tight);
}

/* E mark stays black on a white tile in both colour schemes. Fixed hex. */
.tile {
  width: 48px;
  height: 48px;
  flex: none;
  display: grid;
  place-items: center;
  overflow: hidden;
  border-radius: var(--im-radius);
  background: #FFFFFF;
  border: var(--im-border-width) solid var(--im-border);
}

.tile img {
  display: block;
  width: 44px;
  height: 44px;
}

.hero {
  border-bottom: var(--im-border-width) solid var(--im-border);
  padding-top: var(--im-space-8);
  padding-bottom: var(--im-space-8);
}

.hero h1 {
  font-size: var(--im-text-3xl);
  letter-spacing: -0.015em;
  max-width: 18em;
}

.lede {
  margin-top: var(--im-space-4);
  font-family: var(--im-font-body);
  color: var(--im-muted);
  max-width: var(--im-measure);
}

.features {
  padding-top: var(--im-space-7);
  padding-bottom: var(--im-space-2);
}

.features > h2 {
  font-size: var(--im-text-2xl);
  margin-bottom: var(--im-space-5);
}

.feature-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: var(--im-space-4);
}

.cards {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: var(--im-space-5);
  padding-top: var(--im-space-5);
  padding-bottom: var(--im-space-8);
}

.card {
  background: var(--im-surface);
  border: var(--im-border-width) solid var(--im-border);
  border-top: 3px solid var(--im-sysmledge);
  border-radius: var(--im-radius-lg);
  padding: var(--im-space-6);
  display: flex;
  flex-direction: column;
  gap: var(--im-space-3);
  min-width: 0;
}

.card h2,
.card h3 {
  font-size: var(--im-text-xl);
  margin-bottom: var(--im-space-1);
}

@media (min-width: 761px) {
  .feature-grid {
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  }

  .feature-grid .feature:last-child {
    grid-column: 1 / -1;
  }
}

.card ul {
  margin: 0;
  padding-left: 1.15rem;
}

.card li { margin: 0.2rem 0; }

.card li::marker { color: var(--im-muted); }

pre {
  margin: var(--im-space-2) 0 0;
  padding: var(--im-space-4);
  overflow-x: auto;
  max-width: 100%;
  background: var(--im-bg);
  color: var(--im-text);
  border: var(--im-border-width) solid var(--im-border);
  border-radius: var(--im-radius);
  font-size: var(--im-text-sm);
  line-height: 1.45;
}

code {
  font-size: 0.92em;
}

.btn-primary {
  background: var(--im-accent);
  color: var(--im-on-accent);
}

.site-footer {
  border-top: var(--im-border-width) solid var(--im-border);
  background: var(--im-surface);
}

.footer-row {
  display: flex;
  align-items: center;
  gap: var(--im-space-2);
  padding-top: var(--im-space-5);
  padding-bottom: var(--im-space-5);
}

.footer-copy {
  display: flex;
  flex-direction: column;
  gap: var(--im-space-1);
  min-width: 0;
}

.footer-copy p { margin: 0; }

.footer-copy a {
  font-family: var(--im-font-mono);
  font-size: var(--im-text-sm);
}

a.brand {
  text-decoration: none;
  color: inherit;
}

.privacy-langs {
  margin-left: auto;
  display: flex;
  align-items: center;
  gap: var(--im-space-3);
  font-size: var(--im-text-sm);
  color: var(--im-muted);
}

.privacy-langs [aria-current="page"] {
  color: var(--im-ink);
}

.privacy {
  padding-top: var(--im-space-7);
  padding-bottom: var(--im-space-8);
}

.privacy h1 {
  font-size: var(--im-text-3xl);
  letter-spacing: -0.015em;
}

.privacy h2 {
  font-size: var(--im-text-xl);
  margin-top: var(--im-space-6);
}

.privacy h3 {
  font-size: var(--im-text-lg);
  margin-top: var(--im-space-5);
}

.privacy p,
.privacy ul {
  margin-top: var(--im-space-3);
  max-width: var(--im-measure);
}

.privacy ul {
  padding-left: 1.15rem;
}

.privacy li { margin: 0.35rem 0; }

.privacy li::marker { color: var(--im-muted); }

.privacy-banner {
  margin: var(--im-space-5) 0 0;
  padding: var(--im-space-4);
  border-left: 3px solid var(--im-sysmledge);
  background: var(--im-surface);
}

.privacy-banner p + p { margin-top: var(--im-space-2); }

html[lang="zh-TW"] body {
  line-height: var(--im-leading-cjk);
}

/* One drop-width of clear space. Drop diameter is 24/64 of the viewBox.
   40px mark → 15px margin. Mark itself stays at least 24px. */
.im-mark {
  width: 40px;
  height: 40px;
  flex: none;
  margin: 15px;
  display: block;
}

@media (max-width: 760px) {
  .wrap { padding: 0 var(--im-space-4); }
  .header-row { min-height: 64px; gap: var(--im-space-3); }
  .brand-name { font-size: var(--im-text-lg); }
  .tile { width: 40px; height: 40px; }
  .tile img { width: 36px; height: 36px; }
  .hero { padding-top: var(--im-space-7); padding-bottom: var(--im-space-7); }
  .hero h1 { font-size: var(--im-text-2xl); }
  .features { padding-top: var(--im-space-6); }
  .cards { padding-top: var(--im-space-5); padding-bottom: var(--im-space-7); }
  .card { padding: var(--im-space-5); }
  .privacy { padding-top: var(--im-space-6); padding-bottom: var(--im-space-7); }
  .privacy h1 { font-size: var(--im-text-2xl); }
  .im-mark { width: 32px; height: 32px; margin: 12px; }
}