/* Before the workspace UI has drawn: the page's own ground, no white flash. */
html, body, #root { height: 100%; margin: 0; }
body { background: #f6f5f1; }
@media (prefers-color-scheme: dark) { body { background: #1b1c1a; } }