From f529d956867ac3f3ca6782abe7b7487787a4d47b Mon Sep 17 00:00:00 2001
From: CJ Cenizal <cj@cenizal.com>
Date: Thu, 17 Aug 2023 15:12:53 -0700
Subject: [PATCH] Fix banner styling.

---
 www/src/css/custom.css | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/www/src/css/custom.css b/www/src/css/custom.css
index d39cd9436..52a2d3b52 100644
--- a/www/src/css/custom.css
+++ b/www/src/css/custom.css
@@ -182,7 +182,9 @@ pre {
 
 /* Header */
 
-.announcementBar_node_modules-\@docusaurus-theme-classic-lib-theme-AnnouncementBar-styles-module {
+/* Locally this should be applied to .announcementBar_node_modules-\@docusaurus-theme-classic-lib-theme-AnnouncementBar-styles-module
+but in production this class isn't in use and we need to target this element by role instead. */
+[role="banner"] {
   background-color: #7027f6 !important;
   color: #fff !important;
   font-size: 16px;