From 2e1679461530c5f30c20725a69fd40a314975c97 Mon Sep 17 00:00:00 2001 From: David Rowe Date: Wed, 11 Mar 2015 21:18:53 -0700 Subject: [PATCH] Change font size to 12 --- examples/users.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/users.js b/examples/users.js index 82fbb7be25..df901329a2 100644 --- a/examples/users.js +++ b/examples/users.js @@ -13,7 +13,7 @@ var usersWindow = (function () { var WINDOW_WIDTH_2D = 150, WINDOW_MARGIN_2D = 12, - WINDOW_FONT_2D = { size: 14 }, + WINDOW_FONT_2D = { size: 12 }, WINDOW_FOREGROUND_COLOR_2D = { red: 240, green: 240, blue: 240 }, WINDOW_FOREGROUND_ALPHA_2D = 0.9, WINDOW_HEADING_COLOR_2D = { red: 180, green: 180, blue: 180 },