Marco Pesenti Gritti
|
5eb4f4fab3
|
Tweak dpi and font size
|
2007-03-20 22:24:52 +01:00 |
|
Tomeu Vizoso
|
0d4e7cdb0a
|
Set some fonts in gecko to 9 points.
|
2007-01-22 18:14:58 +01:00 |
|
Marco Pesenti Gritti
|
60fd7fb810
|
Add families for arabic fonts
|
2006-10-26 12:18:03 +02:00 |
|
Marco Pesenti Gritti
|
22cecec21e
|
Add some comments, add some prefs from epiphany configuration
|
2006-10-25 22:40:57 +02:00 |
|
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 |
|