2 Commits

Author	SHA1	Message	Date
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
Marco Pesenti Gritti	581a3a0cb4	Read mozilla prefs from a js file	2006-10-25 15:43:37 +02:00