/* 4px base grid. Product density is tight: most UI gaps are 8–16. */
:root{
  --space-0:0px;
  --space-1:4px;
  --space-2:8px;
  --space-3:12px;
  --space-4:16px;
  --space-5:20px;
  --space-6:24px;
  --space-7:28px;
  --space-8:32px;
  --space-10:40px;
  --space-12:48px;
  --space-14:56px;
  --space-16:64px;
  --space-20:80px;
  --space-24:96px;
  --space-32:128px;

  /* Layout */
  --container-max:1200px;
  --container-prose:680px;
  --gutter-page:24px;
  --gutter-page-lg:48px;
  --section-y:96px;
  --control-h-sm:28px;
  --control-h-md:34px;
  --control-h-lg:42px;
  --sidebar-w:248px;
  --rail-w:56px;
  --topbar-h:52px;
  --header-height:64px;
  --footer-height:64px;
  /* Browser-extension geometry. Chrome caps popups at 800×600. */
  --popup-w:380px;
  --popup-h:560px;
  --options-max:720px;
}