/* themes/discord.css — measured tokens from ios source, MIT.
   生成：scripts/style-emit.mjs --files。手改会被下次覆盖。 */
body.theme-discord {
  --page-bg: #ffffff;
  --page-bg-gradient: none;
  --text-color: #4a5262;
  --heading-color: #4a5262;
  --link-color: #0072ac;
  --link-hover-color: #005079;
  --border-color: #dee0e3;
  --card-bg: #ffffff;
  --card-shadow: 0 1px 2px rgba(74,82,98,0.06);
  --card-hover-shadow: 0 6px 18px rgba(74,82,98,0.12);
  --header-bg: #4a5262;
  --header-text-color: #ffffff;
  --header-shadow: none;
  --footer-bg: #ffffff;
  --footer-text-color: #6a717b;
  --button-bg: #00a8fc;
  --button-text-color: #000000;
  --button-hover-bg: #0086c9;
  --button-border: none;
  --button-border-radius: 8px;
  --button-secondary-bg: #f4f5f6;
  --button-secondary-text-color: #4a5262;
  --button-secondary-hover-bg: #e9eaec;
  --button-secondary-border: 1px solid #dee0e3;
  --prompt-bg: #f6f6f7;
  --prompt-text-color: #4a5262;
  --base-font: var(--font-mono);
  --heading-font: var(--font-mono);
  --card-border-radius: 8px;
}