commit efe8cddaf621a8f006d23c761184bc3013a43e84 Author: Kathy Brade brade@pearlcrescent.com Date: Wed May 8 09:55:26 2013 -0400

Use larger font size and smaller dialogs on Windows. --- src/chrome/content/network-settings.js | 6 +++++- src/chrome/skin/network-settings.css | 18 ++++++++++++++++++ 2 files changed, 23 insertions(+), 1 deletions(-)

diff --git a/src/chrome/content/network-settings.js b/src/chrome/content/network-settings.js index 48e9289..bd0114e 100644 --- a/src/chrome/content/network-settings.js +++ b/src/chrome/content/network-settings.js @@ -58,6 +58,10 @@ var gRestoreAfterHelpPanelID = null;

function initDialog() { + var isWindows = TorLauncherUtil.isWindows; + if (isWindows) + document.documentElement.setAttribute("class", "os-windows"); + var forAssistance = document.getElementById("forAssistance"); if (forAssistance) { @@ -71,7 +75,7 @@ function initDialog() { if (cancelBtn) { - var quitKey = (TorLauncherUtil.isWindows) ? "quit_win" : "quit"; + var quitKey = isWindows ? "quit_win" : "quit"; cancelBtn.label = TorLauncherUtil.getLocalizedString(quitKey); }

diff --git a/src/chrome/skin/network-settings.css b/src/chrome/skin/network-settings.css index 995c66a..570adaf 100644 --- a/src/chrome/skin/network-settings.css +++ b/src/chrome/skin/network-settings.css @@ -11,6 +11,11 @@ dialog { font: -moz-dialog; }

+dialog.os-windows { + width: 540px; + height: 435px; +} + wizard { width: 540px; height: 440px; @@ -18,6 +23,11 @@ wizard { padding-top: 0px; }

+wizard.os-windows { + width: 490px; + height: 420px; +} + .wizard-page-box { padding: 0px; margin: 20px; @@ -111,3 +121,11 @@ dialog .help { .help description.endOfHelp { margin-bottom: 0px; } + +/* Increase font size on Windows for readability */ +.os-windows label, +.os-windows description, +.os-windows textbox +{ + font-size: 120%; +}