gtk-icon-sizes = "gtk-button=32,32:gtk-menu=32,32"
style "edit-style" {
  font_name = "monospace 10"
}
style "default-style" {
  font_name = "sans 15"
        #bg[NORMAL] = "#f6f6f6"
        #fg[NORMAL] = "#0000ff"
}

class "GtkTextView" style "edit-style"
class "GtkWidget" style "default-style"

