Marco Pesenti Gritti ec6272ff47 Change the font size unit to points, so that we actually ... adapt to resolution. Default size are converted from mozilla pixel based sizes.		2006-10-25 16:22:21 +02:00
..
gecko-prefs.js	Change the font size unit to points, so that we actually	2006-10-25 16:22:21 +02:00
Makefile.am	Read mozilla prefs from a js file	2006-10-25 15:43:37 +02:00