From 5bcc4d05bd2cc6f384d197c6351e4eb4a3c232a4 Mon Sep 17 00:00:00 2001
From: Will Crichton <wcrichto@cs.stanford.edu>
Date: Wed, 20 Mar 2024 19:48:30 -0700
Subject: [PATCH] Make feedback form have better theme-sensitive styling

---
 js-extensions/packages/feedback/lib/modal.tsx | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/js-extensions/packages/feedback/lib/modal.tsx b/js-extensions/packages/feedback/lib/modal.tsx
index 2ab057e33f..522f02a221 100644
--- a/js-extensions/packages/feedback/lib/modal.tsx
+++ b/js-extensions/packages/feedback/lib/modal.tsx
@@ -13,7 +13,13 @@ const modalStyles = {
     bottom: "auto",
     marginRight: "-50%",
     transform: "translate(-50%, -50%)",
+    background: "var(--theme-popup-bg)",    
+    borderColor: "var(--theme-popup-border)",
+    color: "var(--fg)",
   },
+  overlay: {
+    backgroundColor: "color-mix(in srgb, var(--bg) 80%, transparent)"
+  }
 };
 
 type FeedbackModalProps = {