DEV: Add basic theme support to the mini_profiler badge (#14952)

DEV: Add basic theme support to the mini_profiler badge (#14952)

diff --git a/app/assets/stylesheets/common/admin/admin_base.scss b/app/assets/stylesheets/common/admin/admin_base.scss
index 922b625..a50348b 100644
--- a/app/assets/stylesheets/common/admin/admin_base.scss
+++ b/app/assets/stylesheets/common/admin/admin_base.scss
@@ -985,3 +985,4 @@ a.inline-editable-field {
 @import "common/admin/admin_report_inline_table";
 @import "common/admin/admin_intro";
 @import "common/admin/admin_emojis";
+@import "common/admin/mini_profiler";
diff --git a/app/assets/stylesheets/common/admin/mini_profiler.scss b/app/assets/stylesheets/common/admin/mini_profiler.scss
new file mode 100644
index 0000000..0711503
--- /dev/null
+++ b/app/assets/stylesheets/common/admin/mini_profiler.scss
@@ -0,0 +1,22 @@
+// Some basic overrides to https://github.com/MiniProfiler/rack-mini-profiler/blob/master/lib/html/includes.scss
+// which make the badge conform to the current site theme.
+
+div.profiler-results {
+  .profiler-button {
+    background-color: var(--header_background);
+    color: var(--header_primary);
+    border-bottom: 1px solid var(--header_primary-low);
+
+    .profiler-number {
+      color: var(--header_primary);
+    }
+
+    .profiler-unit {
+      color: var(--header_primary-medium);
+    }
+  }
+
+  &.profiler-left.profiler-top .profiler-button {
+    border-right: 1px solid var(--header_primary-low);
+  }
+}

GitHub sha: 389a3ce3892f3cee674c39bfb4e04cf5d157a34e

This commit appears in #14952 which was approved by jomaxro. It was merged by davidtaylorhq.