3 GtkWidget::interior_focus = 1
4 GtkOptionMenu::indicator_size = { 9, 5 }
5 GtkOptionMenu::indicator_spacing = { 7, 5, 2, 2 }
6 GtkMenuBar::shadow-type = etched-in
7 GtkToolBar::shadow-type = etched-in
8 GtkHandleBox::shadow-type = none
9 GtkSpinButton::shadow-type = in
11 GtkTreeView::allow-rules = 0
18 class "GtkWidget" style "wimp-default"