diff --git a/docs/playground.css b/docs/playground.css index 6b9050e..e158b0b 100644 --- a/docs/playground.css +++ b/docs/playground.css @@ -138,6 +138,17 @@ button:disabled { min-height: 1.25rem; } +.real-status { + color: var(--ink-soft, #5a6b67); + font-family: ui-monospace, SFMono-Regular, Menlo, monospace; + font-size: 0.82rem; + min-height: 1.1rem; +} + +.real-status.real-error { + color: #b5482f; +} + .status-strip { display: grid; gap: 10px; diff --git a/docs/playground.html b/docs/playground.html index 5096c1f..be5ab46 100644 --- a/docs/playground.html +++ b/docs/playground.html @@ -65,6 +65,10 @@