Add CoRL event as a temporary banner in docs.

PiperOrigin-RevId: 577246026 Change-Id: I0615eb6ee8d6ac928785877db0ba6703c01e301b
google-deepmind · Oct 27, 2023 · 88d67fd · 88d67fd
1 parent 40d927c
commit 88d67fd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/conf.py b/doc/conf.py
@@ -144,6 +144,7 @@
         'wy-menu-vertical-color': 'white',
         'wy-nav-side-background-color': '#0053d6',
     },
+    "announcement": "<em>CoRL 2023</em> meetup in Atlanta, RSVP <a href='https://rsvp.withgoogle.com/events/mujoco-corl-2023'>here</a>!",
 }
 
 for v in html_theme_options.values():