From 0d4e7cdb0a68cf903ef7eed3013c077606d9cc68 Mon Sep 17 00:00:00 2001
From: Tomeu Vizoso <tomeu@tomeuvizoso.net>
Date: Mon, 22 Jan 2007 18:14:58 +0100
Subject: [PATCH] Set some fonts in gecko to 9 points.

---
 lib/data/gecko-prefs.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/data/gecko-prefs.js b/lib/data/gecko-prefs.js
index f4d09ca7..85d4ece0 100644
--- a/lib/data/gecko-prefs.js
+++ b/lib/data/gecko-prefs.js
@@ -46,7 +46,7 @@ user_pref("font.size.fixed.tr", 10);
 user_pref("font.size.variable.x-baltic", 12);
 user_pref("font.size.fixed.x-baltic", 10);
 
-user_pref("font.size.variable.x-central-euro", 12);
+user_pref("font.size.variable.x-central-euro", 9);
 user_pref("font.size.fixed.x-central-euro", 10);
 
 user_pref("font.size.variable.x-cyrillic", 12);
@@ -85,10 +85,10 @@ user_pref("font.size.fixed.x-khmr", 10);
 user_pref("font.size.variable.x-mlym", 12);
 user_pref("font.size.fixed.x-mlym", 10);
 
-user_pref("font.size.variable.x-unicode", 12);
+user_pref("font.size.variable.x-unicode", 9);
 user_pref("font.size.fixed.x-unicode", 10);
 
-user_pref("font.size.variable.x-western", 12);
+user_pref("font.size.variable.x-western", 9);
 user_pref("font.size.fixed.x-western", 10);
 
 user_pref("font.size.variable.zh-CN", 12);