From de6d8d1153fb44ab8b14e54da4e87daf497e0adb Mon Sep 17 00:00:00 2001 From: "mr. m" Date: Sat, 19 Apr 2025 12:57:42 +0200 Subject: [PATCH] fix: Windows applications being shifted half a pixel to the top, b=(no-bug), c=no-component --- src/browser/themes/windows/browser-css.patch | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/src/browser/themes/windows/browser-css.patch b/src/browser/themes/windows/browser-css.patch index f7251386e..0c84456fa 100644 --- a/src/browser/themes/windows/browser-css.patch +++ b/src/browser/themes/windows/browser-css.patch @@ -1,8 +1,8 @@ diff --git a/browser/themes/windows/browser.css b/browser/themes/windows/browser.css -index 9af78803f0005a2b89e1c73f52153ed4d9e3154a..b63dc3d050144f048ac6a326acd57cc85fa8a3a7 100644 +index 9af78803f0005a2b89e1c73f52153ed4d9e3154a..f5b21a09347f5890da3eef0efa38a66195c8e418 100644 --- a/browser/themes/windows/browser.css +++ b/browser/themes/windows/browser.css -@@ -40,14 +40,13 @@ +@@ -40,13 +40,12 @@ * override these on the tabs toolbar because the accent color is * arbitrary, so the hardcoded colors from browser-custom-colors might * not provide sufficient contrast. */ @@ -12,9 +12,8 @@ index 9af78803f0005a2b89e1c73f52153ed4d9e3154a..b63dc3d050144f048ac6a326acd57cc8 } } - &[sizemode="normal"] #navigator-toolbox { -- border-top: .5px solid ActiveBorder; -+ /* border-top: .5px solid ActiveBorder; Zen: Remove annoying top border, dont remove */ +- &[sizemode="normal"] #navigator-toolbox { ++ &[sizemode="normal"] #browser { + border-top: .5px solid ActiveBorder; &:-moz-window-inactive { border-top-color: InactiveBorder; - }