/* Formal Methods Little Corner — self-contained theme, on the intrepid brand
   (navy + blue), with a dark mode. */

:root {
  --navy:        #16284d;
  --navy-light:  #2a3f6e;
  --accent:      #2f6fed;
  --bg:          #ffffff;
  --surface:     #f6f8fc;
  --text:        #1b2330;
  --muted:       #5a6473;
  --border:      #e3e8f0;
  --link:        #1f55c0;
  --max:         44rem;
}

@media (prefers-color-scheme: dark) {
  :root {
    --navy:       #0e1b36;
    --navy-light: #1d2d52;
    --accent:     #6ea8ff;
    --bg:         #0f141c;
    --surface:    #161d28;
    --text:       #e5e9f0;
    --muted:      #9aa6b8;
    --border:     #27303d;
    --link:       #8ab4f8;
  }
}

* { box-sizing: border-box; }

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

body {
  margin: 0;
  font-family: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  font-size: 18px;
  line-height: 1.65;
  color: var(--text);
  background: var(--bg);
  -webkit-font-smoothing: antialiased;
}

.wrapper {
  max-width: var(--max);
  margin: 0 auto;
  padding: 0 20px;
}

a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }

/* Header */
.site-header {
  background: var(--navy);
  border-bottom: 1px solid rgba(255, 255, 255, 0.08);
}
.site-header__inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  padding-top: 14px;
  padding-bottom: 14px;
  flex-wrap: wrap;
}
.site-title {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  color: #fff;
  font-weight: 700;
  font-size: 1.1rem;
  letter-spacing: -0.01em;
}
.site-title:hover { text-decoration: none; opacity: 0.92; }
.site-logo { display: block; }
.site-nav a {
  color: #cdd7ea;
  margin-left: 18px;
  font-size: 0.95rem;
  font-weight: 500;
}
.site-nav a:hover { color: #fff; text-decoration: none; }

/* Main */
.page-content { padding: 48px 0 64px; }

h1, h2, h3, h4 { line-height: 1.25; letter-spacing: -0.015em; color: var(--text); }
.page-heading { font-size: 1.1rem; text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); margin: 8px 0 24px; }

/* Home: intro + post list */
.home-intro { margin-bottom: 40px; }

.post-list { list-style: none; margin: 0; padding: 0; }
.post-list__item {
  padding: 24px 0;
  border-top: 1px solid var(--border);
}
.post-list__item:first-child { border-top: none; padding-top: 0; }
.post-list__title { margin: 4px 0 8px; font-size: 1.5rem; }
.post-list__title a { color: var(--text); }
.post-list__title a:hover { color: var(--link); text-decoration: none; }
.post-list__excerpt { color: var(--muted); margin: 0 0 10px; }
.post-list__more { font-weight: 600; font-size: 0.95rem; }

.post-meta { color: var(--muted); font-size: 0.85rem; }

.rss-subscribe { margin-top: 40px; color: var(--muted); font-size: 0.95rem; }

/* Post / page */
.post-header { margin-bottom: 28px; }
.post-title { font-size: 2.2rem; margin: 0 0 10px; }
.post-content { }
.post-content h2 { margin-top: 2em; font-size: 1.6rem; }
.post-content h3 { margin-top: 1.6em; font-size: 1.25rem; }
.post-content img { max-width: 100%; height: auto; border-radius: 6px; }
.post-content pre,
.post-content code {
  font-family: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.9em;
}
.post-content pre {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 14px 16px;
  overflow-x: auto;
}
.post-content code {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 4px;
  padding: 0.1em 0.35em;
}
.post-content pre code { background: none; border: none; padding: 0; }
.post-content blockquote {
  margin: 1.5em 0;
  padding: 0.2em 1em;
  border-left: 3px solid var(--accent);
  color: var(--muted);
}
.post-content table { border-collapse: collapse; width: 100%; margin: 1.2em 0; }
.post-content th, .post-content td { border: 1px solid var(--border); padding: 8px 12px; text-align: left; }
.post-content th { background: var(--surface); }


/* Footer */
.site-footer {
  border-top: 1px solid var(--border);
  background: var(--surface);
  padding: 32px 0;
  margin-top: 64px;
}
.site-footer__tagline { margin: 0 0 6px; color: var(--text); }
.site-footer__meta { margin: 0; color: var(--muted); font-size: 0.9rem; }

@media (max-width: 600px) {
  body { font-size: 17px; }
  .post-title { font-size: 1.8rem; }
  .post-list__title { font-size: 1.3rem; }
}