[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paragui-users] changing the font size
|
From: |
Vibhu Rishi |
|
Subject: |
[paragui-users] changing the font size |
|
Date: |
14 May 2002 17:53:22 +0530 |
hi
how do i change the font size ? as of now i am getting very big fonts
and i want to change those to smaller fonts. My guess is that i need to
change the theme... is that correct ? Is there some documentation on how
to make a new theme ?
ciao
vibhu..
- [paragui-users] changing the font size,
Vibhu Rishi <=