style "mona_14"
{
  fontset = "-mona-gothic-medium-r-normal--14-*"
}

style "mona_12"
{
  fontset = "-mona-gothic-medium-r-normal--12-*"
}
style "mona_16"
{
  fontset = "-mona-gothic-medium-r-normal--16-*"
}
widget_class "*" style "mona_14"
widget "*NotebookTab*" style "mona_12"
/*
widget "*Text" style "mona_16"
widget "*TreeItem*" style "mona_12"
widget "*NameLabel*" style "mona_12"
widget "*DateIdLabel*" style "mona_12"
*/
