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

style "glyphs" {
  font_name = "sans 11"
}
style "keys" {
  font_name = "sans 15"
}

class "GtkTextView" style "edit-style"
class "GtkWidget" style "default-style"
widget "*.glyphs.*" style "glyphs"
widget "*.keys.*" style "keys"

