From 392687f9eec0f8be6df7302ec7a5a3ac3e92e822 Mon Sep 17 00:00:00 2001 From: Dan Stillman Date: Mon, 11 Dec 2017 17:34:01 -0500 Subject: [PATCH] Tweak a couple font sizes in Sync -> Reset pane --- chrome/content/zotero/preferences/preferences_sync.xul | 2 +- chrome/skin/default/zotero/preferences.css | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/chrome/content/zotero/preferences/preferences_sync.xul b/chrome/content/zotero/preferences/preferences_sync.xul index f13e9e2f58..1ab989cb93 100644 --- a/chrome/content/zotero/preferences/preferences_sync.xul +++ b/chrome/content/zotero/preferences/preferences_sync.xul @@ -273,7 +273,7 @@ - &zotero.preferences.sync.reset.warning1;&zotero.preferences.sync.reset.warning3; + &zotero.preferences.sync.reset.warning1;&zotero.preferences.sync.reset.warning3;
diff --git a/chrome/skin/default/zotero/preferences.css b/chrome/skin/default/zotero/preferences.css index 51994cefdb..ec00d46df3 100644 --- a/chrome/skin/default/zotero/preferences.css +++ b/chrome/skin/default/zotero/preferences.css @@ -177,13 +177,17 @@ grid row hbox:first-child margin-left: 1em; } +#reset-sync-warning { + font-size: 12px; +} + #sync-reset-form { margin-top: 1em; } #sync-reset-library-menu-container { font-weight: bold; - font-size: 16px; + font-size: 15px; } #sync-reset-library-menu {