From 61684d88992ea95f38f96fb971a53d201a6d3bf9 Mon Sep 17 00:00:00 2001 From: Dan Stillman Date: Mon, 10 Feb 2020 22:23:56 -0500 Subject: [PATCH] Fix missing bottom border of toolbar on Windows --- chrome/content/zotero-platform/win/overlay.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chrome/content/zotero-platform/win/overlay.css b/chrome/content/zotero-platform/win/overlay.css index 4d46ca15df..591d8ed3df 100644 --- a/chrome/content/zotero-platform/win/overlay.css +++ b/chrome/content/zotero-platform/win/overlay.css @@ -10,7 +10,7 @@ #zotero-pane #zotero-toolbar { -moz-appearance: none !important; margin-top: -3px; - border-bottom-color: var(--theme-border-color); + border: 1px solid var(--theme-border-color); }