diff --git a/chrome/content/zotero/preferences/preferences.xul b/chrome/content/zotero/preferences/preferences.xul index 09452467ce..3ea24852a3 100644 --- a/chrome/content/zotero/preferences/preferences.xul +++ b/chrome/content/zotero/preferences/preferences.xul @@ -78,10 +78,11 @@ To add a new preference: - + - - + + + diff --git a/chrome/locale/en-US/zotero/preferences.dtd b/chrome/locale/en-US/zotero/preferences.dtd index eb4e894b13..b8c78505d8 100644 --- a/chrome/locale/en-US/zotero/preferences.dtd +++ b/chrome/locale/en-US/zotero/preferences.dtd @@ -17,6 +17,7 @@ + diff --git a/chrome/skin/default/zotero/preferences.css b/chrome/skin/default/zotero/preferences.css index c1982e5e09..bc58f315f5 100644 --- a/chrome/skin/default/zotero/preferences.css +++ b/chrome/skin/default/zotero/preferences.css @@ -50,24 +50,31 @@ grid row hbox:first-child #fontSize2 { - font-size: 1.25em; + font-size: 1.15em; } #fontSize3 +{ + font-size: 1.3em; +} + +#fontSize4 { font-size: 1.5em; } -#fontSize radio, #statusBarIcon radio + +#showIn radio, #statusBarIcon radio { - width: 90px; -} -#showIn radio -{ - width: 135px; + width: 120px; } -#fontSize radio .radio-icon, #statusBarIcon radio .radio-icon +#fontSize radio +{ + margin-right: 20px; +} + +#statusBarIcon radio .radio-icon { margin-left: 6px; }