Remove temporary banner

PiperOrigin-RevId: 579317175 Change-Id: I26444eb467919e40d249ee5befee0164250a28d7
2023-11-03 15:06:53 -07:00
parent f7bdd5dc0e
commit f70cec5775
1 changed files with 0 additions and 1 deletions
@@ -144,7 +144,6 @@ 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():