From 2b6ec56238f459341a8ed975205a52fe1d856f83 Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@zulip.com>
Date: Thu, 23 Mar 2023 11:00:15 -0700
Subject: [PATCH] popovers: Use default our font size for Tippy popovers.

We'd accidentally shrunk the actions popover to 12px when migrating it
to Tippy.
---
 web/styles/popovers.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/web/styles/popovers.css b/web/styles/popovers.css
index 9e18dec4d6..dd7adf120a 100644
--- a/web/styles/popovers.css
+++ b/web/styles/popovers.css
@@ -4,6 +4,10 @@
   popovers. (Tippy tooltips are defined in tooltips.css).
 */
 .tippy-box[data-theme="light-border"] {
+    .tippy-content {
+        font-size: 14px;
+    }
+
     /* TODO: Clean this logic up after drop Bootstrap styling */
     & ul.nav {
         /* Override default padding of tippyjs */