From 88d67fd6f689d41cfa693cecff03aa2bda12da45 Mon Sep 17 00:00:00 2001 From: Kevin Zakka Date: Fri, 27 Oct 2023 10:51:09 -0700 Subject: [PATCH] Add CoRL event as a temporary banner in docs. PiperOrigin-RevId: 577246026 Change-Id: I0615eb6ee8d6ac928785877db0ba6703c01e301b --- doc/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/conf.py b/doc/conf.py index ca6252bc..fb1beac4 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -144,6 +144,7 @@ html_theme_options = { 'wy-menu-vertical-color': 'white', 'wy-nav-side-background-color': '#0053d6', }, + "announcement": "CoRL 2023 meetup in Atlanta, RSVP here!", } for v in html_theme_options.values():