/* themes/github.css — measured tokens from ios source, MIT.
   生成：scripts/style-emit.mjs --files。手改会被下次覆盖。 */
body.theme-github {
  --page-bg: #0d1117;
  --page-bg-gradient: none;
  --text-color: #8fa7c2;
  --heading-color: #8fa7c2;
  --link-color: #2f81f7;
  --link-hover-color: #0965ea;
  --border-color: #242c36;
  --card-bg: #0d1117;
  --card-shadow: 0 1px 2px rgba(143,167,194,0.06);
  --card-hover-shadow: 0 6px 18px rgba(143,167,194,0.12);
  --header-bg: #20242a;
  --header-text-color: #ffffff;
  --header-shadow: none;
  --footer-bg: #0d1117;
  --footer-text-color: #76879b;
  --button-bg: #2f81f7;
  --button-text-color: #000000;
  --button-hover-bg: #0965ea;
  --button-border: none;
  --button-border-radius: 6px;
  --button-secondary-bg: #151a21;
  --button-secondary-text-color: #8fa7c2;
  --button-secondary-hover-bg: #1d232c;
  --button-secondary-border: 1px solid #242c36;
  --prompt-bg: #141920;
  --prompt-text-color: #8fa7c2;
  --base-font: var(--font-helvetica);
  --heading-font: var(--font-mono);
  --card-border-radius: 6px;
}