/* Shared ProvaLabs site styles: typography + topbar.
   Loaded by Notion-proxied pages (link injected by the Worker) and by static pages. */
@import url("https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=Righteous&family=Do+Hyeon&display=swap");

/* Typography: titles in Righteous, content in Inter. Korean falls back to
   Do Hyeon in both (neither Latin face has Hangul). */
:root {
  --prova-font-display: "Righteous", "Do Hyeon", sans-serif;
  --prova-font-text: "Inter", "Do Hyeon", sans-serif;
  --prova-font-mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}
/* !important because Notion sets fonts inline on its elements. The "x *"
   selectors are needed because the "*" rule matches every descendant
   directly, which would otherwise beat inheritance from the heading. */
* { font-family: var(--prova-font-text) !important; }
h1, h1 *, h2, h2 *, h3, h3 *, h4, h4 *, h5, h5 *, h6, h6 *,
#prova-home-btn, #prova-home-btn *,
.prova-display, .prova-display *,
/* Inline database titles ("Announcements" on the homepage) aren't headings in
   Notion's markup; the title is the one link to a database view (?v=).
   Best effort: if Notion changes this markup they simply fall back to Inter. */
.notion-collection_view-block a[href*="?v="] .notranslate { font-family: var(--prova-font-display) !important; }
code, code *, pre, pre *, .notion-code-block, .notion-code-block * { font-family: var(--prova-font-mono) !important; }

#prova-topbar {
  position: fixed;
  top: 0; left: 0; right: 0;
  height: 45px;
  z-index: 9999;
  display: flex;
  align-items: center;
  padding: 0 16px;
  background: rgba(255, 255, 255, 0.92);
  backdrop-filter: blur(8px);
  -webkit-backdrop-filter: blur(8px);
  border-bottom: 1px solid rgba(55, 53, 47, 0.09);
  box-sizing: border-box;
}
.dark #prova-topbar {
  background: rgba(25, 25, 25, 0.92);
  border-bottom-color: rgba(255, 255, 255, 0.08);
}
#prova-home-btn {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  padding: 5px 10px 5px 7px;
  border-radius: 6px;
  font-size: 14px;
  font-weight: 500;
  line-height: 1.5;
  color: rgba(55, 53, 47, 0.85);
  background: transparent;
  border: none;
  white-space: nowrap;
  text-decoration: none;
  cursor: pointer;
  transition: background 120ms ease-in;
}
.dark #prova-home-btn { color: rgba(255, 255, 255, 0.8); }
#prova-home-btn:hover { background: rgba(55, 53, 47, 0.08); }
.dark #prova-home-btn:hover { background: rgba(255, 255, 255, 0.08); }
#prova-home-btn img { width: 20px; height: 20px; flex-shrink: 0; border-radius: 3px; }