html,body{background:var(--bg);color:var(--text);font-family:var(--font-mono);font-size:13px}