style "normal-font"
{
  font="-adobe-helvetica-medium-r-normal-*-*-120-*-*-*-*-*-*"
}
widget "*" style "normal-font"
widget_class "*" style "normal-font"
class "*" style "normal-font"


style "mono-font"
{
  font="-b&h-lucidatypewriter-medium-r-normal-*-*-120-*-*-m-*-iso8859-1"
}
widget "*GtkCList*" style "mono-font"
widget_class "*GtkCList*" style "mono-font"
class "*GtkCList*" style "mono-font"     


style "mono-bold-font"
{
  font="-b&h-lucidatypewriter-bold-r-normal-*-*-120-*-*-m-*-iso8859-1"
}
widget "*GtkEntry*" style "mono-bold-font"
widget_class "*GtkEntry*" style "mono-bold-font"
class "*GtkEntry*" style "mono-bold-font"
