From 44a2bdc31db4922bf609a33aca69e29ef65c141e Mon Sep 17 00:00:00 2001
From: Gijs Kruitbosch <gijskruitbosch@gmail.com>
Date: Mon, 29 Mar 2021 20:41:52 +0000
Subject: [PATCH] Bug 1701645 - actually use 8px border radius for panels on
 Windows 7, r=mconley

Depends on D110112

Differential Revision: https://phabricator.services.mozilla.com/D110114
---
 toolkit/themes/windows/global/popup.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/toolkit/themes/windows/global/popup.css b/toolkit/themes/windows/global/popup.css
index 8049ffad3931..a27faa05ff14 100644
--- a/toolkit/themes/windows/global/popup.css
+++ b/toolkit/themes/windows/global/popup.css
@@ -103,11 +103,13 @@ panel[type="arrow"][side="right"] {
   -moz-box-orient: vertical;
 }
 
+@supports not -moz-bool-pref("browser.proton.enabled") {
 @media (-moz-os-version: windows-win7) {
 .panel-arrowcontent {
   border-radius: 4px;
 }
 }
+}
 
 panel[type="arrow"].panel-no-padding::part(arrowcontent) {
   padding: 0;