diff --git a/docs.json b/docs.json index 57a80903..ec29b3ad 100644 --- a/docs.json +++ b/docs.json @@ -16,6 +16,11 @@ } }, "favicon": "/favicon.png", + "banner": { + "content": "Maintenance May 12, 8–9 PM PDT (May 13, 03:00–04:00 UTC). ~1 min downtime in sandbox management possible. Running sandboxes unaffected.", + "type": "warning", + "dismissible": true + }, "navigation": { "anchors": [ {