style "gtkmenu" {
   engine "pixmap" {
        image {
            function        = BOX
            file            = "gtkmenu.png"
            border          = { 2, 2, 2, 10 }
            stretch         = TRUE
        }
    }
    ythickness = 8
}
class "GtkMenu" style "gtkmenu"

