Add CoRL event as a temporary banner in docs.

PiperOrigin-RevId: 577246026 Change-Id: I0615eb6ee8d6ac928785877db0ba6703c01e301b
2023-10-27 10:51:09 -07:00
parent 40d927c9fa
commit 88d67fd6f6
1 changed files with 1 additions and 0 deletions
@@ -144,6 +144,7 @@ html_theme_options = {
        '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():