Thread: 770 font size
View Single Post
Posts: 191 | Thanked: 10 times | Joined on Feb 2006
#2
of course, to change the "Theme 1" theme you have to edit "/usr/share/themes/default/gtk-2.0/gtkrc"

Theme 1 is "default""
Theme 2 is "theme1/"
Theme 3 is "theme2/"
and so on...

here's a diff to make things easier:
Code:
--- gtkrc-orig  2006-03-31 14:24:26.772603624 +0300
+++ gtkrc-mod   2006-03-31 11:34:12.000000000 +0300
@@ -257,28 +257,28 @@
 ##############################

 style "osso-SystemFont" {
-       font_name = "Nokia Sans 16.75"
+       font_name = "Nokia Sans 11.75"
 }

 style "osso-EmpSystemFont" {
-       font_name = "Nokia Sans Bold 16.75"
+       font_name = "Nokia Sans Bold 11.75"
 }

 style "osso-TitleFont" {
-       font_name = "Nokia Sans 16.75"
+       font_name = "Nokia Sans 11.75"
 }

 style "osso-ButtonFont" {
-       font_name = "Nokia Sans 16.75"
+       font_name = "Nokia Sans 14.75"
 }


 style "osso-SmallFont" {
-       font_name = "Nokia Sans 11.625"
+       font_name = "Nokia Sans 9.625"
 }

 style "osso-LargeFont" {
-       font_name = "Nokia Sans 29.5"
+       font_name = "Nokia Sans 22.5"
 }