From c31c091cb07a9e1620b0c2eb109d6e9226fc4262 Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Sat, 13 Apr 2024 00:30:50 -0400
Subject: [PATCH] Fix size of progress meter at startup

(Though it still doesn't animate, for some reason)

Addresses #3961
---
 chrome/content/zotero/zoteroPane.xhtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chrome/content/zotero/zoteroPane.xhtml b/chrome/content/zotero/zoteroPane.xhtml
index 35089cb5bf..0648204f1d 100644
--- a/chrome/content/zotero/zoteroPane.xhtml
+++ b/chrome/content/zotero/zoteroPane.xhtml
@@ -1279,7 +1279,7 @@
 					
 					<deck id="zotero-pane-overlay-deck" style="display: flex; justify-content: center;">
 						<box id="zotero-pane-progress" flex="1" align="center" pack="center">
-							<box style="background: white; border-radius: 1px; box-shadow: gray 4px 6px 4px;" width="300" height="30">
+							<box style="background: white; border-radius: 1px; box-shadow: gray 4px 6px 4px; width: 300px; height: 30px;">
 								<vbox id="zotero-pane-progressmeter-container" style="padding:10px" flex="1">
 									<label id="zotero-pane-progress-label"/>
 									<!-- See note in Zotero.showZoteroPaneProgressMeter()