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 |
|