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" */